Commits · 0ddfc9d7d4ee033050ef210e511b25327f3b5803 · pub / COLIBRI

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
- Import from Bin:a1af7a0 Src:e3c0f494d farith:a93db57 · 1ad1ddd8
  François Bobot authored 3 years ago
  
  1ad1ddd8
Apr 09, 2021
- Merge branch 'fix_bug25' into 'master' · e1958013
  François Bobot authored 3 years ago
  
  Fix bug25 Closes #25 See merge request adacore/colibri!12
  e1958013
Apr 01, 2021
- Fixes #25 · 83bb1b94
  François Bobot authored 3 years ago
  
  83bb1b94
- Import from Bin:a1af7a0 Src:2c3a55263 farith:a93db57 · 2bb778bf
  François Bobot authored 3 years ago
  
  2bb778bf
Feb 14, 2021
- Merge branch 'fix_bug24' into 'master' · d7d5935d
  François Bobot authored 4 years ago
  
  Fix bug24 Closes #24 See merge request adacore/colibri!11
  d7d5935d