Commits · 80e7e4fe68208453834018669daa536488a6087c · pub / frama-c

Sep 22, 2020
- [wp] new option -wp-interactive · 80e7e4fe
  Loïc Correnson authored 4 years ago and Allan Blanchard committed 4 years ago
  
  80e7e4fe
Sep 07, 2020
- [wp] Option: insert model hypotheses in contracts · 656e89b2
  Allan Blanchard authored 4 years ago
  
  656e89b2
- [wp] Collect assigns separation hypotheses · ea139609
  Allan Blanchard authored 4 years ago
  
  ea139609
Jul 21, 2020
- [wp] Collect assigns separation hypotheses · 4b63afc5
  Allan Blanchard authored 4 years ago
  
  4b63afc5
Jul 09, 2020
- [ivette] merge with master · 5e9ed98e
  Loïc Correnson authored 4 years ago
  
  5e9ed98e
Jul 02, 2020
- [wp] Add an option to print cache path · 01bc9783
  Allan Blanchard authored 4 years ago
  
  01bc9783
Jun 12, 2020
- [wp] Filters initialized when they are useless · df7c54da
  Allan Blanchard authored 4 years ago
  
  df7c54da
May 18, 2020
- [wp] use global cache · ca3be03a
  Loïc Correnson authored 5 years ago
  
  ca3be03a
May 11, 2020
- [wp] introduce weak int model for lemmas · 379e0af8
  Loïc Correnson authored 4 years ago
  
  379e0af8
Apr 27, 2020
- [wp] Use Filepath instead of mere strings. · f6675139
  Michele Alberti authored 4 years ago
  
  f6675139
Apr 10, 2020
- [wp] extended smoke tests · d37b9837
  Loïc Correnson authored 4 years ago
  
  d37b9837
- [wp] removed -wp-check option · 6099010a
  Loïc Correnson authored 4 years ago
  
  6099010a
Mar 06, 2020
- update copyright to 2020 · 325661e6
  Andre Maroneze authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  325661e6
Feb 20, 2020
- [wp] smoke tests · 1560d044
  Loïc Correnson authored 5 years ago
  
  1560d044
- [wp] control over max split at cfg level · 78e6d5e5
  Loïc Correnson authored 5 years ago
  
  78e6d5e5
Jan 16, 2020
- Make Specific_dir functions provide normalized filepaths instead of mere strings. · 3054efb4
  Michele Alberti authored 5 years ago
  
  3054efb4
Dec 20, 2019
- [wp/tests] added option -wp-no-cache-env · 93fff3f8
  Loïc Correnson authored 5 years ago
  
  FRAMAC_WP_CACHE=update ./ptests.opt src/plugins/wp/tests -config qualif
  93fff3f8
Dec 04, 2019
- [WP] Adds option "-wp-run-all-provers" · 63d5b963
  Allan Blanchard authored 5 years ago
  
  63d5b963
Nov 29, 2019
- [wp] create session dir only when necessary · 9c8140ef
  Loïc Correnson authored 5 years ago and Virgile Prevosto committed 5 years ago
  
  9c8140ef
Sep 25, 2019
- [wp] use ./.frama-c/wp for cache & scripts · e0f05ad5
  Loïc Correnson authored 5 years ago
  
  e0f05ad5
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 11, 2019
- [WP] Remove "-wp-depth" option and related code · b7b7653d
  Allan Blanchard authored 5 years ago
  
  b7b7653d
- [WP] -wp-extensional now defaults to true · 1aa50b90
  Allan Blanchard authored 5 years ago
  
  1aa50b90
- [WP] Rename -wp-init-alias -> -wp-alias-init (and corresponding module) · 5f523540
  Allan Blanchard authored 5 years ago
  
  5f523540
Sep 10, 2019
- [wp/cache] introducing cache management · d686dc7b
  Loïc Correnson authored 5 years ago
  
  d686dc7b
Aug 26, 2019
- [wp] remove internal qed checks · 428c034b
  Loïc Correnson authored 5 years ago
  
  only for e-imply and largely trivials
  428c034b
Aug 20, 2019
- [wp/region] upgrading region analysis to potassium · 00851292
  Loïc Correnson authored 5 years ago
  
  00851292
Jul 05, 2019
- use why3 api · 310b7c9e
  François Bobot authored 5 years ago
  
  310b7c9e
Apr 26, 2019
- [wp] no more support for -wp-no-bool-range · 8a3a7331
  Loïc Correnson authored 5 years ago
  
  8a3a7331
Mar 27, 2019

Remove option -wp-assert-check-only · ebdcacd3

Thibault Martin authored 5 years ago

Since commit #8783731f and #28139960 this option is not needed anymore.
I updated LUncov (which was the only plugin using it) to remove it as well

ebdcacd3

Feb 05, 2019
- Merge branch 'feature/server/plugin' of git.frama-c.com:frama-c/frama-c into feature/server/plugin · 4bf2c145
  Loïc Correnson authored 6 years ago
  
  4bf2c145
Jan 21, 2019
- [Headers] upgrade distributed files · 45f9b04a
  Loïc Correnson authored 6 years ago
  
  (blind make headers from specifications)
  45f9b04a
Jan 14, 2019
- [wp] linting files · 88886e5f
  Loïc Correnson authored 6 years ago
  
  88886e5f
Dec 12, 2018
- [Kernel] add accessors for retrieving major/minor version number · 8c810173
  Andre Maroneze authored 6 years ago
  
  8c810173
Dec 04, 2018
- [Tests] attempt to avoid non-deterministic issue with CI · 4ff7e39a
  Andre Maroneze authored 6 years ago
  
  4ff7e39a
Dec 03, 2018
- [Ival] more precise binary bitwise operators · af6b48cc
  Valentin Perrelle authored 6 years ago
  
  - Fix Value/Value#5 - Fix Value/Value#14
  af6b48cc