Commit 5b508c95 authored by Ralf Jung's avatar Ralf Jung
Browse files

README: remove reference to old files

parent 6fb34b80
...@@ -74,11 +74,6 @@ Ghost theory for semantic safety of "unsafe" programs: ...@@ -74,11 +74,6 @@ Ghost theory for semantic safety of "unsafe" programs:
- [symbol_ghost.v](exercises/symbol_ghost.v): The ghost theory for the symbol - [symbol_ghost.v](exercises/symbol_ghost.v): The ghost theory for the symbol
ADT example. ADT example.
Other:
- [demo.v](exercises/demo.v): A simplified version of the development to the
simplified case, as shown during the lecture at the POPL'20 tutorial.
## Documentation ## Documentation
The files [proof_mode.md] and [heap_lang.md] in the Iris repository contain a The files [proof_mode.md] and [heap_lang.md] in the Iris repository contain a
......
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