Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris_heap_lang
primitive_laws.v
Find file
Blame
History
Permalink
Added capability for stripping multiple laters per step in HeapLang
· dd53c9a9
Jonas Kastberg
authored
Apr 10, 2022
and
Robbert Krebbers
committed
Apr 10, 2022
dd53c9a9