From 795f28006d3ee135d2fd2823f8ef024c71cf43d4 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 14 Oct 2004 20:49:49 +0000 Subject: [PATCH] - Added some thoughts. --- src/todo.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index efa5928..908e2d1 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -6,6 +6,9 @@ maybe that heuristic works. However, there seems to be an infinite loop for this in the algorithm, which I did not anticipate. Investigate! + *** Maybe self-loops are the problem. This has to do with tuple alternation + decoding. Consider re-introducing explicit intruder strands OR self-loop + pruning. - Make different error codes for compilation error/ other error. This can be useful for scripts. However, it might shift some constants for the Elegast scripts.