Skip to content
GitLab
Explore
Sign in
Dan Frumin
ReLoC-v1
Repository
logrel-conc
.gitignore
Find file
Blame
History
Permalink
Separated logical relations from a branch in iris.
· ac3635d2
Amin Timany
authored
Mar 12, 2016
iris is now used as a library now.
ac3635d2