Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
Expressions.v
Find file
Blame
History
Permalink
Fix flaw in evaluation semantics, that would allow perturbed evaluations to ignore the precondition
· 103c2686
Heiko Becker
authored
Jan 06, 2017
103c2686