- More todo.

This commit is contained in:
ccremers 2004-09-01 19:11:06 +00:00
parent 78e68f3c17
commit 8570465e48

View File

@ -1,3 +1,5 @@
- Rewrite for untrusted roles, redesign this.
- Add switch for arachne to prune encryption levels when using -m2.
- Rewrite termMguTerm such that it iterates and adapt all functions
using it. This is to allow for associative tupling later.
- valgrind -a; key level scanning memory leaks