Commits · 1ede4674e51da4bf4b26e33e805d593a970ded43 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 16, 2019
- [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
- [wp/cache] use also environment for cache mode · ec578deb
  Loïc Correnson authored 5 years ago
  
  (with deactivated trivial task detection)
  ec578deb
- [wp/cache] detect trivial goals for why3 · fbe6fa9f
  Loïc Correnson authored 5 years ago
  
  fbe6fa9f
- [wp/cache] collect cache info · 68fb5f9f
  Loïc Correnson authored 5 years ago
  
  68fb5f9f
- [wp/cache] introducing cache management · d686dc7b
  Loïc Correnson authored 5 years ago
  
  d686dc7b
- [wp/why3] configure why3 provers · 6aa5c5a3
  Loïc Correnson authored 5 years ago
  
  6aa5c5a3
- [wp/why3] re-arrange code · 7aaeaf51
  Loïc Correnson authored 5 years ago
  
  7aaeaf51
Sep 05, 2019
- [WP/tests] oracle updated · 10eb6f51
  Patrick Baudin authored 5 years ago
  
  10eb6f51
Sep 04, 2019
- [Server] Handle Ctrl+C during executions · de38412d
  Valentin Perrelle authored 5 years ago
  
  de38412d
- [Server] catch Sys.Break at server main loop · 06c82a36
  Valentin Perrelle authored 5 years ago
  
  06c82a36
Sep 03, 2019
- [Server] do not throw Yojson exception anymore · 5c67fbc5
  Valentin Perrelle authored 5 years ago
  
  5c67fbc5
- [Server] only catch exceptions the server is allowed to · 619b26a4
  Valentin Perrelle authored 5 years ago
  
  619b26a4
- [server] Catch input decoding error and send an error response · 0969df69
  Valentin Perrelle authored 5 years ago
  
  0969df69
Sep 02, 2019
- [WP] minor · 4af8386d
  Patrick Baudin authored 5 years ago
  
  4af8386d
- [WP] re-introduce bit_test at export · 102fe48e
  Patrick Baudin authored 5 years ago
  
  102fe48e
- [WP] Add to Lang.For_export rewriting for eq and leq · 9530cb4e
  François Bobot authored 5 years ago and Patrick Baudin committed 5 years ago
  
  9530cb4e
- [Libc] Define bit_test driver · f4cf64ba
  François Bobot authored 5 years ago and Patrick Baudin committed 5 years ago
  
  f4cf64ba
- [Eva] fix typo and improve help of option -eva-mlevel · e6b60d26
  Andre Maroneze authored 5 years ago
  
  e6b60d26
Aug 28, 2019
- [Cmdline] add Filepath parameter · 390f409c
  Andre Maroneze authored 5 years ago and Julien Signoles committed 5 years ago
  
  390f409c