Commits · fc6e1ed14365d86261e4d5effff91ad1ea8b853b · pub / COLIBRI

Oct 07, 2021
- ok · fc6e1ed1
  Bruno Marre authored 3 years ago
  
  fc6e1ed1
Sep 01, 2021
- Merge branch 'fix_40_41_42' into 'master' · 68194725
  François Bobot authored 3 years ago
  
  Fix #41 #42 Closes #42 and #41 See merge request adacore/colibri!21
  68194725
- Fix step number after set_step fix · 843a87d1
  François Bobot authored 3 years ago
  
  843a87d1
- Import from Bin:a1af7a0 Src:dda2e1805 farith:a93db57 · 7e2f0b78
  François Bobot authored 3 years ago
  
  7e2f0b78
- Import from Bin:a1af7a0 Src:908536735 farith:a93db57 · 77c9d390
  François Bobot authored 3 years ago
  
  77c9d390
- Regression tests for #41 #42 · 8d636777
  François Bobot authored 3 years ago
  
  8d636777
Aug 12, 2021
- Merge branch 'fix_39' into 'master' · 78a77c3a
  François Bobot authored 3 years ago
  
  Add regression test for #39 See merge request adacore/colibri!20
  78a77c3a
Aug 10, 2021
- Import from Bin:a1af7a0 Src:4d496c709 farith:a93db57 · ec499691
  François Bobot authored 3 years ago
  
  ec499691
Aug 03, 2021
- Fix test script · d3910dd4
  François Bobot authored 3 years ago
  
  d3910dd4
- Import from Bin:a1af7a0 Src:7c0e42a8f farith:a93db57 · 35c28b66
  François Bobot authored 3 years ago
  
  35c28b66
- Add regression test for #39 · 4153a660
  François Bobot authored 3 years ago
  
  4153a660
Jul 20, 2021
- Merge branch 'fix_33_35_36_37' into 'master' · 63ff04db
  François Bobot authored 3 years ago
  
  Import from Bin:a1af7a0 Src:c5147cc9e farith:a93db57 Closes #37, #36, #35, and #33 See merge request adacore/colibri!19
  63ff04db
- Import from Bin:a1af7a0 Src:c5147cc9e farith:a93db57 · 036e9ab2
  François Bobot authored 3 years ago
  
  Fixes #33 #35 #36 #37
  036e9ab2
- Add regression tests for #33 #35 #36 #37 · e0cb8bb4
  François Bobot authored 3 years ago
  
  e0cb8bb4
Jun 26, 2021
- Merge branch 'fix32' into 'master' · 0ddfc9d7
  François Bobot authored 3 years ago
  
  New fix See merge request adacore/colibri!18
  0ddfc9d7
- Import from Bin:a1af7a0 Src:6dec5fdad farith:a93db57 · 23c52315
  François Bobot authored 3 years ago
  
  23c52315
Jun 25, 2021
- Merge branch 'fix32' into 'master' · 10490b7f
  François Bobot authored 3 years ago
  
  Fix #32 Closes #32 See merge request adacore/colibri!17
  10490b7f
- Import from Bin:a1af7a0 Src:2433f900e farith:a93db57 · e08d7622
  François Bobot authored 3 years ago
  
  e08d7622
- Add non regress test for #32 · 12cdfbc9
  François Bobot authored 3 years ago
  
  12cdfbc9
Jun 23, 2021

Merge branch 'smtcomp' into 'master' · 810fdd4c

François Bobot authored 3 years ago

SMTcomp version and fixes for #30

Closes #31 and #30

See merge request adacore/colibri!16

810fdd4c

Jun 22, 2021
- Import from Bin:a1af7a0 Src:1eda02369 farith:a93db57 · ef59684e
  François Bobot authored 3 years ago
  
  ef59684e
- Import from Bin:a1af7a0 Src:d9a4988e0 farith:a93db57 · 22dbeddc
  François Bobot authored 3 years ago
  
  22dbeddc
- Add regression tests from smtcomp · 1b054e8c
  François Bobot authored 3 years ago
  
  1b054e8c
Jun 18, 2021
- Remove timeout test · 2da3e80b
  François Bobot authored 3 years ago
  
  2da3e80b
- Fix CI · 85e0929a
  François Bobot authored 3 years ago
  
  85e0929a
- Regression tests for fixed #31 · 5a6a4987
  François Bobot authored 3 years ago
  
  5a6a4987
- Import from Bin:a1af7a0 Src:08a70c336 farith:a93db57 · c0426ded
  François Bobot authored 3 years ago
  
  c0426ded
- We lost average_5 which has always been flacky · 390c98b7
  François Bobot authored 3 years ago
  
  390c98b7
Jun 17, 2021
- Remove the forall form div_zero so that colibri answers sat · 6866dc69
  François Bobot authored 3 years ago
  
  6866dc69
- Add regression test for #30 · d679bb2f
  François Bobot authored 3 years ago
  
  d679bb2f
- Import from Bin:a1af7a0 Src:29db254c8 farith:a93db57 · 43549f6e
  François Bobot authored 3 years ago
  
  43549f6e
May 28, 2021
- Import from Bin:a1af7a0 Src:d7f91d912 farith:a93db57 · f3f4b67e
  François Bobot authored 3 years ago
  
  f3f4b67e
May 25, 2021
- Merge branch 'fix_bug27' into 'master' · 590d0004
  François Bobot authored 3 years ago
  
  Fix bug27 See merge request adacore/colibri!15
  590d0004
- Use a docker image selected with a specific commit · 4bb5ce2e
  François Bobot authored 3 years ago
  
  At the same time update the opam repository
  4bb5ce2e
Apr 28, 2021
- Import from Bin:a1af7a0 Src:d41cbe0be farith:a93db57 · 3199577f
  François Bobot authored 3 years ago
  
  3199577f
Apr 27, 2021
- Merge branch 'fix_bug26' into 'master' · 48aee1f7
  François Bobot authored 3 years ago
  
  Bug #26 See merge request adacore/colibri!14
  48aee1f7
- Add reproduction test case for #27 · d2d94d3e
  François Bobot authored 3 years ago
  
  d2d94d3e
- Import from Bin:a1af7a0 Src:7ec3c38cc farith:a93db57 · 20963ada
  François Bobot authored 3 years ago
  
  20963ada
Apr 26, 2021
- Import from Bin:a1af7a0 Src:643eba125 farith:a93db57 · 9d551a1d
  François Bobot authored 3 years ago
  
  9d551a1d
- Fix test script · 884acbb1
  François Bobot authored 3 years ago
  
  884acbb1