Commits · 2fdb2da377b86ff0e8f8229344e04591f4c31eca · pub / frama-c · GitLab

Snippets Groups Projects

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 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
Aug 28, 2019
- [Cmdline] add Filepath parameter · 390f409c
  Andre Maroneze authored 5 years ago and Julien Signoles committed 5 years ago
  
  390f409c
- [wp] fix qualif oracles · 70f07158
  Loïc Correnson authored 5 years ago
  
  Change order of operations (ordered by Kf to add lemmas) Smaller compiled context (compounds only used in Kf)
  70f07158
Aug 27, 2019
- [wp] make contextual symbols really contextual · c4f28c5b
  Loïc Correnson authored 5 years ago
  
  c4f28c5b
- [wp] fix equality clusters · 3e483d2b
  Loïc Correnson authored 5 years ago
  
  3e483d2b
Aug 26, 2019
- [wp] remove internal qed checks · 428c034b
  Loïc Correnson authored 5 years ago
  
  only for e-imply and largely trivials
  428c034b
- [wp] fix missing lemmas in function contexts · 4b3b634b
  Loïc Correnson authored 5 years ago
  
  4b3b634b
- [wp/context] use static generators · ca7920e4
  Loïc Correnson authored 5 years ago
  
  ca7920e4
- [wp] optims for context · 00a3651a
  Loïc Correnson authored 5 years ago
  
  00a3651a
Aug 23, 2019
- [wp] context by fonction · aefc8788
  Loïc Correnson authored 5 years ago
  
  aefc8788
- [wp] suppress useless datatype · eb0f5249
  Loïc Correnson authored 5 years ago
  
  eb0f5249
- [wp] rename Model into WpContext · 0a0fa832
  Loïc Correnson authored 5 years ago
  
  0a0fa832
Aug 22, 2019
- [wp] rename prover-why3 · 5400738a
  Loïc Correnson authored 5 years ago
  
  5400738a
- [wp] git ignore · 2f3105f6
  Loïc Correnson authored 5 years ago
  
  2f3105f6
- [wp] fix distributed files · a086a53e
  Loïc Correnson authored 5 years ago
  
  a086a53e
- [wp] remove obsolete why3 files · 88715292
  Loïc Correnson authored 5 years ago
  
  88715292
- [wp] refactor share directory and coq compilation · c60dd91c
  Loïc Correnson authored 5 years ago
  
  c60dd91c
- [wp] remove obsolete prover-why3 · f993c057
  Loïc Correnson authored 5 years ago
  
  f993c057
- [wp] remove obsolete code for why3-ide · 5410492a
  Loïc Correnson authored 5 years ago
  
  5410492a
Aug 02, 2019
- [Kernel behavior] Modularize visitor_behavior · f6a26159
  Allan Blanchard authored 5 years ago and Julien Signoles committed 5 years ago
  
  f6a26159
- [WP] Replaces deprecated function call related to Visitor_behavior · 2ef442a2
  Allan Blanchard authored 6 years ago and Julien Signoles committed 5 years ago
  
  2ef442a2
Jul 26, 2019
- [WP] fixes some points about \exit_status · 413f5980
  Patrick Baudin authored 5 years ago and Patrick Baudin committed 5 years ago
  
  413f5980
- Remove Transitioning functions added in 4.03, 4.04 and 4.05 · 2dae9601
  François Bobot authored 5 years ago
  
  Add migration script
  2dae9601
Jul 25, 2019
- [WP] Fix typing errors during export with driver which use builtins · c9f8009c
  François Bobot authored 5 years ago
  
  c9f8009c
Jul 23, 2019
- Restore 4.02 compatibility · d399de9b
  Virgile Robles authored 5 years ago
  
  d399de9b
Jul 22, 2019
- Indent several files (with ocp-indent.1.6.1 instead of 1.7) · 75d9c2de
  Virgile Robles authored 5 years ago
  
  75d9c2de
Jul 19, 2019
- [Wp] Fixes a segmentation fault on lablgtk3: do not create a gtk button too early. · b107dde4
  David Bühler authored 5 years ago
  
  b107dde4