Skip to content
GitLab
Explore
Sign in
Dmitry Khalanskiy
Iris
Repository
iris
tests
atomic.ref
Find file
Blame
History
Permalink
adjust atomic test for more Coq compatibility
· 97b83157
Ralf Jung
authored
Jan 09, 2020
97b83157