Commits · 82a8a9dcd830ffa4360495a716ba6a029bbfde8d · pub / frama-c · GitLab

Snippets Groups Projects

Dec 02, 2022
- [wp] fix terminates and decreases for local_init · 82a8a9dc
  Allan Blanchard authored 2 years ago
  
  82a8a9dc
- [wp] fix goal loss · 70d26ac4
  Allan Blanchard authored 2 years ago
  
  70d26ac4
Nov 17, 2022
- [wp] feedback results in gui · 0aa97c3d
  Loïc Correnson authored 2 years ago
  
  0aa97c3d
Oct 27, 2022
- Adds headers for the upcoming Frama-C 26.0 (Iron) release in Changelogs. · 552470b8
  David Bühler authored 2 years ago
  
  552470b8
Oct 25, 2022
- [wp/gui] fix GUI building · 1593dff2
  Allan Blanchard authored 2 years ago
  
  1593dff2
Oct 19, 2022
- [WP] clarify test cache usage · aac343cd
  Andre Maroneze authored 2 years ago
  
  aac343cd
- [WP] allow test to be run directly · 85b3196d
  Andre Maroneze authored 2 years ago
  
  85b3196d
- [WP] remove French quotes and fix typos · a0e4a70f
  Andre Maroneze authored 2 years ago
  
  a0e4a70f
- [RteGen] removes RteGen from Db · 6915d56f
  Patrick Baudin authored 2 years ago and Allan Blanchard committed 2 years ago
  
  6915d56f
- [wp] fix lint · 3a057a27
  Loïc Correnson authored 2 years ago
  
  3a057a27
- [wp] documenting API · 9e1046c8
  Loïc Correnson authored 2 years ago
  
  9e1046c8
- [wp/doc] adds an index to be completed · 8d519259
  Allan Blanchard authored 2 years ago and Loïc Correnson committed 2 years ago
  
  8d519259
- [doc] optimized images · 5a28e2b9
  Allan Blanchard authored 2 years ago
  
  5a28e2b9
- [wp/doc] reduce resolution of an image to 720p · f847ace3
  Allan Blanchard authored 2 years ago
  
  f847ace3
Oct 14, 2022
- update Changelog following !3913 · 06086697
  Virgile Prevosto authored 2 years ago
  
  06086697
- fix debug message · fc95bc3f
  Virgile Prevosto authored 2 years ago
  
  fc95bc3f
- fix indentation · f330519c
  Virgile Prevosto authored 2 years ago
  
  f330519c
- [doc] start moving documentation of @calls from WP to userman · 5984984f
  Virgile Prevosto authored 2 years ago
  
  5984984f
- [wp] remove -wp-dynamic from doc and mark as deprecated · db4476ad
  Virgile Prevosto authored 2 years ago
  
  Actually, the value of the option wasn't used anywhere...
  db4476ad
- [wp] update test on dynamic calls following move to kernel · e949c8fb
  Virgile Prevosto authored 2 years ago
  
  e949c8fb
- [kernel] move @calls extension from WP to kernel · f8931ddf
  Virgile Prevosto authored 2 years ago
  
  f8931ddf
Oct 04, 2022
- [libc] Frama-C builtins have attribute fc_builtin · 61ba9c2f
  Allan Blanchard authored 2 years ago and Virgile Prevosto committed 2 years ago
  
  61ba9c2f
Oct 03, 2022
- Changelog · d31ad237
  Allan Blanchard authored 2 years ago
  
  d31ad237
Sep 30, 2022
- [wp] fix termination proof in absence of decreases · 2c0d8cf6
  Allan Blanchard authored 2 years ago
  
  2c0d8cf6
- [wp] fix cache miss goal display · e6ae9daf
  Allan Blanchard authored 2 years ago
  
  e6ae9daf
Sep 29, 2022
- update test oracles w.r.t. new wkey · b01ca388
  Patrick Baudin authored 2 years ago
  
  b01ca388
- [printer] Fixes terminates/decreases new line · 7024be9d
  Allan Blanchard authored 3 years ago and Patrick Baudin committed 2 years ago
  
  7024be9d
Sep 22, 2022
- [ptests] requires dune 3.2 · 4067057a
  Patrick Baudin authored 2 years ago
  
  4067057a
Sep 21, 2022
- [Extlib] removed filter_map (List.filter_map) · fe5e9dfa
  Allan Blanchard authored 2 years ago
  
  fe5e9dfa
- [Extlib] removed filter_map_opt (List.filter_map) · 1c0700ce
  Allan Blanchard authored 2 years ago
  
  1c0700ce
- [Extlib] removed try_finally (Fun.protect) · a5aa26ca
  Allan Blanchard authored 2 years ago
  
  a5aa26ca
- [Extlib] removed id (Fun.id) · c0b3ec56
  Allan Blanchard authored 2 years ago
  
  c0b3ec56
Sep 19, 2022
- [tests] fixes a sentence in wp readme file · 5288a727
  Patrick Baudin authored 2 years ago
  
  5288a727
Sep 16, 2022
- [Wp] doc: recalls the name of the default anonymous behavior · 08a8bff0
  Patrick Baudin authored 2 years ago
  
  08a8bff0
Sep 13, 2022
- [wp] Bump Why3 version · 80409230
  Allan Blanchard authored 2 years ago
  
  80409230
Sep 02, 2022
- [wp] Uses Eva public API instead of Db.Value. · a0a0e423
  David Bühler authored 2 years ago
  
  a0a0e423
Aug 25, 2022
- FRAMAC_WP_(QUALIF|CACHEDIR) must be set to an absolute pathname · 277d01d8
  Patrick Baudin authored 2 years ago
  
  277d01d8
Jul 29, 2022
- [headers] remove unused headers · e8106da1
  Allan Blanchard authored 2 years ago
  
  e8106da1
- [wp] Changelog · 4d7f9d22
  Allan Blanchard authored 2 years ago
  
  4d7f9d22
Jul 28, 2022
- [wp] json report is always pretty · ea7f5bad
  Allan Blanchard authored 2 years ago
  
  ea7f5bad