Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
vcgen
vcgen.v
Find file
Blame
History
Permalink
Specifications for `vcg_eval_dexpr`.
· 062b5533
Dan Frumin
authored
Jul 10, 2018
- Well-formedness and correctness for `vcg_eval_dexpr` - Get rid of admits in vcgen
062b5533