Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
iris
theories
tests
proofmode_monpred.v
Find file
Blame
History
Permalink
Attempt at fixing #146 definitively by having better types for update properties.
· d51217e4
Jacques-Henri Jourdan
authored
Feb 14, 2018
Assertions should have type sbi_car PROP and not bi_car (sbi_bi PROP).
d51217e4