Commits · 810134feedda6687086fb6b9b9740c7d806acc24 · pub / COLIBRI

Apr 06, 2022
- 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 2 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
- ok · cef27ce3
  Bruno Marre authored 3 years ago
  
  cef27ce3
- ok · fc6e1ed1
  Bruno Marre authored 3 years ago
  
  fc6e1ed1
Sep 23, 2021
- Merge branch 'fix_44' into 'master' · 6a9281f4
  François Bobot authored 3 years ago
  
  Fixes #44 Closes #44 See merge request adacore/colibri!25
  6a9281f4
- Import from Bin:a1af7a0 Src:b49d22eeb farith:a93db57 · c11623e0
  François Bobot authored 3 years ago
  
  c11623e0
- Regression tests for #44 · 967df052
  François Bobot authored 3 years ago
  
  967df052
Sep 15, 2021
- Merge branch 'fix_40' into 'master' · 5268578a
  François Bobot authored 3 years ago
  
  Fixes #43 Closes #43 See merge request adacore/colibri!24
  5268578a
Sep 14, 2021
- Import from Bin:a1af7a0 Src:4a136b651 farith:a93db57 · 7d9a8f2d
  François Bobot authored 3 years ago
  
  7d9a8f2d
- Add regression tests for issue 43 · c15f229c
  François Bobot authored 3 years ago
  
  c15f229c
Sep 10, 2021
- Merge branch 'fix_40' into 'master' · 3b767388
  François Bobot authored 3 years ago
  
  Fix factorization urem udiv See merge request adacore/colibri!23
  3b767388
- regression test for factorization urem udiv · d0be4bac
  François Bobot authored 3 years ago
  
  d0be4bac
- Import from Bin:a1af7a0 Src:8b49f3e0a farith:a93db57 · 950bcb69
  François Bobot authored 3 years ago
  
  950bcb69
Sep 09, 2021
- Merge branch 'fix_40' into 'master' · 159140b5
  François Bobot authored 3 years ago
  
  Fix #40 Closes #40 See merge request adacore/colibri!22
  159140b5
- Import from Bin:a1af7a0 Src:c996ce084 farith:a93db57 · fdb87cd4
  François Bobot authored 3 years ago
  
  fdb87cd4