Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile
Find file
Blame
History
Permalink
[Eva] New module type Abstractions.Eva: all abstractions and the evaluator.
· 5b1e64e8
David Bühler
authored
Mar 28, 2019
This module type simplifies the signature of functors using evaluation functions.
5b1e64e8