Commits · 1577dfda3b6356d9d5dd24b361e5834d1afa70b9 · 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
- Merge branch 'fixes' into 'master' · b637e69d
  François Bobot authored 2 years ago
  
  Validation et fix pour #57 See merge request adacore/colibri!35
  b637e69d
Jun 08, 2022
- Import from Bin:a1af7a0 Src:a5a433302 farith:a93db57 · 1f22dd41
  François Bobot authored 2 years ago
  
  1f22dd41
Jun 04, 2022
- Update CI image · 93936658
  François Bobot authored 2 years ago
  
  93936658
Jun 03, 2022
- commit UnitTests · e6dc1d7e
  Bruno Marre authored 2 years ago
  
  e6dc1d7e
Jun 01, 2022
- Import from Bin:a1af7a0 Src:9fd72416b farith:a93db57 · 5fd696af
  François Bobot authored 2 years ago
  
  5fd696af
May 31, 2022
- Import from Bin:a1af7a0 Src:59c2c35f0 farith:a93db57 · e5312e67
  François Bobot authored 2 years ago
  
  e5312e67
Apr 19, 2022
- Merge branch 'fixes' into 'master' · 5c5f9200
  François Bobot authored 2 years ago
  
  Update_dolmen and fix #55 Closes #55 See merge request adacore/colibri!34
  5c5f9200
Apr 16, 2022
- Fix compilation · dfd9a7ee
  François Bobot authored 2 years ago
  
  dfd9a7ee
Apr 15, 2022
- Add pp_loc dependency · 39b90c2c
  François Bobot authored 2 years ago
  
  39b90c2c
- Add regression test for bug #55 · 33c57589
  François Bobot authored 2 years ago
  
  33c57589
- Import from Bin:a1af7a0 Src:cb6b822c1 farith:a93db57 · 3774e2cc
  François Bobot authored 2 years ago
  
  3774e2cc
Apr 06, 2022
- Merge branch 'fix_50' into 'master' · 1305c15d
  François Bobot authored 2 years ago
  
  Fixes #54 Closes #54 See merge request adacore/colibri!33
  1305c15d
- Import from Bin:a1af7a0 Src:18e322698 farith:a93db57 · 810134fe
  François Bobot authored 2 years ago
  
  810134fe
- Merge remote-tracking branch 'origin/master' into fix_50 · 8234b18a
  François Bobot authored 2 years ago
  
  8234b18a
Mar 23, 2022
- ajout issue54 corrigee · 798ef635
  Bruno Marre authored 2 years ago
  
  798ef635
- Merge branch 'fix_50' into 'master' · 21ab2e28
  François Bobot authored 3 years ago
  
  Fix #53 Closes #53 See merge request adacore/colibri!32
  21ab2e28
Mar 16, 2022
- nouveaux tests pour issue 53 · 41a72518
  Bruno Marre authored 3 years ago
  
  41a72518
- Import from Bin:a1af7a0 Src:a835b4644 farith:a93db57 · 47c349f0
  François Bobot authored 3 years ago
  
  47c349f0
Mar 15, 2022
- Merge branch 'fix_50' into 'master' · 0bfbff97
  François Bobot authored 3 years ago
  
  Fix #52 Closes #52 See merge request adacore/colibri!31
  0bfbff97
- Import from Bin:a1af7a0 Src:c38ad4aaf farith:a93db57 · 777c56e4
  François Bobot authored 3 years ago
  
  777c56e4
Mar 12, 2022
- mise a jour des tests · 6c2b7338
  Bruno Marre authored 3 years ago
  
  6c2b7338
Mar 09, 2022
- Merge branch 'fix_50' into 'master' · c511dcfd
  François Bobot authored 3 years ago
  
  Test with specific version See merge request adacore/colibri!30
  c511dcfd
- Import from Bin:a1af7a0 Src:bcfe598fe farith:a93db57 · 77aaa524
  François Bobot authored 3 years ago
  
  77aaa524
Mar 08, 2022
- Merge branch 'fix_50' into 'master' · f000d5c0
  François Bobot authored 3 years ago
  
  Fix build error with spelll.0.3 Closes #51 See merge request adacore/colibri!29
  f000d5c0
- Fix the version of spelll · be19a899
  François Bobot authored 3 years ago
  
  be19a899
- Import from Bin:a1af7a0 Src:62fa4cb4f farith:a93db57 · af5fb05e
  François Bobot authored 3 years ago
  
  af5fb05e
Mar 07, 2022
- Merge branch 'fix_50' into 'master' · 376d60ec
  François Bobot authored 3 years ago
  
  Fix #50 Closes #50 See merge request adacore/colibri!28
  376d60ec
- Import from Bin:a1af7a0 Src:9b90a6c7b farith:a93db57 · 57ce5465
  François Bobot authored 3 years ago
  
  57ce5465
- [CI] Update docker · 105c6b83
  François Bobot authored 3 years ago
  
  105c6b83
- Import from Bin:a1af7a0 Src:f447ed556 farith:a93db57 · af547324
  François Bobot authored 3 years ago
  
  af547324
- Add regression for issue 50 · 78ef3c9e
  François Bobot authored 3 years ago
  
  78ef3c9e
- Merge branch 'fix_45' into 'master' · cd782201
  François Bobot authored 3 years ago
  
  Add regression tests for issue 45 See merge request adacore/colibri!27
  cd782201
Oct 11, 2021
- Add regression tests for issue 45 · 592f1cea
  François Bobot authored 3 years ago
  
  592f1cea
- Merge branch 'fix_46' into 'master' · 3131390d
  François Bobot authored 3 years ago
  
  Fix 46 See merge request adacore/colibri!26
  3131390d
Oct 10, 2021
- Import from Bin:a1af7a0 Src:f66bd1f8c farith:a93db57 · 9794c2ab
  François Bobot authored 3 years ago
  
  9794c2ab
Oct 08, 2021
- Import from Bin:a1af7a0 Src:c7a5f59b0 farith:a93db57 · 68cc1e86
  François Bobot authored 3 years ago
  
  68cc1e86
- Regression test for #46 · bcddf43b
  François Bobot authored 3 years ago
  
  bcddf43b
Oct 07, 2021
- ok · 168dd36e
  Bruno Marre authored 3 years ago
  
  Merge branch 'master' of git.frama-c.com:adacore/colibri
  168dd36e
- ok · 70d61e0d
  Bruno Marre authored 3 years ago
  
  70d61e0d