From b1259e4b03008216f476937bc72683c1c7f9f11c Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 18 Aug 2004 20:13:13 +0000 Subject: [PATCH] - Updated todo list. --- src/todo.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/todo.txt b/src/todo.txt index 592ac73..4d2bb4d 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,4 @@ +- Fix term encryption level pruning for arachne, depending on the match type. - Constraint logic now also has no checks for when a run is done by the intruder (which should be excluded). - Fix constants in intruder knowledge. Auto add single one of each type,