From cbe6307e8ac68bfc58d251b230ae4331846e4980 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 7 Aug 2006 18:10:05 +0000 Subject: [PATCH] - New todo priority. --- src/todo.txt | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/src/todo.txt b/src/todo.txt index 46ccc77..c1bf4d5 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,9 @@ +- Add --filter-claim and --filter-label switches; parse as symbols, and + turn into (global?) terms, add to switches termlists. Later check them + using two new term functions: + const char *termSymbolString(Term t); + int termSymbolEqual(Term t1, Term t2); + Iteration through the termlist should be done by hand. - --check is slightly f***ed up because there is no good semantics for the --disable intruder check. As a result, it is now too strict can cause correct protocols to fail. Fix. @@ -33,14 +39,6 @@ Now that I think of it; XML should be a plain state probably, and we could add a switch to also output more detailed attack things (is that relevant?) -- Add --filter-claim and --filter-label switches; parse as symbols, and - turn into (global?) terms, add to switches termlists. Later check them - using two new term functions: - const char *termSymbolString(Term t); - int termSymbolEqual(Term t1, Term t2); - Iteration through the termlist should be done by hand. -- Maybe add warning for type of matching in the output, maybe stderr. - Maybe all state-space bounding info should be displayed. - SConstruct file should check whether ctags actually exists (avoiding errors) - Proof output should be XML, with an external converter to dot format.