From d73351ace7c1a96812b8e108645480894193d162 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 18 Aug 2004 21:44:30 +0000 Subject: [PATCH] - Added a good idea for the output. --- src/todo.txt | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index 4d2bb4d..8f64c8e 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,10 @@ +- If there is a limit on the runs for Arachne, but this limit is never + reached, the proof is still complete. The same goes for other bounds. We + thus need a flag to indicate that a state was pruned because of a bound. + Then, we get more possible results for the output. + 1. Correct and complete + 2. Correct within bounds + 3. Incorrect - 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).