Commits · c894bf95e8cb28dbb6c47c8e2069d109a1f66df4 · pub / COLIBRI

Jun 09, 2022
- Remove pp_loc from the CI for real test without it · 1577dfda
  François Bobot authored 2 years ago
  
  1577dfda
Jun 04, 2022
- Update CI image · 93936658
  François Bobot authored 2 years ago
  
  93936658
Apr 15, 2022
- Add pp_loc dependency · 39b90c2c
  François Bobot authored 2 years ago
  
  39b90c2c
Mar 09, 2022
- Import from Bin:a1af7a0 Src:bcfe598fe farith:a93db57 · 77aaa524
  François Bobot authored 3 years ago
  
  77aaa524
Mar 08, 2022
- Fix the version of spelll · be19a899
  François Bobot authored 3 years ago
  
  be19a899
Mar 07, 2022
- [CI] Update docker · 105c6b83
  François Bobot authored 3 years ago
  
  105c6b83
May 25, 2021
- 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
Nov 12, 2020
- Uutf is a new dependency · a6205d76
  François Bobot authored 4 years ago
  
  a6205d76
Jul 17, 2020
- Use one OCaml program for linux and windows · 2bcee6c3
  François Bobot authored 4 years ago
  
  2bcee6c3
Jul 16, 2020
- add a wrapper for colibri in ocaml (cross-platform) · b05903bc
  François Bobot authored 4 years ago
  
  b05903bc
Jul 03, 2020
- Don't Test 4.07 for now · 56d603b6
  François Bobot authored 4 years ago
  
  56d603b6
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
Jun 29, 2020
- Add missing dependencies menhit fmt spelll gen · dbbe92bf
  François Bobot authored 4 years ago
  
  dbbe92bf
Apr 07, 2020
- add copy of ECLIPSE to test without recompilation · 7a81d7b1
  Johannes Kanig authored 4 years ago
  
  Change-Id: I6a746e93f18f8294d042a56bcc228db84422656d
  7a81d7b1
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
Feb 10, 2020
- [CI] sudo or not sudo · d2da2c7d
  François Bobot authored 5 years ago
  
  d2da2c7d
- use only ubuntu for sudo · eb4cf78f
  François Bobot authored 5 years ago
  
  eb4cf78f
Feb 09, 2020
- add tests · c8f62f8e
  François Bobot authored 5 years ago
  
  c8f62f8e
- Try another distribution than alpine · d114c715
  François Bobot authored 5 years ago
  
  d114c715
- Bundle · 88863506
  François Bobot authored 5 years ago
  
  88863506
- Compile COLIBRI · 3a3db286
  François Bobot authored 5 years ago
  
  3a3db286
- Add C++ compilation · cd958020
  François Bobot authored 5 years ago
  
  cd958020
- Compile OCaml code · 166c18a4
  François Bobot authored 5 years ago
  
  166c18a4
- Add CI · 3f2e2bce
  François Bobot authored 5 years ago
  
  3f2e2bce
- Add CI · 095a424a
  François Bobot authored 5 years ago
  
  095a424a