Commits · 273a9c3fccc9fedd423635e013fb06f7cf5e6911 · pub / COLIBRI

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
- Stange error with ocaml/opam2 latest in 4.07 · 22482a86
  François Bobot authored 4 years ago
  
  22482a86
- Test 4.07 · f3a53ba2
  François Bobot authored 4 years ago
  
  f3a53ba2
- Import from Bin:a1af7a0 Src:52cf5f09d farith:a93db57 · a79a8370
  François Bobot authored 4 years ago
  
  a79a8370
Jun 29, 2020
- New version 2020.6 · 004dc17a
  François Bobot authored 4 years ago
  
  View commits for tag 2020.6 2020.6
  
  004dc17a
- Merge branch 'nouveau_parsing' into 'master' · 5631ef04
  François Bobot authored 4 years ago
  
  Nouveau parsing See merge request adacore/colibri!3
  5631ef04
- Add missing dependencies menhit fmt spelll gen · dbbe92bf
  François Bobot authored 4 years ago
  
  dbbe92bf
- Merge remote-tracking branch 'origin/master' into nouveau_parsing · 0216b627
  François Bobot authored 4 years ago
  
  0216b627
- Merge branch 'build' into 'master' · fab25f90
  François Bobot authored 4 years ago
  
  small fixes in build scripts See merge request adacore/colibri!2
  fab25f90
- Import from Bin:a1af7a0 Src:3d826e068 farith:a93db57 · bb22a022
  François Bobot authored 4 years ago
  
  bb22a022
- Use neno to show output only when an error occurs · ab5bb1d5
  François Bobot authored 4 years ago
  
  ab5bb1d5
Jun 24, 2020
- Import from Bin:a1af7a0 Src:4c01553c1 farith:a93db57 · 77952681
  François Bobot authored 4 years ago
  
  77952681
- Import from Bin:a1af7a0 Src:4c01553c1 farith:a93db57 · 6f2ef5cb
  François Bobot authored 4 years ago
  
  6f2ef5cb
Apr 07, 2020

add copy of ECLIPSE to test without recompilation · 7a81d7b1
Johannes Kanig authored 4 years ago
```
Change-Id: I6a746e93f18f8294d042a56bcc228db84422656d
```
7a81d7b1

Johannes Kanig authored 4 years ago

Makefile:
  * install is also a phony target
  * create necessary directory
  * inline compile_colibri.sh to be able to use ECLIPSEBIN
bundle.sh:
  * copy of eclipse dir was moved outside of bundle

Change-Id: Ibf09d7bb59393b3cede614ff9c9e04f228ddeb00

7e80c902

Apr 06, 2020
- Create the directory before to copy inside · 95bafda6
  François Bobot authored 4 years ago
  
  95bafda6
- Fix ECLIPSEBIN and use it also for the floating point library · 252c8fb1
  François Bobot authored 4 years ago
  
  252c8fb1
- Fix CI without recompilation · d401decc
  François Bobot authored 4 years ago
  
  d401decc
- Extract from .gitlab.yml the compilation steps · 53d83117
  Johannes Kanig authored 4 years ago and François Bobot committed 4 years ago
  
  53d83117
Mar 20, 2020
- update readme · 24d57af4
  François Bobot authored 5 years ago
  
  24d57af4