Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
heap_lang
lifting.v
Find file
Blame
History
Permalink
New notation for Texan triple postconditions: Use 'RET' as keyword to indicate the return value
· e354bede
Ralf Jung
authored
Nov 01, 2016
This should make theme asier to parse, "{{{ v, v; l |-> v }}}" looks rather funny.
e354bede