Commits · 3241c64479bd728b39a47f5bb0914862f14a039e · pub / frama-c · GitLab

Snippets Groups Projects

Nov 03, 2022
- Merge branch 'fix/release-doc' into 'stable/iron' · 3241c644
  David Bühler authored 2 years ago
  
  [doc] Minor fix to the release manual See merge request frama-c/frama-c!3986
  3241c644
- [doc] Fixes ~ in the release manual. · 94ebe5ea
  David Bühler authored 2 years ago
  
  94ebe5ea
- [doc] Adds a minor precision to the release manual. · c83a705f
  David Bühler authored 2 years ago
  
  c83a705f
- Merge branch 'fix/ci/default-branch-iron' into 'stable/iron' · 34211744
  David Bühler authored 2 years ago
  
  Fix default branch for Iron See merge request frama-c/frama-c!3989
  34211744
- [ci] fix reference branch · b9f2b58d
  Allan Blanchard authored 2 years ago
  
  b9f2b58d
Nov 02, 2022
- Merge branch 'virgile-master-patch-21609' into 'stable/iron' · 754edd7c
  Virgile Prevosto authored 2 years ago
  
  Update Aoraï documentation See merge request frama-c/frama-c!3965
  754edd7c
Oct 28, 2022
- [ci] Fixes the publish-website script. · 102b7b76
  David Bühler authored 2 years ago
  
  View commits for tag 26.0-beta 26.0-beta
  
  102b7b76
- [ci] write key · b48c238f
  Allan Blanchard authored 2 years ago
  
  b48c238f
- [dev] Fixes build-release.sh script. · c14eb5dd
  David Bühler authored 2 years ago
  
  c14eb5dd
- [ci] Fixes the check-release target. · baade711
  David Bühler authored 2 years ago
  
  baade711
- Fixes a typo in the main changes for the 26.0 Iron release. · 5a21f14c
  David Bühler authored 2 years ago
  
  5a21f14c
- Main changes for the 26.0 Iron release. · 9a59f45d
  David Bühler authored 2 years ago
  
  9a59f45d
- Fixes Changelog. · 51e84399
  David Bühler authored 2 years ago
  
  51e84399
- [Doc] Updates @since and @before tags to 26.0-Iron. · d67dce66
  David Bühler authored 2 years ago
  
  d67dce66
- Changes version and codename for 26.0 (Iron). · d532233f
  David Bühler authored 2 years ago
  
  d532233f
Oct 27, 2022
- [aorai] Update the plugin architecture diagram with Eva · 563b35ca
  Valentin Perrelle authored 2 years ago
  
  563b35ca
- fix md syntax · dcad7213
  Valentin Perrelle authored 2 years ago
  
  dcad7213
- [aorai] remove LTL and Promela from the manual · a4a9f262
  Virgile Prevosto authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  a4a9f262
- [aorai] clean up generation of example archive · 7c9a21df
  Virgile Prevosto authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  7c9a21df
- [aorai] clean up example files in the doc · 26f42f6a
  Virgile Prevosto authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  26f42f6a
- Update Changelog after !3963 · 2a1757d4
  Virgile Prevosto authored 2 years ago and Valentin Perrelle committed 2 years ago
  
  2a1757d4
- Merge branch 'stable/iron' · aa6e64ff
  David Bühler authored 2 years ago
  
  aa6e64ff
- [Doc] Updates copyright year in manuals. · 3ebd3544
  David Bühler authored 2 years ago
  
  3ebd3544
- Adds headers for the upcoming Frama-C 26.0 (Iron) release in Changelogs. · 552470b8
  David Bühler authored 2 years ago
  
  552470b8
- Reset default branch · c1667b41
  David Bühler authored 2 years ago
  
  c1667b41
- Change default branch · 4e59c86b
  David Bühler authored 2 years ago
  
  4e59c86b
Oct 26, 2022
- Merge branch 'feature/dive/taints' into 'master' · 5c55a316
  David Bühler authored 2 years ago
  
  Taints in Dive See merge request frama-c/frama-c!3956
  5c55a316
- [ivette] Updates the Changelog. · 5e94148f
  David Bühler authored 2 years ago
  
  5e94148f
- [ivette] Changes taint colors to avoid confusion with precision colors in dive. · 172f95cd
  David Bühler authored 2 years ago
  
  172f95cd
- [ivette] Properties table: fixes the taint display. · 93c3e4b0
  David Bühler authored 2 years ago
  
  93c3e4b0
- [Dive] Effectively evaluate the arguments values at start of their defining function · e3848a65
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  e3848a65
- [Dive] Small fix to the evaluation of formal parameters. · 3b5c79e8
  David Bühler authored 2 years ago
  
  3b5c79e8
- [Dive] Minor code factorization in build_node_writes. · d31f2b65
  David Bühler authored 2 years ago
  
  d31f2b65
- [Dive] Fixes a typo, and minor style changes. · ad68ddf1
  David Bühler authored 2 years ago
  
  ad68ddf1
- [Dive] Also add Const nodes for Local_init · e9f8c9f1
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  e9f8c9f1
- [Dive] Update nodes values each time a write is detected · 534a47c4
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  - also for the special case of formal parameters - values gathered should now be consistent with the partial graph built
  534a47c4
- [Dive] Rework callstack abstraction · 5b4e1b3c
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  5b4e1b3c
- [Dive] Functions and Files compounds are more discrete · 17e6542f
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  17e6542f
- [Dive] Add constant nodes · 1847a8a9
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  1847a8a9
- [Dive] add taint information · c0d05ec0
  Valentin Perrelle authored 2 years ago and David Bühler committed 2 years ago
  
  c0d05ec0