From a8130f10eef4873164b902344b1737f32ad01f66 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 16 Jun 2004 21:03:12 +0000 Subject: [PATCH] - Some todo stuff. --- src/todo.txt | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/todo.txt b/src/todo.txt index ecad2ea..04c974b 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,5 @@ +- Make filter switch, allowing maybe for some claims only to be evaluated. + --check=Secret, --check-all as default. - Some compiler errors are still sent to stdout. This must be fixed ASAP! because it means people get an invisible error using the scripts. @@ -6,8 +8,6 @@ - Make --with-argtabledir= something switch, replacing README/galious-configure.sh constructs. - Move initial intruder knowledge maybe into the title of the MSC. -- Move time things to stderr instead of latex, does not belong in attack - output. - Implement run knowledge, and use this in protocol compiler. - Timer output is broken for values e.g. above an hour. Fix or remove altogether. @@ -60,7 +60,6 @@ - -m2 is much better with a lot of variables. Compare this to unfolding of the runs with -t4 -m0/1. - Global/protocol variables should not exist in the current system. -- File freopen stuff, instead of this sdtin stuff. - Solve the 'version' issue. How is it defined? - run nsl.initiator(alice, all Agent) constructs? - 'all' would generate the roles with the corresponding type.