Commits · aabfabf62d0093018d29e9ed0cbae14f4828d666 · Software / COOL

08 Dec, 2021 1 commit
- Better usability, documentation and refactoring · aabfabf6
  Simon Prucker authored Dec 08, 2021
  
  aabfabf6
03 Dec, 2021 1 commit
- CTL with AB · 031d5da9
  Simon Prucker authored Dec 03, 2021
  
  031d5da9
01 Dec, 2021 5 commits
- CTL with AR, AU, ER, EU · c64cff22
  Simon Prucker authored Dec 01, 2021
  
  c64cff22
- Adjust symbol frequency · 295ae200
  Simon Prucker authored Dec 01, 2021
  
  295ae200
- Support for CTL · b9aa9dad
  Simon Prucker authored Dec 01, 2021
  
  b9aa9dad
- Generator executable with fixpoints · e8ffd5ce
  Simon Prucker authored Dec 01, 2021
  
  e8ffd5ce
- Generator executable without fixpoints · d06e3ced
  Simon Prucker authored Dec 01, 2021
  
  d06e3ced
26 Nov, 2021 1 commit
- initial commit · 8258ace9
  Simon Prucker authored Nov 26, 2021
  
  8258ace9
19 Oct, 2021 1 commit
- Sub-Readmes · 29dd33ae
  Merlin authored Oct 19, 2021
  
  29dd33ae
18 Oct, 2021 1 commit
- Doc update to reflect restructuring · 301285e3
  Merlin authored Oct 18, 2021
  
  301285e3
15 Oct, 2021 13 commits
- Only compile exes statically · 11c767ac
  Merlin authored Oct 15, 2021
  
  11c767ac
- Toplevel dune-project gets generated · 95d35309
  Merlin authored Oct 15, 2021
  
  95d35309
- Don't copy nonexistent reports · 3148af43
  Merlin authored Oct 15, 2021
  
  3148af43
- Reports are artifacts · 16021b05
  Merlin authored Oct 15, 2021
  
  16021b05
- Reports in lib · 407d30ff
  Merlin authored Oct 15, 2021
  
  407d30ff
- Sources moved · 5b97893a
  Merlin authored Oct 15, 2021
  
  5b97893a
- Split libs apart · cb1cbffa
  Merlin authored Oct 15, 2021
  
  cb1cbffa
- Fixed tests · e7d89860
  Merlin authored Oct 15, 2021
  
  e7d89860
- Merge branch 'generators' into 'master' · c6a3fb09
  Merlin authored Oct 15, 2021
```
Generators

QCheck generators for formulas intended for property based tests in an extra library

See merge request !7
```
  c6a3fb09
- ordered formula types · 1f92edfa
  Simon Prucker authored Oct 15, 2021
  
  1f92edfa
- Project structure and compilation · 1feee71f
  Merlin authored Oct 15, 2021
  
  1feee71f
- Uppercase Module · e534f4ee
  Simon Prucker authored Oct 15, 2021
  
  e534f4ee
- clean formula_gen · 7e4b0549
  Simon Prucker authored Oct 15, 2021
  
  7e4b0549
12 Oct, 2021 2 commits
- formula generator, but build fails on minisat · d916d6b5
  Simon Prucker authored Oct 12, 2021
  
  d916d6b5
- dune file for generator lib · 4bbf3d77
  Simon Prucker authored Oct 12, 2021
  
  4bbf3d77
20 Sep, 2021 1 commit
- Update nix channel · 4c26abf4
  Merlin authored Sep 20, 2021
  
  4c26abf4
09 Jul, 2021 5 commits
- Fixed shell · d07d1b9f
  Merlin authored Jul 09, 2021
  
  d07d1b9f
- Cool namespacing · 30b19c7d
  Merlin authored Jul 09, 2021
  
  30b19c7d
- Removed unused ncurses code and dependencies · 66f4344c
  Merlin authored Jul 09, 2021
  
  66f4344c
- Opam dependency on ocamline now · ebfda5e7
  Merlin authored Jul 09, 2021
  
  ebfda5e7
- Readline wrapper replaced by ocamline · 07bdeb1e
  Merlin authored Jul 09, 2021
  
  07bdeb1e
06 Jul, 2021 9 commits
- Documentation update to include aconjunctive · d49e7b8a
  Merlin authored Jul 06, 2021
  
  d49e7b8a
- Explained change of CI architecture · 06f8f75a
  Merlin authored Jul 06, 2021
  
  06f8f75a
- Version bump · 1e852b5d
  Merlin authored Jul 06, 2021
  
  1e852b5d
- implode function removed by String classfunction · 1bf7749e
  Simon Prucker authored Jul 06, 2021
  
  1bf7749e
- CI improvements · ed70ffc3
  Merlin authored Jul 06, 2021
  
  ed70ffc3
- Testsuite with ounit and proper reporting · f998cfed
  Merlin authored Jul 06, 2021
```
fixes #17
Co-authored-by: @yh60esyb
```
  f998cfed
- Merge branch 'pgsolver' of git8.cs.fau.de:software/cool into pgsolver · 3603dbd4
  Merlin authored Jul 06, 2021
  
  3603dbd4
- Formating · 8bf320e2
  Merlin authored Jul 06, 2021
  
  8bf320e2
- Merge branch 'pgsolver' of git8.cs.fau.de:software/cool into pgsolver · aab307b5
  Simon Prucker authored Jul 06, 2021
  
  aab307b5