Commits · 8e41e4d54758cd8b1ba13f84c813dfaf9f774253 · pub / COLIBRI

Sep 01, 2021
- Fix step number after set_step fix · 843a87d1
  François Bobot authored 3 years ago
  
  843a87d1
Aug 03, 2021
- Fix test script · d3910dd4
  François Bobot authored 3 years ago
  
  d3910dd4
Jul 20, 2021
- Import from Bin:a1af7a0 Src:c5147cc9e farith:a93db57 · 036e9ab2
  François Bobot authored 3 years ago
  
  Fixes #33 #35 #36 #37
  036e9ab2
Jun 18, 2021
- Remove timeout test · 2da3e80b
  François Bobot authored 3 years ago
  
  2da3e80b
Apr 26, 2021
- Fix test script · 884acbb1
  François Bobot authored 3 years ago
  
  884acbb1
Apr 24, 2021
- Add tests about difficult combination · 645ace1f
  François Bobot authored 3 years ago
  
  645ace1f
Apr 15, 2021
- Print the timeout · 07c3f67f
  François Bobot authored 3 years ago
  
  07c3f67f
Nov 10, 2020
- Move a test from sat to unknown it shouldn't have been in sat · 273a9c3f
  François Bobot authored 4 years ago
  
  273a9c3f
Nov 09, 2020
- simplify tests · b2f118ab
  François Bobot authored 4 years ago
  
  b2f118ab
Jun 29, 2020
- Use neno to show output only when an error occurs · ab5bb1d5
  François Bobot authored 4 years ago
  
  ab5bb1d5
Jun 24, 2020
- Import from Bin:a1af7a0 Src:4c01553c1 farith:a93db57 · 6f2ef5cb
  François Bobot authored 4 years ago
  
  6f2ef5cb
Feb 10, 2020
- [CI] remove logs generation · 58c6b472
  François Bobot authored 5 years ago
  
  can't be generated on ocaml/opam2
  58c6b472
- [CI] fix artefact generation · 58ac8274
  François Bobot authored 5 years ago
  
  58ac8274
Feb 09, 2020
- add tests · c8f62f8e
  François Bobot authored 5 years ago
  
  c8f62f8e
- Compile COLIBRI · 3a3db286
  François Bobot authored 5 years ago
  
  3a3db286