From 6c2730af1a25ae3df5afd30dd7460da2e06dcb01 Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 27 Aug 2004 19:29:41 +0000 Subject: [PATCH] - Added some todo stuff. --- src/todo.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index eb271ad..ef349eb 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,9 @@ +- Maybe a singular, preset M_0 sending node. Test for performance issues. +- Create dot output for arachne attacks +- To store attacks for arachne, maybe the following is needed: + - The roles for each run + - The variable bindings for all (local) variables + - The goal bindings - Agent terms must have keylevel 0; enforce this! - './scyther -a ../spdl/nsl3.spdl --increment-runs' segfaults. - Select_goal should consider, for singular variables, whether their