Skip to content
GitLab
Explore
Sign in
Iris
examples
Repository
examples
theories
logatom
rdcss
rdcss.v
Find file
Blame
History
Permalink
Changed ghost location from location to prophecy variable
· 3f290bac
Gaurav Parthasarathy
authored
Jul 08, 2019
and
Ralf Jung
committed
Jul 08, 2019
3f290bac