Branches · Hans-Peter Deifel / cool · GitLab

Snippets Groups Projects

fix-testsuite protected

099d525c · Get testsuite running again · 8 years ago

56

17
zip
tar.gz
tar.bz2
tar
Compare
fix-testsuite-flatmu

d46470b5 · Show correct binary name in "Usage" of main program · 7 years ago

55

6
zip
tar.gz
tar.bz2
tar
Compare
remove-gmlmip

2ed7312f · Disable all testcases involving PML · 7 years ago

48

0
zip
tar.gz
tar.bz2
tar
Compare
api-docs

7198f96f · Enable documentation generation in oasis · 7 years ago

30

0
zip
tar.gz
tar.bz2
tar
Compare
tmp/leakdebug

18819409 · Add stuff for debugging mem leak · 7 years ago

27

1
zip
tar.gz
tar.bz2
tar
Compare
ctl-testcases

ad0b75b1 · tests: Run reasoner in new process for each formula · 7 years ago

24

0
zip
tar.gz
tar.bz2
tar
Compare
latex

7a46dd92 · Begin to implement LaTeX syntax parsing · 7 years ago

20

1
zip
tar.gz
tar.bz2
tar
Compare
aconjunctive default

f24367c4 · Add command line flag for fragment · 7 years ago
zip
tar.gz
tar.bz2
tar
master

e919f880 · Merge branch 'aconjunctive' · 7 years ago

0

1
zip
tar.gz
tar.bz2
tar
Compare
cool2mlsolver

e37d9884 · TMP: Add script to convert a cool formula to mlsolver · 7 years ago

0

2
zip
tar.gz
tar.bz2
tar
Compare
cool-copy

cadbf12f · Calculate alternation level for every formula · 7 years ago

0

13
zip
tar.gz
tar.bz2
tar
Compare
pgsolver-tmp

436979e6 · Fix bug in detClosure · 7 years ago

0

42
zip
tar.gz
tar.bz2
tar
Compare
gen2

39df577e · Delete gen2.ml as it's now subsumed by gen.ml · 7 years ago

0

44
zip
tar.gz
tar.bz2
tar
Compare
pgsolver-old

fce43eeb · Use non-local solver from pgsolver · 7 years ago

0

56
zip
tar.gz
tar.bz2
tar
Compare
pgsolver

706a376a · Fix build on ocaml 4.06 · 5 years ago

0

105
zip
tar.gz
tar.bz2
tar
Compare