Skip to content
Snippets Groups Projects
Commit 92090a71 authored by Ralf Jung's avatar Ralf Jung
Browse files

remove a todo that we did

parent 0e926762
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 5 deletions
TODO.txt
+ 0
− 5
View file @ 92090a71
Change retag semantics! Don't prove anything about this crazy monster.
Things in the "logical" side of the model that could be made better:
- Free and Retag should be WF!
More speculative: More speculative:
- Can the separate private/local things be better integrated to the notion of a "private location" for the purposes of stating lemmas about them? - Can the separate private/local things be better integrated to the notion of a "private location" for the purposes of stating lemmas about them?
Basically, can "protected" become another state of the tag? How can we make sure a call ID protects nothing when EndCall happens? Basically, can "protected" become another state of the tag? How can we make sure a call ID protects nothing when EndCall happens?
......
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