Commit b5c5ff91 authored by Robbert Krebbers's avatar Robbert Krebbers

Move one_shot example to examples folder.

parent b962b90e
...@@ -89,10 +89,10 @@ heap_lang/par.v ...@@ -89,10 +89,10 @@ heap_lang/par.v
heap_lang/tests.v heap_lang/tests.v
heap_lang/substitution.v heap_lang/substitution.v
heap_lang/assert.v heap_lang/assert.v
heap_lang/one_shot.v
barrier/barrier.v barrier/barrier.v
barrier/specification.v barrier/specification.v
barrier/protocol.v barrier/protocol.v
barrier/proof.v barrier/proof.v
barrier/client.v barrier/client.v
examples/joining_existentials.v examples/joining_existentials.v
examples/one_shot.v
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment