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

- Added todos.

Browse Source
This commit is contained in:
ccremers 2004-07-12 09:26:25 +00:00
parent ab72755bf5
commit ac4efcd63a
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/todo.txt
View File

@ -1,3 +1,8 @@
- Fix constants in intruder knowledge. Auto add single one of each type,
when typed expl. Add single constant when untyped. Fix this also in
semantics, and add proof to establish sufficiency.
- Fix function handling (signatures).
- Make state space output using dot package.
- Intruder should at least have one copy of each type that an agent can - Intruder should at least have one copy of each type that an agent can
construct, I think in any case. Proof needed for single identifier need. construct, I think in any case. Proof needed for single identifier need.
Furthermore reduction if type flaw testing; only one constant needed. Furthermore reduction if type flaw testing; only one constant needed.