Commits · e6ae9daf4b0ee4cdc4cd5a999f516fd3fbba19a1 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 30, 2022
- [wp] fix cache miss goal display · e6ae9daf
  Allan Blanchard authored 2 years ago
  
  e6ae9daf
Sep 21, 2022
- [Extlib] removed try_finally (Fun.protect) · a5aa26ca
  Allan Blanchard authored 2 years ago
  
  a5aa26ca
Jul 28, 2022
- [wp] json report is always pretty · ea7f5bad
  Allan Blanchard authored 2 years ago
  
  ea7f5bad
- [wp] fix console for valid results · 7d7db9ff
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  7d7db9ff
- [wp] refine cache statistics · bff858cb
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  bff858cb
- [wp] add « Unsuccess » line in shell mode · 06ff8189
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  06ff8189
- [wp] json report documented · 6e6fc8e6
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  6e6fc8e6
- [wp] consolidated JSON report, script stats details · f21d56de
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  f21d56de
- [wp] improved global stats · 80f68164
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  80f68164
- [wp] updated oracles · fa041e2e
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  fa041e2e
- [wp] improved consolidation for smoke tests · c3ee29ac
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  c3ee29ac
- [wp] update tests oracles with new printing · 033480b5
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  033480b5
- [wp/tests] changed dry-run oracles (generated only) · fb5c6303
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  fb5c6303
- [wp] preparing new report · 04b9a4a7
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  04b9a4a7
- [wp] printing stats wrt various modes · 722e71ed
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  722e71ed
May 11, 2022
- [wp] The session can now track scripts usage · 14c1d5e9
  Allan Blanchard authored 2 years ago
  
  14c1d5e9
Mar 11, 2022
- Fix warning 50 · 4130bab7
  Allan Blanchard authored 3 years ago
  
  4130bab7
Mar 07, 2022
- [wp] option to scripts instead of saving them · 0efbb7d5
  Allan Blanchard authored 3 years ago
  
  0efbb7d5
Feb 23, 2022
- [2022] file headers · 7b02c99c
  Patrick Baudin authored 3 years ago
  
  7b02c99c
Feb 18, 2022
- [wp] Migrate to frama-c indent · a767fdcb
  Allan Blanchard authored 3 years ago
  
  a767fdcb
Nov 05, 2021
- [wp] Removes legacy engine · c9834997
  Allan Blanchard authored 3 years ago
  
  c9834997
Oct 06, 2021
- [wp] Fixes missing MLI files · e00f9023
  Allan Blanchard authored 3 years ago and Virgile Prevosto committed 3 years ago
  
  - deactivate the warning for an install file
  e00f9023
Aug 06, 2021
- [wp] Fix trivial terminates proof display + count · 52140459
  Allan Blanchard authored 3 years ago
  
  52140459
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Feb 02, 2021
- [wp] take into accounts unreachable in final count · 6a90eb30
  Loïc Correnson authored 4 years ago
  
  6a90eb30
Jan 28, 2021
- [wp] new generator API · 078a8ca3
  Loïc Correnson authored 4 years ago
  
  078a8ca3
- [wp] new options -wp-dump and -wp-legacy · c740571b
  Loïc Correnson authored 4 years ago
  
  c740571b
- [wp] move Generator to WpGenerator · 4d8915a9
  Loïc Correnson authored 4 years ago
  
  4d8915a9
- [wp] Cil2Cfg Dump module · 25009626
  Allan Blanchard authored 4 years ago and Loïc Correnson committed 4 years ago
  
  25009626
Oct 13, 2020
- [wp] More coherent option -wp-check-memory-model · 381b38d4
  Allan Blanchard authored 4 years ago
  
  381b38d4
- [wp] Request all RTE at startup when needed · df31b577
  Allan Blanchard authored 4 years ago
  
  df31b577
- [wp] Compute target KFs subset · 3ae49eb0
  Allan Blanchard authored 4 years ago
  
  3ae49eb0
Oct 06, 2020
- [wp] slight refactoring of command-line run · 7a9c5718
  Loïc Correnson authored 4 years ago
  
  7a9c5718
Oct 01, 2020
- [wp] added update and fixup modes · 52707ddc
  Loïc Correnson authored 4 years ago
  
  52707ddc
Sep 22, 2020
- [wp] new option -wp-interactive · 80e7e4fe
  Loïc Correnson authored 4 years ago and Allan Blanchard committed 4 years ago
  
  80e7e4fe
Sep 18, 2020
- [wp] better feedback for cache miss (wp-qualif) · dc9ee50f
  Loïc Correnson authored 4 years ago
  
  dc9ee50f
Sep 17, 2020
- [wp] Lint register · b1d770b2
  Allan Blanchard authored 4 years ago
  
  b1d770b2
- [wp] Memoisation for hypotheses · d607cbe7
  Allan Blanchard authored 4 years ago
  
  d607cbe7
Sep 16, 2020
- [wp] cleaning goal iterations · aa73ade5
  Loïc Correnson authored 4 years ago
  
  aa73ade5
- [wp] fixed incorrect count of proved goals · aa11a58f
  Loïc Correnson authored 4 years ago
  
  aa11a58f