Skip to content
GitLab
Explore
Sign in
Enrico Tassi
Iris
Repository
iris
examples
one_shot.v
Find file
Blame
History
Permalink
Remove more laters in rules for opening timeless invariants.
· 100c75d6
Robbert Krebbers
authored
Mar 16, 2016
100c75d6