Commits · 5cb3f90d62491c29cfb985ef027a3d22f4a028c8 · pub / frama-c · GitLab

Snippets Groups Projects

Feb 15, 2023
- Updates version for the minor release of Frama-C 26.1 (Iron). · 2adef162
  David Bühler authored 2 years ago
  
  2adef162
Nov 23, 2022
- Updates version for the final release of Frama-C 26.0 (Iron). · 1ec4a85d
  David Bühler authored 2 years ago
  
  1ec4a85d
Nov 03, 2022
- Updates development version. · de1aea03
  David Bühler authored 2 years ago
  
  de1aea03
Oct 28, 2022
- Changes version and codename for 26.0 (Iron). · d532233f
  David Bühler authored 2 years ago
  
  d532233f
Jun 29, 2022
- update version number post release · dbfc151e
  Andre Maroneze authored 2 years ago
  
  dbfc151e
Jun 21, 2022
- Release 25.0 · 33434c44
  François Bobot authored 2 years ago
  
  View commits for tag 25.0 25.0
  
  33434c44
May 10, 2022
- Release Manganese · bec48ca8
  François Bobot authored 2 years ago
  
  bec48ca8
Nov 30, 2021
- Version bump · c5a50737
  Virgile Prevosto authored 3 years ago
  
  View commits for tag 24.0 24.0
  
  c5a50737
Nov 25, 2021
- VERSION file respects opam's conventions · ac2ae21b
  Virgile Prevosto authored 3 years ago
  
  ac2ae21b
Nov 04, 2021
- VERSION +dev · 05e5e7fc
  Virgile Prevosto authored 3 years ago
  
  05e5e7fc
- Version bump · abe73a04
  Virgile Prevosto authored 3 years ago
  
  abe73a04
Jul 21, 2021
- Frama-C 23.1-Vanadium · c1cf4f7a
  Allan Blanchard authored 3 years ago
  
  c1cf4f7a
Jul 05, 2021
- Frama-C 23.0-Vanadium · 92fa23ab
  Allan Blanchard authored 3 years ago
  
  92fa23ab
May 17, 2021
- bump VERSION · 3896c19c
  François Bobot authored 3 years ago
  
  3896c19c
- Bump VERSION to 23.0~rc1 CODENAMe VANADIUM · c7a2b02b
  François Bobot authored 3 years ago
  
  c7a2b02b
Nov 20, 2020
- Frama-C 22-Titanium · a3d91caa
  Allan Blanchard authored 4 years ago
  
  a3d91caa
Oct 28, 2020
- Removes automatically inserted end-of-line · 18624738
  Allan Blanchard authored 4 years ago
  
  18624738
Oct 23, 2020
- Fixes VERSION · f5f5bb6f
  Allan Blanchard authored 4 years ago
  
  f5f5bb6f
- Fixes VERSION · 99eac4a3
  Allan Blanchard authored 4 years ago
  
  99eac4a3
- Master to 22.0+dev · f5924dbf
  Allan Blanchard authored 4 years ago
  
  f5924dbf
- Update VERSION to 22.0-Titanium · 46f9bf05
  Allan Blanchard authored 4 years ago
  
  46f9bf05
- Update VERSION to 22.0-Titanium · 64b8b498
  Allan Blanchard authored 4 years ago
  
  64b8b498
Jun 24, 2020
- 21.1 minor release · 9abcd565
  Andre Maroneze authored 4 years ago
  
  View commits for tag 21.1 21.1
  
  9abcd565
Jun 11, 2020
- update version number for final 21.0-Scandium release · c384486c
  Andre Maroneze authored 4 years ago
  
  View commits for tag 21.0 21.0
  
  c384486c
May 19, 2020
- update version for master branch · 0e936447
  Andre Maroneze authored 4 years ago
  
  0e936447
May 07, 2020
- update VERSION for beta release · 19336046
  Andre Maroneze authored 4 years ago
  
  19336046
Dec 04, 2019
- prepare Frama-C 21 (Scandium) · e522d2ab
  Andre Maroneze authored 5 years ago
  
  e522d2ab
- update version files · 57f65414
  Andre Maroneze authored 5 years ago
  
  57f65414
Nov 04, 2019
- update VERSION for beta release · f2b23c1e
  Andre Maroneze authored 5 years ago
  
  f2b23c1e
Aug 29, 2019
- bump version for minor release 19.1 · 694989f4
  Andre Maroneze authored 5 years ago
  
  694989f4
Jun 24, 2019
- Updates VERSION for the master branch. · 10893c2c
  David Bühler authored 5 years ago
  
  10893c2c
Jun 21, 2019
- Sets version to 19.0 for the Potassium release. · 9a7f0972
  David Bühler authored 5 years ago
  
  9a7f0972
May 28, 2019
- Sets version to 19.0-beta2. · fdd2a79c
  David Bühler authored 5 years ago
  
  fdd2a79c
May 13, 2019
- Fixes the potassium beta version. · 907a18f2
  David Bühler authored 5 years ago
  
  907a18f2
- [release] Version number · 7421dd3a
  Virgile Prevosto authored 5 years ago
  
  7421dd3a
Feb 05, 2019
- Merge branch 'feature/server/plugin' of git.frama-c.com:frama-c/frama-c into feature/server/plugin · 4bf2c145
  Loïc Correnson authored 6 years ago
  
  4bf2c145
Jan 14, 2019
- [wp] linting files · 88886e5f
  Loïc Correnson authored 6 years ago
  
  88886e5f
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173
Dec 04, 2018
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Dec 03, 2018
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored 6 years ago
  
  - Fix Value/Value#5 - Fix Value/Value#14
  af6b48cc