Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
Branches
Overview
Active
Stale
All
adl/aliases
116452c1
·
dot: Add option @ to support aliases.
·
Feb 04, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/minime2
92665467
·
bug fix
·
Feb 06, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/bwoa_rewrite
d7557907
·
BWOA: Avoid unnecessary work when there is no possible reduction
·
Feb 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/flex
196907a3
·
work around an issue in Flex 2.6.4
·
Feb 16, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/small_cubes
9eacd197
·
Small vector optimization for cube
·
Mar 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/sonf
24014045
·
ltlfilt: add --sonf and --sonf-aps flags
·
Mar 03, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/cleanup_fmsd
97fc3f6c
·
Introduce simplify_mealy
·
Mar 18, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
sven/weighted
33289a40
·
Add weighted product
·
Mar 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/libtool-deb
15355cc5
·
debian: simplify LTO configuration to work around newer libtool
·
Mar 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/473
f17aba40
·
ltlsynt: implement --tlsf to call syfco automatically
·
Apr 12, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/macfix
3b809c0a
·
Fix compilation on MacOS X
·
May 17, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/sort
d8cc0c5a
·
Introduce a faster merge_states
·
May 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/propfix
99bf1526
·
propagate_marks_here can break state-acc prop
·
Jun 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fr/toparity3
f783f060
·
to_parity: Rewrite the function and add new transformations
·
Jun 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/toparity_fr_4
94dea5c5
·
to_parity: Rewrite the function and add new transformations
·
Jul 07, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/ltl2aa
eb6ec6f4
·
ltl2aa: factorize self-loop creation
·
Jul 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
am/psl-derivation
911baed2
·
derive: use first
·
Jul 08, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/sharedcube
b3bc367a
·
Look at this mess
·
Aug 23, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ps/aig_impr
c63c1796
·
Improve aiger INF encoding
·
Sep 21, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
adl/coverage
eb2616ef
·
* .gitlab-ci.yml (debian-unstable-gcc-coverage): Disable devel mode.
·
Oct 14, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
6
7
8
9
10
11
12
Next