Commits · ea966671d33f5d578ea47299158c17e3e1654a73 · pub / frama-c · GitLab

Snippets Groups Projects

Jul 29, 2022
- [headers] CEA_PROPRIETARY is not an OS header · ea966671
  Allan Blanchard authored 2 years ago
  
  ea966671
- [headers] remove unused headers · e8106da1
  Allan Blanchard authored 2 years ago
  
  e8106da1
- Merge branch 'feature/wp/stats' into 'master' · f11a9938
  Allan Blanchard authored 2 years ago
  
  [wp] new solver stats See merge request frama-c/frama-c!3840
  f11a9938
- [wp] Changelog · 4d7f9d22
  Allan Blanchard authored 2 years ago
  
  4d7f9d22
- Update ChangeLog · b649a396
  Allan Blanchard authored 2 years ago
  
  b649a396
- Update .gitignore · 8df3936b
  Allan Blanchard authored 2 years ago
  
  8df3936b
Jul 28, 2022
- [wp] json report is always pretty · ea7f5bad
  Allan Blanchard authored 2 years ago
  
  ea7f5bad
- [wp] lint Stats · c301a51e
  Allan Blanchard authored 2 years ago
  
  c301a51e
- [wp] fix console for valid results · 7d7db9ff
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  7d7db9ff
- [wp] better consolidation of trivials & cached · 0e692305
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  0e692305
- [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
- [report] update wp oracles · ff6d0d73
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  ff6d0d73
- [aorai] update wp API · 5bb51b47
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  5bb51b47
- [wp] fixing test cache miss printing · c91243f0
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  c91243f0
- [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] added wpo hooks · 0806835d
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  0806835d
- [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] clarify results meaning wrt smoke tests · 8f9e020e
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  8f9e020e
- [wp] preparing new report · 04b9a4a7
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  04b9a4a7
- [log] exporting tty mode for channels · 80e1a3d2
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  80e1a3d2
- [wp] printing stats wrt various modes · 722e71ed
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  722e71ed
- [wp] fix prover title · 7fe487b6
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  7fe487b6
- [wp] smoke tests & range time · b80a7162
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  b80a7162
- [wp] export human-readlabel json stats · 6d990023
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  6d990023
- [wp] fixed qed time for non-valid · f5331b9f
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  f5331b9f
- [wp] introducing solver stats · 31e5cc58
  Loïc Correnson authored 2 years ago and Allan Blanchard committed 2 years ago
  
  31e5cc58
- Merge branch 'feature/build/dune-configurator' into 'master' · 4d24c9d3
  Allan Blanchard authored 2 years ago
  
  Improves build and install process Closes #1149 See merge request frama-c/frama-c!3872
  4d24c9d3
- [dev] (disable-plugins) more precise message for cleaning · 1adaacab
  Allan Blanchard authored 2 years ago
  
  1adaacab
- Merge branch 'feature/ivette/array-merge' into 'master' · f0b037b0
  David Bühler authored 2 years ago
  
  Feature/ivette/array merge See merge request frama-c/frama-c!3876
  f0b037b0
- [ci] opam pin is not allowed to fail anymore · 77c8bae3
  Allan Blanchard authored 2 years ago
  
  77c8bae3
- [tests] fix missing dependencies in fc_script · 3c5967a0
  Andre Maroneze authored 2 years ago and Allan Blanchard committed 2 years ago
  
  3c5967a0
- [dev] typo in displable-plugins · 1df6edee
  Allan Blanchard authored 2 years ago
  
  1df6edee
- [tests] Disable estimate_difficulty test · c9d4157c
  Allan Blanchard authored 2 years ago
  
  - not robust enough currently when multi-thread
  c9d4157c
- [build] accept also comma-separated plugins list for DISABLED_PLUGINS · e3f4984c
  Michele Alberti authored 2 years ago and Allan Blanchard committed 2 years ago
  
  e3f4984c