Commits · 382c4eb759d28933994bf130eea68686839c9461 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 31, 2019
- Update Changelog · 382c4eb7
  Virgile Prevosto authored 5 years ago
  
  382c4eb7
- Announcing MdR in the Changelog · dfb75d81
  Virgile Prevosto authored 5 years ago
  
  dfb75d81
Oct 22, 2019
- [Eva] Adds a Changelog entry for the automatic loop unrolling. · 9c14d158
  David Bühler authored 5 years ago
  
  9c14d158
Oct 21, 2019
- [Eva] Adds a Changelog entry for the octagon domain. · 84aee1b2
  David Bühler authored 5 years ago
  
  84aee1b2
Oct 18, 2019
- Retroactively updates the Changelog with Eva changes for Calcium. · 60ad6bb5
  David Bühler authored 5 years ago
  
  60ad6bb5
Sep 27, 2019
- Update Changelog after merging !2369 · d8fd486b
  Virgile Prevosto authored 5 years ago
  
  d8fd486b
Sep 12, 2019
- Update Changelog after merging !2361 · 3ba894fc
  Virgile Prevosto authored 5 years ago
  
  3ba894fc
Aug 20, 2019
- changelog · 645c5a63
  Julien Signoles authored 5 years ago
  
  645c5a63
Aug 05, 2019
- Update Changelog after merging !2302 · 5b903d3b
  Virgile Prevosto authored 5 years ago
  
  5b903d3b
- Update Changelog after merging !2337 · 5022e884
  Virgile Prevosto authored 5 years ago
  
  5022e884
- Update Changelog after merging !2344 · f3ab695c
  Virgile Prevosto authored 5 years ago
  
  f3ab695c
Aug 02, 2019
- changelog · 8642c641
  Julien Signoles authored 5 years ago
  
  8642c641
Jul 26, 2019
- Update Changelog after merging !2301 · 2ae347b4
  Virgile Prevosto authored 5 years ago
  
  2ae347b4
- Change compiler requirements in configure and documentation · 3631dd10
  François Bobot authored 5 years ago
  
  3631dd10
Jul 24, 2019
- Update Changelog for !2286 · 13d0e8f9
  Virgile Prevosto authored 5 years ago
  
  13d0e8f9
Jul 23, 2019
- Update Changelog after merging !2318 · f63d4bc1
  Virgile Prevosto authored 5 years ago
  
  f63d4bc1
Jun 28, 2019
- changelog · 241ebbce
  Julien Signoles authored 5 years ago
  
  241ebbce
Jun 21, 2019
- Prepares the Changelog for the Potassium release. · 136b4b31
  David Bühler authored 5 years ago
  
  136b4b31
Jun 20, 2019
- Update Changelog from !2242 · f9492616
  Virgile Prevosto authored 5 years ago
  
  f9492616
May 24, 2019
- changelog · c9226d13
  Julien Signoles authored 5 years ago
  
  c9226d13
May 13, 2019
- Retroactively updates the Changelog with major Eva changes for Potassium. · fef401ec
  David Bühler authored 5 years ago
  
  fef401ec
- [release] Prepare Changelog · 7eab3f52
  Virgile Prevosto authored 5 years ago
  
  7eab3f52
Apr 09, 2019
- [Changelog] update Changelog w.r.t. !2222 · fa23d793
  Andre Maroneze authored 5 years ago
  
  fa23d793
- [Changelog] update Changelog w.r.t. !2221 · 3e9e62d2
  Andre Maroneze authored 5 years ago
  
  3e9e62d2
Apr 01, 2019
- update changelog for !2105 · 43323e50
  Andre Maroneze authored 5 years ago
  
  43323e50
Mar 08, 2019
- [Eva] Retrospectively updates the Changelog. · 29c3583f
  David Bühler authored 6 years ago
  
  29c3583f
- Add missing entries in the Changelog · decd8548
  Virgile Prevosto authored 6 years ago and David Bühler committed 6 years ago
  
  decd8548
- Update Changelog wrt !2182 · 736880b6
  Virgile Prevosto authored 6 years ago
  
  736880b6
Mar 07, 2019
- Update Changelog · 20d55c3b
  Virgile Prevosto authored 6 years ago
  
  20d55c3b
Mar 05, 2019
- Update Changelog · 534da3f0
  Virgile Prevosto authored 6 years ago
  
  534da3f0
Feb 26, 2019
- changelog · e1f3d06c
  Julien Signoles authored 6 years ago and David Bühler committed 6 years ago
  
  e1f3d06c
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
Jan 10, 2019
- Updates the Changelog. · ae4d7242
  David Bühler authored 6 years ago
  
  ae4d7242
Jan 07, 2019
- [Ival] Update changelog · cf444dc9
  Valentin Perrelle authored 6 years ago and David Bühler committed 6 years ago
  
  cf444dc9
Jan 03, 2019
- Changelog · cae10dc7
  Virgile Prevosto authored 6 years ago
  
  cae10dc7
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
Nov 29, 2018
- Updates VERSION and Changelog files for the master branch. · d660df76
  David Bühler authored 6 years ago
  
  d660df76