Commits · 22482a86943a00daf908ba63435f7ea75e9e2a04 · pub / COLIBRI

Jun 30, 2020
- 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
  
  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 4 years ago
  
  24d57af4
Mar 02, 2020
- Add simple tests, who were previously buggy · 92270787
  François Bobot authored 5 years ago
  
  92270787
- Import from Bin:a1af7a0 Src:e2989e18c farith:c7d1794 · d807a244
  François Bobot authored 5 years ago
  
  d807a244
Feb 27, 2020
- Import from Bin:a1af7a0 Src:b71e1c747 farith:c7d1794 · b565daaa
  François Bobot authored 5 years ago
  
  b565daaa
- Add a fixed memory size to keep for non-prolog stuff · bd5b7922
  François Bobot authored 5 years ago
  
  bd5b7922
Feb 25, 2020
- Import from Bin:a1af7a0 Src:0cb219af2 farith:c7d1794 · 4ff2fc36
  François Bobot authored 5 years ago
  
  4ff2fc36
Feb 13, 2020
- Import from Bin:a1af7a0 Src:c3b5ddae0 farith:c7d1794 · dd05d642
  François Bobot authored 5 years ago
  
  dd05d642
- Add an hidden option for starting colibri in the eclipse interpreter · faad842a
  François Bobot authored 5 years ago
  
  faad842a
Feb 11, 2020
- Import from Bin:a1af7a0 Src:6e69804e1 farith:c7d1794 · 86d62b01
  François Bobot authored 5 years ago
  
  86d62b01
Feb 10, 2020
- Add small information for windows · 1775202f
  François Bobot authored 5 years ago
  
  1775202f
- Merge branch 'add_ci' into 'master' · c7addce2
  François Bobot authored 5 years ago
  
  Add ci and bundleling See merge request adacore/colibri!1
  c7addce2
- [CI] remove logs generation · 58c6b472
  François Bobot authored 5 years ago
  
  can't be generated on ocaml/opam2
  58c6b472
- [CI] fix artefact generation · 58ac8274
  François Bobot authored 5 years ago
  
  58ac8274
- Merge branch 'master' into 'add_ci' · 965d8ca6
  François Bobot authored 5 years ago
  
  # Conflicts: # .gitlab-ci.yml
  965d8ca6
- [CI] sudo or not sudo · d2da2c7d
  François Bobot authored 5 years ago
  
  d2da2c7d
- Add Readme · 354648fc
  François Bobot authored 5 years ago
  
  354648fc
- 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