Commits · c6bf67b9aff1a497df593de9dd7f2c59e248180e · pub / frama-c · GitLab

Snippets Groups Projects

Aug 04, 2020
- [wp] Add a comment for Term context zones · c6bf67b9
  Allan Blanchard authored 4 years ago
  
  View commits for tag thales-dis/2020-08-06 thales-dis/2020-08-06
  
  c6bf67b9
Jul 22, 2020
- [wp] Hypotheses: fixes assigned via pointer · 21d188a3
  Allan Blanchard authored 4 years ago
  
  21d188a3
Jul 21, 2020
- [wp] Collect assigns separation hypotheses · 4b63afc5
  Allan Blanchard authored 4 years ago
  
  4b63afc5
- [wp] Moves VarUsage hypotheses computation to MemVar · 0e6c98ac
  Allan Blanchard authored 4 years ago
  
  0e6c98ac
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/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
Jun 17, 2020
- [wp] Fixes frame lemmas generation · b486f707
  Allan Blanchard authored 4 years ago
  
  b486f707
Jun 02, 2020
- [wp] Enables more tests for Chunks typing · bdd7c6a5
  Allan Blanchard authored 4 years ago
  
  bdd7c6a5
- [wp] Format test files for chunk types · dae26b84
  Allan Blanchard authored 4 years ago
  
  dae26b84
May 29, 2020
- [wp] Fix a bug with int chunks ranks + add a test · 0d76acb2
  Allan Blanchard authored 4 years ago
  
  0d76acb2
- [wp] Tests that chunk constraints are added and usable · f948e96e
  Allan Blanchard authored 4 years ago
  
  f948e96e
- [wp][config] don't check why3 version if why3 not installed · 00184197
  Virgile Prevosto authored 4 years ago
  
  00184197
- [wp] fix plugin_check_dependencies · 7b52e77f
  Loïc Correnson authored 4 years ago
  
  7b52e77f
- [configure] disable wp with ocamlfind · 1a4814b9
  Loïc Correnson authored 4 years ago
  
  1a4814b9
- [wp] Update configure.ac · 136bd977
  Loïc Correnson authored 4 years ago and Loïc Correnson committed 4 years ago
  
  136bd977
May 28, 2020
- [wp][config] check presence of why3 _before_ checking its version number · 5c19e4f1
  Virgile Prevosto authored 4 years ago
  
  it's more logical that way.
  5c19e4f1
- [wp] fix why3 configuration issues · 29b8ec23
  Loïc Correnson authored 4 years ago
  
  29b8ec23
- [wp] Adds type constraints on memory chunks when RTE is on · 0f0423e1
  Allan Blanchard authored 4 years ago
  
  0f0423e1
May 14, 2020
- [wp] Use Extlib.mkdir for session directory · e1e97e47
  Allan Blanchard authored 4 years ago
  
  e1e97e47
May 13, 2020
- [configure] check and enforce why3 version · 0f83d318
  Andre Maroneze authored 4 years ago
  
  0f83d318
May 12, 2020
- [wp] Visit each definition with a fresh set of visited terms · bc44516d
  Allan Blanchard authored 4 years ago
  
  Fixes BTS 2501
  bc44516d
May 11, 2020
- [wp] introduce weak int model for lemmas · 379e0af8
  Loïc Correnson authored 4 years ago
  
  379e0af8
- [wp] cache & script update · 5a119396
  Loïc Correnson authored 4 years ago
  
  5a119396
- [wp] update cache · 0cc09ac9
  Loïc Correnson authored 4 years ago
  
  0cc09ac9
- [wp] fix some issues with Alt-Ergo · c5abda21
  Loïc Correnson authored 4 years ago
  
  c5abda21
- [wp] fix oracles wrt to upgraded float driver · 0f324bf5
  Loïc Correnson authored 4 years ago
  
  0f324bf5
May 07, 2020
- add changelog entries for 21.0 (Scandium) · d795e9fd
  Andre Maroneze authored 4 years ago
  
  d795e9fd
- [WP][E-ACSL] Normalize Changelogs · bbe7038f
  Andre Maroneze authored 4 years ago
  
  bbe7038f
- [nix] upgrade to coq 8.11.1 · 7ade3ce7
  Loïc Correnson authored 4 years ago
  
  7ade3ce7
Apr 27, 2020
- [wp] Use Filepath instead of mere strings. · f6675139
  Michele Alberti authored 4 years ago
  
  f6675139
- Review the usage of mode. · e74ac27b
  Michele Alberti authored 4 years ago
  
  e74ac27b
Apr 22, 2020
- [kernel] Rework Specific_dir API. · 9cfa3429
  Michele Alberti authored 4 years ago
  
  9cfa3429
Apr 10, 2020
- [wp] cache updates · 0a58a02a
  Loïc Correnson authored 4 years ago
  
  0a58a02a
- [wp] changelog since calcium · 04ba2fe5
  Loïc Correnson authored 4 years ago
  
  04ba2fe5
- [wp] extended smoke tests · d37b9837
  Loïc Correnson authored 4 years ago
  
  d37b9837
- [lib] improved dotgraph API · 8185a987
  Loïc Correnson authored 4 years ago
  
  8185a987
- [wp] removed -wp-check option · 6099010a
  Loïc Correnson authored 4 years ago
  
  6099010a