From efb3ec232be0baf80bf0e52cec728d273689597f Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 28 Dec 2005 22:52:22 +0000 Subject: [PATCH] - Added some new thoughts, cleaned up old ones. --- src/todo.txt | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/src/todo.txt b/src/todo.txt index a762e46..9ce82d9 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,15 +1,7 @@ -- Cleanup claim output: merge stuff into single claim triplets, maybe - sanitize some of the output for claims to be more 'to the point' -- Add something like 'remove all claims' switch and corresponding - 'add default claims' -- Add something of a 'history list of bound goals', through the arachne - engine. Then, put a limit on the amount of times some goal occurs: the - goal selection might ignore that goal then, for further selection. -- Maybe it helps to fix the agents of the claim run (i.e. all different - agents?, this restricts the attacks somewhat), make a switch for this. +- Add SCYTHERDIR environment variable: colon-separated list of + directories to search for input files. - SConstruct file should check whether ctags actually exists (avoiding errors) - Proof output should be XML, with an external converter to dot format. -- States XML output, with limiter (for explanations/analysis) - Internal hash over input files (maybe after parsing?) and switch structure. This would make a caching mechanism much easier.