Commits · 35c28b66b9cb092830d95ae4ad97832d689e91a8 · pub / COLIBRI

Aug 03, 2021
- 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
- Test cases for bug #26 · 7f517cb8
  François Bobot authored 3 years ago
  
  7f517cb8
Apr 24, 2021
- Merge branch 'fix_bug25' into 'master' · a583536c
  François Bobot authored 3 years ago
  
  Fix bug25 See merge request adacore/colibri!13
  a583536c
- Add tests about difficult combination · 645ace1f
  François Bobot authored 3 years ago
  
  645ace1f
- Import from Bin:a1af7a0 Src:c60b4c4d7 farith:a93db57 · bd86e357
  François Bobot authored 3 years ago
  
  bd86e357
Apr 23, 2021
- Import from Bin:a1af7a0 Src:66b5297cc farith:a93db57 · 52229fde
  François Bobot authored 3 years ago
  
  52229fde
Apr 15, 2021
- Import from Bin:a1af7a0 Src:43bd3212f farith:a93db57 · c559e889
  François Bobot authored 3 years ago
  
  c559e889
- Print the timeout · 07c3f67f
  François Bobot authored 3 years ago
  
  07c3f67f
Apr 13, 2021
- Import from Bin:a1af7a0 Src:7d7d01bcb farith:a93db57 · c3565e59
  François Bobot authored 3 years ago
  
  c3565e59
Apr 12, 2021
- Add regression tests for bug 25 · e23901fe
  François Bobot authored 3 years ago
  
  e23901fe