Permalink
Browse files

Minor

  • Loading branch information...
1 parent edf45f0 commit a33453a7b83d3a2de424b223b5e35f58dea1b55f @mwolf76 committed Jan 2, 2013
Showing with 16 additions and 1 deletion.
  1. +1 −1 AUTHORS
  2. +15 −0 TODO
View
@@ -1 +1 @@
-Marco Pensallorto < marco DOT pensallorto AT gmail DOT com >
+Marco Pensallorto (a.k.a. Markus Wolf) < marco DOT pensallorto AT gmail DOT com >
View
15 TODO
@@ -0,0 +1,15 @@
+TODO
+====
+
+TESTING
+ . Arrays
+ . Suite of models for integration testing
+
+IMPLEMENTATION
+ . Single-cut and Multi-cut CNF algorithms (urgent)
+ . Implement and test dot-notation resolution
+ . Witness mgr
+
+REFACTORING
+ . Remove support for LTL and CTL
+ . Proper error management (i.e. exceptions instead of assertions)

0 comments on commit a33453a

Please sign in to comment.