Compare revisions

fa344cbe · fa344cbe · c285069d · fa344cbe · fa344cbe · fa344cbe
--- a/docs/heap_lang.md
+++ b/docs/heap_lang.md
--- a/docs/ibus
+++ b/docs/ibus
--- a/docs/language.tex
+++ b/docs/language.tex
--- a/docs/proof_guide.md
+++ b/docs/proof_guide.md
--- a/docs/proof_mode.md
+++ b/docs/proof_mode.md
--- a/docs/resource_algebras.md
+++ b/docs/resource_algebras.md
--- a/docs/style_guide.md
+++ b/docs/style_guide.md
--- a/docs/vim_ultisnips
+++ b/docs/vim_ultisnips
--- a/docs/vscode
+++ b/docs/vscode
--- a/dune
+++ b/dune
--- a/dune-project
+++ b/dune-project
+(lang dune 3.8)
+(using coq 0.8)
--- a/heap_lang/adequacy.v
+++ b/heap_lang/adequacy.v
--- a/heap_lang/derived.v
+++ b/heap_lang/derived.v
--- a/heap_lang/heap.v
+++ b/heap_lang/heap.v
--- a/heap_lang/lang.v
+++ b/heap_lang/lang.v
--- a/heap_lang/lib/assert.v
+++ b/heap_lang/lib/assert.v
--- a/heap_lang/lib/barrier/barrier.v
+++ b/heap_lang/lib/barrier/barrier.v
--- a/heap_lang/lib/barrier/proof.v
+++ b/heap_lang/lib/barrier/proof.v
--- a/heap_lang/lib/barrier/protocol.v
+++ b/heap_lang/lib/barrier/protocol.v
--- a/heap_lang/lib/barrier/specification.v
+++ b/heap_lang/lib/barrier/specification.v
No results found