Commits · acbfa65d77723a366d4bfcb930a00fbf4e39d09e · pub / frama-c · GitLab

Snippets Groups Projects

Jun 10, 2020
- [e-acsl] fix GMP's API · acbfa65d
  Julien Signoles authored 4 years ago
  
  acbfa65d
- [e-acsl] fix soundness bug when initializing rationals from integers · c26e1a29
  Julien Signoles authored 4 years ago
  
  c26e1a29
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 15, 2020
- [E-ACSL/Doc] refactor Makefiles of userman/refman · 6d3f12f5
  Andre Maroneze authored 4 years ago
  
  6d3f12f5
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
- [E-ACSL/Doc] Avoid non-ASCII character in manual · 88fabd9f
  Andre Maroneze authored 4 years ago
  
  88fabd9f
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 new author · 669b4859
  Andre Maroneze authored 4 years ago
  
  669b4859
- 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
- [Plugins] fix experimental status of some plugins · 2c2d4580
  Andre Maroneze authored 4 years ago
  
  2c2d4580
- [nix] upgrade to coq 8.11.1 · 7ade3ce7
  Loïc Correnson authored 4 years ago
  
  7ade3ce7
Apr 30, 2020
- [Kernel][Libc] add specifications for some GCC builtins · ed21b716
  Andre Maroneze authored 5 years ago
  
  ed21b716
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
- [Eva] Eval_terms: fixes [predicate_deps]. · dd632da8
  David Bühler authored 4 years ago
  
  Used by the Inout plugin, and then indirectly by Memexec.
  dd632da8
- [Eva] Make memexec also consider logic inputs as input bases. · 046f27f0
  Michele Alberti authored 4 years ago and David Bühler committed 4 years ago
  
  046f27f0
- [InOut] Support logic inputs in assertions and normal loop-invariants. · a6a9ae83
  Michele Alberti authored 4 years ago and David Bühler committed 4 years ago
  
  a6a9ae83
- [Eva] Export Eval_terms functions needed by incoming changes in InOut. · 1b8f0b87
  Michele Alberti authored 4 years ago and David Bühler committed 4 years ago
  
  1b8f0b87
- [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