Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
..
oracle
shift_lemma.1.res.oracle
Find file
Blame
History
Permalink
[wp] move frame conditions to Type section
· 905c8b40
Loïc Correnson
authored
Feb 20, 2020
Allows for more efficient filtering. Also enhanced frame conditions with typing for globals.
905c8b40