summaryrefslogtreecommitdiff
path: root/lib/automata.py
AgeCommit message (Expand)AuthorLines
2018-04-24PTA: Use parameter dictionary internallyDaniel Friesel-22/+54
2018-04-23add automata simulation code and parameter supportDaniel Friesel-11/+100
2018-04-19Implement PTA DFS as generatorDaniel Friesel-9/+8
2018-04-19Add simple PTA implementation with DFSDaniel Friesel-0/+45