Skip to content
GitLab
Explore
Sign in
Iris
c
Repository
c
theories
c_translation
translation.v
Find file
Blame
History
Permalink
working on extending vcg_wp on function calls by evaluating the arguments
· 288be712
Léon Gondelman
authored
Jul 01, 2018
288be712