Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
modures
base.v
Find file
Blame
History
Permalink
Fix scopes for if then else to also work with sumbool.
· 1fb71585
Robbert Krebbers
authored
Jan 22, 2016
1fb71585