repo.or.cz
/
eleutheria.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Remove whitespace
[eleutheria.git]
/
fsm
/
TODO
blob
fa0b53a6912bcd1927133c7a31c18e63597a5aa9
1
TODO LIST
2
3
* Add self consistency checks
4
* Add locking for synchronization issues
5
* Test case with threads
6
* Add suupport for equivalence testing and minimization
7
( http://www.cag.lcs.mit.edu/6.004/Lectures/lect6/sld013.htm )