- Oct 14, 2020
-
-
Basile Desloges authored -
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
Basile Desloges authored
-
- Oct 13, 2020
-
-
Allan Blanchard authored[wp] robustify script engine See merge request frama-c/frama-c!2888
-
David Bühler authored
[Libc] add specs for sendto and recvfrom See merge request frama-c/frama-c!2872
-
-
Julien Signoles authored[eacsl] Fix debug compilation See merge request frama-c/frama-c!2893
-
Virgile Prevosto authored
[annotations] iter/fold_assigns filter out spurious WriteAnys See merge request frama-c/frama-c!2884
-
-
Basile Desloges authored
-
Basile Desloges authored
-
Allan Blanchard authored
Resolve "[wp] Corner cases with bitwise mask" Closes #963 See merge request frama-c/frama-c!2877
-
Virgile Prevosto authored
-
Virgile Prevosto authored
Metavariables in Aorai See merge request frama-c/frama-c!2098
-
François Bobot authored
Resolve "[nix] missing package zmq" Closes #851 See merge request frama-c/frama-c!2889
-
Allan Blanchard authored
[Ptests] show EXECNOW command when -show is set See merge request frama-c/frama-c!2891
-
Virgile Prevosto authored
-
- Oct 12, 2020
-
-
Andre Maroneze authored
-
Valentin Perrelle authored
-
Loïc Correnson authored -
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Loïc Correnson authored
-
Valentin Perrelle authored
-
Virgile Prevosto authored
Actions are sequential, which means that `$x=foo; $y = $x;` must be specified as `ensures aorai_y == aorai_x;`, not `\old(aorai_x)`.
-
Virgile Prevosto authored
-
Virgile Prevosto authored
-
