Commits · 0b09f37626a469ec5384259b388c58fda3d7deac · pub / frama-c · GitLab

Snippets Groups Projects

Nov 30, 2021
- Update Changelog · 0b09f376
  Allan Blanchard authored 3 years ago
  
  0b09f376
Nov 29, 2021
- Update Changelog with accurate !3451 merge date · ab0a92d9
  Virgile Prevosto authored 3 years ago
  
  ab0a92d9
- [Kernel] Differenciate Integer.pretty and Integer.pretty_hex · d4bac7c2
  Valentin Perrelle authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  - The optional argument is gone, allowing much shorter usage in printf-like functions
  d4bac7c2
Oct 28, 2021
- Changelog · 9c950895
  Virgile Prevosto authored 3 years ago
  
  9c950895
Oct 26, 2021
- [Eva] Fixes Changelog. · 3a927560
  David Bühler authored 3 years ago
  
  3a927560
- [Eva] Retroactively updates the Changelog for Eva. · efd56e21
  David Bühler authored 3 years ago
  
  efd56e21
Oct 20, 2021
- [Changelog] Add banner for 24.0 Chromium · 451e18f2
  Virgile Prevosto authored 3 years ago
  
  451e18f2
Sep 02, 2021
- Update Changelog after merging !3239 · 21177fd3
  Virgile Prevosto authored 3 years ago
  
  21177fd3
Jul 30, 2021
- [Eva] Retroactively updates the Changelog for Eva. · 4c091fd0
  David Bühler authored 3 years ago
  
  4c091fd0
Jul 21, 2021
- Frama-C 23.1-Vanadium · c1cf4f7a
  Allan Blanchard authored 3 years ago
  
  c1cf4f7a
Jun 24, 2021
- [variadic] Update changelog · 045d8c11
  Basile Desloges authored 3 years ago
  
  045d8c11
Jun 22, 2021
- [Doc] indicate that default machdep is now x86_64 · 839c35ed
  Andre Maroneze authored 3 years ago
  
  839c35ed
Jun 10, 2021
- Update Changelog · fa92e79c
  Allan Blanchard authored 3 years ago
  
  fa92e79c
Jun 04, 2021
- [tests] add PLUGIN directive following !3153 · c7715784
  Patrick Baudin authored 3 years ago
  
  c7715784
May 12, 2021
- Fixes the Changelog: adds header for the next open-source release. · 45f158b7
  David Bühler authored 3 years ago
  
  45f158b7
- Prepares Changelog for the open-source release 23.0 (Vanadium). · 4728577a
  David Bühler authored 3 years ago
  
  4728577a
May 11, 2021
- update Changelog after !3191 · 07e2ed10
  Andre Maroneze authored 3 years ago
  
  07e2ed10
Apr 26, 2021
- Update Changelog after !3151 · 046c6dda
  Virgile Prevosto authored 3 years ago
  
  046c6dda
Apr 22, 2021
- Updates the Changelog for !3094 (partial support for recursion in Eva). · f1cf017a
  David Bühler authored 3 years ago
  
  f1cf017a
Apr 16, 2021
- changelog · a62f7a9c
  Julien Signoles authored 3 years ago
  
  a62f7a9c
- update Changelog after !3125 · fe369cd1
  Andre Maroneze authored 3 years ago
  
  fe369cd1
Apr 13, 2021
- Update Changelog · e7bf4ec9
  Allan Blanchard authored 3 years ago
  
  e7bf4ec9
Apr 12, 2021
- [Eva] Retroactively updates the Changelog for Eva. · 6fe5d40d
  David Bühler authored 3 years ago
  
  6fe5d40d
Apr 09, 2021
- [kernel] Update changelog · 7ee55f24
  Basile Desloges authored 3 years ago
  
  7ee55f24
Apr 08, 2021
- Changelog updated · fe302dfe
  Patrick Baudin authored 3 years ago
  
  fe302dfe
Mar 26, 2021
- [Ptests] Modifies MODULE directive · ba519d9c
  Patrick Baudin authored 4 years ago
  
  ba519d9c
- [Ptests] Minor Changes (same semantics) · da5bb111
  Patrick Baudin authored 4 years ago
  
  da5bb111
- Update Changelog · dbc9142a
  Allan Blanchard authored 4 years ago
  
  dbc9142a
Feb 09, 2021
- Update Changelog after !2952 · 793acd4f
  Virgile Prevosto authored 4 years ago
  
  793acd4f
Feb 08, 2021
- Update Changelog for !3055 · be5c8c8b
  Virgile Prevosto authored 4 years ago
  
  be5c8c8b
Jan 15, 2021
- Update Changelog followin !2992 · bff1e9ed
  Virgile Prevosto authored 4 years ago
  
  bff1e9ed
Jan 14, 2021
- Update Changelog following !2803 · 86410581
  Virgile Prevosto authored 4 years ago
  
  86410581
Jan 12, 2021
- update Changelog · 9f8c9255
  Andre Maroneze authored 4 years ago
  
  9f8c9255
Jan 08, 2021
- renormalize and prettify Changelog · c1d1116d
  Andre Maroneze authored 4 years ago
  
  c1d1116d
- update Changelog · d022c970
  Andre Maroneze authored 4 years ago
  
  d022c970
Dec 02, 2020
- Update Changelog after !2950 · ea602a71
  Virgile Prevosto authored 4 years ago
  
  ea602a71
Nov 30, 2020
- Update Changelog after merging !2922 · 361b9cf0
  Virgile Prevosto authored 4 years ago
  
  361b9cf0
Nov 27, 2020
- update Changelog for !2937 · dc2c36fb
  Andre Maroneze authored 4 years ago
  
  dc2c36fb
Oct 27, 2020
- Update Changelog after !2894 · 5af7c934
  Virgile Prevosto authored 4 years ago
  
  5af7c934
Oct 26, 2020
- Changelog: updated missing date · 948d3da8
  Allan Blanchard authored 4 years ago
  
  948d3da8