Commits · a926c5af9c2cce4de8b91e004caee65ef8133041 · pub / frama-c · GitLab

Snippets Groups Projects

Jan 07, 2022
- [wp] Adds an hypothesis log (warning with key hypothesis) · a926c5af
  Allan Blanchard authored 3 years ago
  
  a926c5af
Nov 05, 2021
- [wp] Removes legacy engine · c9834997
  Allan Blanchard authored 3 years ago
  
  c9834997
Oct 28, 2021
- [wp] Consider that builtins terminate · f68e12f7
  Allan Blanchard authored 3 years ago
  
  f68e12f7
Oct 25, 2021
- [wp] Removed option -wp-overflows · d59130d7
  Allan Blanchard authored 3 years ago
  
  d59130d7
Jun 08, 2021
- [wp] Option for termination in Frama-C libc · 7e87e011
  Allan Blanchard authored 3 years ago
  
  7e87e011
- [wp] Option for default call termination · 8eeaed5d
  Allan Blanchard authored 3 years ago
  
  8eeaed5d
- [wp] Option for terminates in variant hypothesis · 8dd5dee7
  Allan Blanchard authored 3 years ago
  
  8dd5dee7
Jun 01, 2021
- [wp] More assumes in smoke tests · 40fb8823
  Allan Blanchard authored 3 years ago
  
  40fb8823
Feb 16, 2021
- [headers] 2021 headers · 5a58b23c
  Virgile Prevosto authored 4 years ago
  
  5a58b23c
Jan 28, 2021
- [wp] new options -wp-dump and -wp-legacy · c740571b
  Loïc Correnson authored 4 years ago
  
  c740571b
Jan 22, 2021
- [wp] -wp-unfold-assigns depth parameter · e4f74d2c
  Allan Blanchard authored 4 years ago
  
  e4f74d2c
Nov 03, 2020
- [wp] Removed option -wp-bits (now always enabled) · 76a31a83
  Allan Blanchard authored 4 years ago
  
  76a31a83
Oct 13, 2020
- [wp] More coherent option -wp-check-memory-model · 381b38d4
  Allan Blanchard authored 4 years ago
  
  381b38d4
- [wp] Simplifies kfs iteration in WpTarget · 8d584744
  Allan Blanchard authored 4 years ago
  
  8d584744
- [wp] Compute target KFs subset · 3ae49eb0
  Allan Blanchard authored 4 years ago
  
  3ae49eb0
- [wp] Removed unused warning key · ed2de77d
  Allan Blanchard authored 4 years ago
  
  ed2de77d
Oct 12, 2020
- [wp] protected exceptions · 374b2467
  Loïc Correnson authored 4 years ago
  
  374b2467
Oct 06, 2020
- [wp] slight refactoring of command-line run · 7a9c5718
  Loïc Correnson authored 4 years ago
  
  7a9c5718
Sep 22, 2020
- [wp] new option -wp-interactive-timeout · d3492715
  Loïc Correnson authored 4 years ago and Allan Blanchard committed 4 years ago
  
  d3492715
- [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