andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Added some new thoughts, cleaned up old ones.

Browse Source
This commit is contained in:
ccremers 2005-12-28 22:52:22 +00:00
parent d21f292330
commit efb3ec232b
1 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/todo.txt
View File

@ -1,15 +1,7 @@
- Cleanup claim output: merge stuff into single claim triplets, maybe - Add SCYTHERDIR environment variable: colon-separated list of
sanitize some of the output for claims to be more 'to the point' directories to search for input files.
- 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.
- SConstruct file should check whether ctags actually exists (avoiding - SConstruct file should check whether ctags actually exists (avoiding
errors) errors)
- Proof output should be XML, with an external converter to dot format. - 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 - Internal hash over input files (maybe after parsing?) and switch
structure. This would make a caching mechanism much easier. structure. This would make a caching mechanism much easier.