summaryrefslogtreecommitdiff
path: root/lib/automata.py
AgeCommit message (Expand)AuthorLines
2019-02-18automata: Fix dfsDaniel Friesel-4/+4
2018-05-07Add support for PTA to JSON serializationDaniel Friesel-2/+52
2018-04-26Support compact PTA json with multiple origin states per transitionDaniel Friesel-17/+14
2018-04-26refactor function code into separate file to solve circular importDaniel Friesel-1/+1
2018-04-25PTA: Support unconditional param setters (e.g. initialization functions)Daniel Friesel-5/+15
2018-04-24Support PTA construction from jsonDaniel Friesel-2/+36
2018-04-24Support arg_to_param_map (dict instead of function)Daniel Friesel-3/+4
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