Commits · 52229fdedf69caf1eb7a601efa5394029a17ee61 · pub / COLIBRI

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 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
- 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
Nov 09, 2020
- Fix logic in tests · e9178fd8
  François Bobot authored 4 years ago
  
  e9178fd8
- Import from Bin:a1af7a0 Src:4d6702673 farith:a93db57 · af53ae9d
  François Bobot authored 4 years ago
  
  af53ae9d
- simplify tests · b2f118ab
  François Bobot authored 4 years ago
  
  b2f118ab
Nov 06, 2020
- Import from Bin:a1af7a0 Src:7fd1eba77 farith:a93db57 · e2a8f877
  François Bobot authored 4 years ago
  
  e2a8f877
- Fix some tests · a566f5ee
  François Bobot authored 4 years ago
  
  a566f5ee
- Import from Bin:a1af7a0 Src:22071a79e farith:a93db57 · e1bcb3df
  François Bobot authored 4 years ago
  
  e1bcb3df
Sep 14, 2020
- Fix steps API · ba7a7755
  François Bobot authored 4 years ago
  
  ba7a7755
- Import from Bin:a1af7a0 Src:1c697bb54 farith:a93db57 · 5c148518
  François Bobot authored 4 years ago
  
  5c148518
- Consider that 0 is the default memory limit · 5f2be098
  François Bobot authored 4 years ago
  
  5f2be098
Aug 19, 2020
- Move to LGPL LICENCE · 03b6e290
  François Bobot authored 4 years ago
  
  03b6e290
Jul 17, 2020
- Use one OCaml program for linux and windows · 2bcee6c3
  François Bobot authored 4 years ago
  
  2bcee6c3
- Merge branch 'colibri_ocaml_wrapper' into 'master' · 6b17da8a
  François Bobot authored 4 years ago
  
  Add a wrapper for colibri in ocaml (cross-platform) See merge request adacore/colibri!7
  6b17da8a
- Compile and execute on windows · f1b7e237
  François Bobot authored 4 years ago
  
  f1b7e237
Jul 16, 2020
- add a wrapper for colibri in ocaml (cross-platform) · b05903bc
  François Bobot authored 4 years ago
  
  b05903bc
Jul 03, 2020
- Merge branch 'test_4.07' into 'master' · fa913627
  François Bobot authored 4 years ago
  
  Test 4.07 See merge request adacore/colibri!4
  fa913627
- Don't Test 4.07 for now · 56d603b6
  François Bobot authored 4 years ago
  
  56d603b6
- Add the test of bug11 · f45c0080
  François Bobot authored 4 years ago
  
  f45c0080
- Import from Bin:a1af7a0 Src:64862805e farith:a93db57 · 681ddb62
  François Bobot authored 4 years ago
  
  681ddb62
Jun 30, 2020
- Do the test in parallel · 7cd7de0b
  François Bobot authored 4 years ago
  
  7cd7de0b
- Remove not needed num package · 3ee4282d
  François Bobot authored 4 years ago
  
  3ee4282d