Commits · 2e0a34721839edca9dcbaeb40d3b440da8db0a09 · pub / frama-c · GitLab

Snippets Groups Projects

May 18, 2022
- [doc] Fix few typos · 2e0a3472
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  2e0a3472
May 17, 2022
- [doc] resolve various markup warnings · b53dbd3a
  Allan Blanchard authored 2 years ago
  
  b53dbd3a
- [kernel] Remove deprecated module `LegacyNames` · 30f0e587
  Allan Blanchard authored 2 years ago
  
  30f0e587
- [doc] various line break fixes · a50673c1
  Allan Blanchard authored 2 years ago
  
  a50673c1
- [kernel] fix some @raise · ee8882e6
  Allan Blanchard authored 2 years ago
  
  ee8882e6
- [kernel] fix @modifies · ace57d12
  Allan Blanchard authored 2 years ago
  
  ace57d12
- [kernel] Fix @modified · 086451c9
  Allan Blanchard authored 2 years ago
  
  086451c9
May 12, 2022
- Merge branch 'feature/eva/structure-iterators' into 'master' · 7844bbd7
  Valentin Perrelle authored 2 years ago
  
  [Eva] Implements iterators on the components of an abstraction product See merge request frama-c/frama-c!3735
  7844bbd7
May 11, 2022
- Merge branch 'feature/wp/better-session-update' into 'master' · 270e04b5
  Loïc Correnson authored 2 years ago
  
  Proof scripts tracking See merge request frama-c/frama-c!3741
  270e04b5
- Merge branch 'feature/kernel/symbolic-dirs-register' into 'master' · e5259b18
  Andre Maroneze authored 2 years ago
  
  [kernel] changes symbolic dirs registration See merge request frama-c/frama-c!3734
  e5259b18
- Merge branch 'feature/eva/overlap' into 'master' · 7e358cb0
  Valentin Perrelle authored 2 years ago
  
  [Eva] Ival: more precise detection of partial overlaps. See merge request frama-c/frama-c!3703
  7e358cb0
- [wp] fix manual · 4b7e05ba
  Loïc Correnson authored 2 years ago
  
  4b7e05ba
- [wp/doc] document script tracking · bd7758f4
  Allan Blanchard authored 2 years ago
  
  bd7758f4
- [kernel] changes symbolics dirs registration · 0a4f0f78
  Allan Blanchard authored 2 years ago and Andre Maroneze committed 2 years ago
  
  0a4f0f78
- [wp] The session can now track scripts usage · 14c1d5e9
  Allan Blanchard authored 2 years ago
  
  14c1d5e9
- [wp] New options for marking of scripts · bf85e4cc
  Allan Blanchard authored 2 years ago
  
  bf85e4cc
- Merge branch 'feature/doc-and-deprecated' into 'master' · 582c091a
  Allan Blanchard authored 2 years ago
  
  Deal with `@modify` and old `@deprecated` See merge request frama-c/frama-c!3700
  582c091a
- [kernel] changes an @modify to @before in Annotations · a31f3e4d
  Allan Blanchard authored 2 years ago
  
  a31f3e4d
- [qed] changes @modify to @before in Logic · ade1e0e9
  Allan Blanchard authored 2 years ago
  
  ade1e0e9
- [logic] change @modify tags · 46acaa5e
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  46acaa5e
- [Kernel] convert @modify to @before and update changes · ad74716f
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  ad74716f
- [Kernel] more @modify -> @before tags · c2a3851f
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  c2a3851f
- [cil] update doc of has_flexible_array_member · d8de72bb
  Allan Blanchard authored 2 years ago
  
  d8de72bb
- [doc] @modify -> @since · ab5dea0f
  Virgile Prevosto authored 2 years ago and Allan Blanchard committed 2 years ago
  
  ab5dea0f
- [Kernel] replace several @modify tags with @before · a96cdc84
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  a96cdc84
- [kernel] remove deprecated taddrof · fbfec08b
  Allan Blanchard authored 2 years ago
  
  fbfec08b
- [qed] remove deprecated functions · 71db775d
  Allan Blanchard authored 2 years ago
  
  71db775d
- [kernel] remove old Help module · dd8a080e
  Allan Blanchard authored 2 years ago
  
  dd8a080e
- [deprecated] remove old functions · efd0b8bd
  Allan Blanchard authored 2 years ago
  
  efd0b8bd
- [doc] remove old @modify · b46fece0
  Allan Blanchard authored 2 years ago
  
  b46fece0
May 10, 2022
- Merge branch 'stable/manganese' · bf64a2c9
  François Bobot authored 2 years ago
  
  bf64a2c9
- Mark Manganese version in Changelog · 722d6219
  François Bobot authored 2 years ago
  
  722d6219
May 09, 2022
- Reset default branch · 6988ab5c
  François Bobot authored 2 years ago
  
  6988ab5c
- Change default branch · c8007c76
  François Bobot authored 2 years ago
  
  c8007c76
May 06, 2022
- [wp] fix configure Why3 version · 3f8cd009
  Allan Blanchard authored 2 years ago
  
  3f8cd009
- [wp] Changelog · b0e1a7c7
  Allan Blanchard authored 2 years ago
  
  b0e1a7c7
- Merge branch 'fix/wp/decreases-evaluation' into 'master' · 718b0505
  Allan Blanchard authored 2 years ago
  
  [wp] Fix decreases evaluation See merge request frama-c/frama-c!3714
  718b0505
- [wp] fix decreases positive · b19ecab8
  Allan Blanchard authored 2 years ago
  
  b19ecab8
- [wp] fix decreases caller evaluation · 250a5c94
  Allan Blanchard authored 2 years ago
  
  250a5c94
- Merge branch 'feature/wp/why3.1.5.0' into 'master' · beceec74
  Allan Blanchard authored 2 years ago
  
  Bump Why3 to 1.5.0 See merge request frama-c/frama-c!3729
  beceec74