Commits · 656e89b24665789216774b8589806854af03b919 · pub / frama-c · GitLab

Snippets Groups Projects

Sep 07, 2020
- [wp] Option: insert model hypotheses in contracts · 656e89b2
  Allan Blanchard authored 4 years ago
  
  656e89b2
- [wp] Avoid separation hypotheses duplication · efd4c806
  Allan Blanchard authored 4 years ago
  
  efd4c806
- [wp] Generate ACSL predicates for model hypotheses · f71d1a0e
  Allan Blanchard authored 4 years ago
  
  f71d1a0e
- [wp] Changes hypotheses signature · e1c474de
  Allan Blanchard authored 4 years ago
  
  e1c474de
- [wp] Collect assigns separation hypotheses · ea139609
  Allan Blanchard authored 4 years ago
  
  ea139609
- [wp] Moves VarUsage hypotheses computation to MemVar · 7f1ef607
  Allan Blanchard authored 4 years ago
  
  7f1ef607
Aug 25, 2020
- [WP] fix exception raised by invalid option in -wp-why3-opt · 4f02ced6
  Andre Maroneze authored 4 years ago
  
  4f02ced6
Jul 27, 2020
- replace occurrences of Pervasives with Stdlib · 09dbe850
  Andre Maroneze authored 4 years ago
  
  09dbe850
- remove obsolete occurrences of Transitioning due to migration towards 4.08.1 · 22807efc
  Andre Maroneze authored 4 years ago
  
  22807efc
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jul 06, 2020
- [wp] update changelog · edbd28be
  Loïc Correnson authored 4 years ago
  
  edbd28be
- [wp] fix cmd & cache issues · e52f2552
  Loïc Correnson authored 4 years ago
  
  e52f2552
- [wp] Make sure that wp_plugin/removed uses cache · f647dec5
  Allan Blanchard authored 4 years ago
  
  f647dec5
- [wp] document cache options and env. variables. · 2c01cda6
  Loïc Correnson authored 4 years ago
  
  2c01cda6
Jul 02, 2020
- [wp] wp-qualif-*: make sure that we use master cache · 7bb098bb
  Allan Blanchard authored 4 years ago
  
  7bb098bb
- Changelog WP · 31608822
  Allan Blanchard authored 4 years ago
  
  31608822
- [wp] new instructions about global cache in the tests README · f93b6e27
  Allan Blanchard authored 4 years ago
  
  f93b6e27
- [wp] Qualif test with empty cache -> unqualified · ae703e69
  Allan Blanchard authored 4 years ago
  
  ae703e69
- [wp] Removed debug-keys, use shell · b4b2971e
  Allan Blanchard authored 4 years ago
  
  - removed no-time-info - removed no-step-info - removed no-goals-info - removed no-cache-info - removed success-only
  b4b2971e
- [wp] Print qualified only when shell key is active · 6eb84fe1
  Allan Blanchard authored 4 years ago
  
  6eb84fe1
- [wp] Fixes cache directory getter · 43fa28fc
  Allan Blanchard authored 4 years ago
  
  43fa28fc
- [wp] Add an option to print cache path · 01bc9783
  Allan Blanchard authored 4 years ago
  
  01bc9783
- [wp] -wp-cache-env defaults to false · 2f17a00a
  Allan Blanchard authored 4 years ago
  
  2f17a00a
- [wp] Cache has its own module · 3754517a
  Allan Blanchard authored 4 years ago
  
  3754517a
Jun 30, 2020
- [wp] wp-qualif utility script · 0a46137d
  Loïc Correnson authored 4 years ago
  
  0a46137d
- [wp] fix sort of floats · 4eec40e4
  Loïc Correnson authored 4 years ago
  
  4eec40e4
- [wp] exhibit issue with float fields · 9d602ef4
  Loïc Correnson authored 4 years ago
  
  9d602ef4
Jun 24, 2020
- [WP] update Changelog · 41e7d87d
  Andre Maroneze authored 4 years ago
  
  41e7d87d
- [Changelog] better normalization and minor fixes · 90d99d6b
  Andre Maroneze authored 4 years ago
  
  90d99d6b
Jun 19, 2020
- [WP] fixes some typos into the doc dedicated to tests · f254a2cd
  Patrick Baudin authored 4 years ago
  
  f254a2cd
- [WP] fixes some typos into the doc dedicated to tests · 82825058
  Patrick Baudin authored 4 years ago
  
  82825058
- [wp/doc] Fixes Why3 version · f631a029
  Allan Blanchard authored 4 years ago
  
  f631a029
- [wp] Coq region is a function · cab038c1
  Allan Blanchard authored 4 years ago
  
  cab038c1
Jun 18, 2020
- [wp] Avoid name clashes in Mchunk · 5fab3c2d
  Allan Blanchard authored 4 years ago
  
  5fab3c2d
- new script for wp_gallery/binary-multiplication · c0c3fbf2
  Virgile Prevosto authored 4 years ago
  
  c0c3fbf2
- [wp] ensure an absolute path for WP_QUALIF_CACHE · f457f230
  Virgile Prevosto authored 4 years ago
  
  it seems like part of the issue lies in the fact that the cache might be looked at from different cwd. Anyways, proposing an absolute location can't hurt.
  f457f230
Jun 17, 2020
- [wp] Fixes frame lemmas generation · b486f707
  Allan Blanchard authored 4 years ago
  
  b486f707
Jun 16, 2020
- [wp] avoid calling RefUsage from context menu · b80729cf
  Loïc Correnson authored 4 years ago
  
  b80729cf
- [gui] general protection against exceptions · 042194ec
  Loïc Correnson authored 4 years ago
  
  042194ec
- [Wp] Fixes a crash in the GUI. · 8269bc74
  David Bühler authored 4 years ago
  
  8269bc74