Commits · 1255d834a7b6508f90632acb70998958cad63da7 · pub / frama-c · GitLab

Snippets Groups Projects

Oct 03, 2019
- [wp/typed] fixed error when shifting a single value · 3edbdbf0
  Loïc Correnson authored 5 years ago
  
  3edbdbf0
- [wp/typed] error when shifting a single value · 21817395
  Loïc Correnson authored 5 years ago
  
  21817395
Sep 30, 2019
- [wp/alt-ergo] fix resources for div & bits · 21cfcf58
  Loïc Correnson authored 5 years ago
  
  21cfcf58
- [wp/alt-ergo] fix install for ArcTrigo · c2bf17cc
  Loïc Correnson authored 5 years ago
  
  c2bf17cc
Sep 27, 2019
- [libC] fixes specification of abort and exit functions: adding a test for wp plugin · 88196f7a
  Patrick Baudin authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  88196f7a
- reindentation wrt 1.7.0 after rebase · 29b7cd94
  Virgile Prevosto authored 5 years ago
  
  29b7cd94
- Fixes the indentation for ocp-indent 1.7. · 3b6d99bd
  David Bühler authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  3b6d99bd
Sep 26, 2019
- [WP] Typo in manual · a8892b9d
  Allan Blanchard authored 5 years ago
  
  a8892b9d
Sep 25, 2019
- [wp] updated documentation · 56b865fe
  Loïc Correnson authored 5 years ago
  
  56b865fe
- [wp] use ./.frama-c/wp for cache & scripts · e0f05ad5
  Loïc Correnson authored 5 years ago
  
  e0f05ad5
Sep 19, 2019
- [wp] fix start-of array across all models · 40fdd752
  Loïc Correnson authored 5 years ago
  
  40fdd752
- [wp] fix refusage lattice · d03442ad
  Loïc Correnson authored 5 years ago
  
  d03442ad
Sep 18, 2019
- [wp] tests to show the bugs · 3b543992
  Loïc Correnson authored 5 years ago
  
  3b543992
Sep 17, 2019
- [wp/debug] fix builtins dump · 7267399b
  Loïc Correnson authored 5 years ago
  
  7267399b
Sep 16, 2019
- [WP] Remove old deprecated option '-wp-include' · 7bc8c35d
  Allan Blanchard authored 5 years ago
  
  7bc8c35d
- [WP] Rename '-wp-why-opt' into '-wp-why3-opt' · a2f9aa69
  Allan Blanchard authored 5 years ago
  
  a2f9aa69
- [WP] Removes unused '-wp-why3' option · 95de0e20
  Allan Blanchard authored 5 years ago
  
  95de0e20
- [WP] Removes old commented modules · 5cd8b2d7
  Allan Blanchard authored 5 years ago
  
  5cd8b2d7
- [WP] Remove unused option '-wp-why-lib' · 1ede4674
  Allan Blanchard authored 5 years ago
  
  1ede4674
Sep 12, 2019
- [wp/cache] changelog & manual · 106d344e
  Loïc Correnson authored 5 years ago
  
  106d344e
Sep 11, 2019
- [wp/cache] fix cleanup mode · b11129ba
  Loïc Correnson authored 5 years ago
  
  b11129ba
- [WP] Rename some options related to Coq · 79dc0196
  Allan Blanchard authored 5 years ago
  
  79dc0196
- [WP] Remove "-wp-depth" option and related code · b7b7653d
  Allan Blanchard authored 5 years ago
  
  b7b7653d
- [WP] Changes description of -wp-filter · 7d8dfd0f
  Allan Blanchard authored 5 years ago
  
  7d8dfd0f
- [WP] -wp-extensional now defaults to true · 1aa50b90
  Allan Blanchard authored 5 years ago
  
  1aa50b90
- [wp/cache] offline mode in tests · 79bfc610
  Loïc Correnson authored 5 years ago
  
  79bfc610
- [wp/cache] commit caches · 11c1141c
  Loïc Correnson authored 5 years ago
  
  11c1141c
- [wp/cache] default mode wrt. session · a1a3e0e0
  Loïc Correnson authored 5 years ago
  
  a1a3e0e0
- [wp/cache] -wp-auto now follows tip & script · 394c6384
  Loïc Correnson authored 5 years ago
  
  394c6384
- [wp/cache] update oracles (time limit only, on result change) · a3b0eda2
  Loïc Correnson authored 5 years ago
  
  a3b0eda2
- [WP] -wp-init-const now defaults to true · ebc36811
  Allan Blanchard authored 5 years ago
  
  ebc36811
- [WP] Rename -wp-init-alias -> -wp-alias-init (and corresponding module) · 5f523540
  Allan Blanchard authored 5 years ago
  
  5f523540
- [wp/cache] change tests limits · a65f17c7
  Loïc Correnson authored 5 years ago
  
  a65f17c7
- [wp/cache] moving scripts in <session>/script · bfca79bb
  Loïc Correnson authored 5 years ago
  
  bfca79bb
- [wp/cache] cleanup mode · 4fc5be8a
  Loïc Correnson authored 5 years ago
  
  4fc5be8a
- [wp/cache] move test using scripts in qualif · 98149ef1
  Loïc Correnson authored 5 years ago
  
  98149ef1
- [wp/cache] assign a session to each test · c1ebf079
  Loïc Correnson authored 5 years ago
  
  c1ebf079
Sep 10, 2019
- [wp/cache] suppress -wp-out in test config (qualif) · 2fdb2da3
  Loïc Correnson authored 5 years ago
  
  2fdb2da3
- [wp/qualif] fix power alt-ergo driver · 790ba6ef
  Loïc Correnson authored 5 years ago
  
  790ba6ef
- [wp/cache] generate task for type-check · 4196809a
  Loïc Correnson authored 5 years ago
  
  4196809a