Commits · c0426ded4bf803bd68e8443b5e3272905619c595 · pub / COLIBRI

Jun 18, 2021
- 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
- Fixes #24 · 99383f79
  François Bobot authored 4 years ago
  
  99383f79
- Import from Bin:a1af7a0 Src:fc8841ce9 farith:a93db57 · 4ee3e1d4
  François Bobot authored 4 years ago
  
  4ee3e1d4
Feb 08, 2021
- Merge branch 'fix_bug22' into 'master' · a692e5b4
  François Bobot authored 4 years ago
  
  Fixes unsoundness2 #22 See merge request adacore/colibri!10
  a692e5b4
- Add non regress case for bug22 · 601acf21
  François Bobot authored 4 years ago
  
  601acf21
Feb 06, 2021
- Import from Bin:a1af7a0 Src:71634e427 farith:a93db57 · 7391659b
  François Bobot authored 4 years ago
  
  7391659b
Dec 29, 2020
- Merge branch 'fix_bug20' into 'master' · bd74a6f0
  François Bobot authored 4 years ago
  
  Fix bug20 See merge request adacore/colibri!9
  bd74a6f0
- Merge branch 'parametric' into 'master' · 1bcd2375
  François Bobot authored 4 years ago
  
  Ajout du parsing de type de fonction polymorph. See merge request adacore/colibri!8
  1bcd2375
Dec 23, 2020
- Import from Bin:a1af7a0 Src:7512d9910 farith:a93db57 · 43dc273d
  François Bobot authored 4 years ago
  
  43dc273d
Nov 12, 2020
- Remove redundant test · 02432059
  François Bobot authored 4 years ago
  
  02432059
- Uutf is a new dependency · a6205d76
  François Bobot authored 4 years ago
  
  a6205d76
- Import from Bin:a1af7a0 Src:242d6cf6a farith:a93db57 · f6597dc6
  François Bobot authored 4 years ago
  
  f6597dc6
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