summaryrefslogtreecommitdiff
path: root/lib/automata.py
AgeCommit message (Collapse)AuthorLines
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-2/+16
This drastically increases performance
2019-07-24pylintDaniel Friesel-1/+0
2019-07-22automata: Clarify parameter contents in DFS tracesDaniel Friesel-2/+16
2019-07-22automata: Add set_param support in YAML filesDaniel Friesel-0/+2
2019-03-14automata: Add missing attributes in PTA.from_yamlDaniel Friesel-2/+18
2019-03-13PTA: Support DFS with parameter trackingDaniel Friesel-4/+28
2019-03-05working benchmark generationDaniel Friesel-8/+4
2019-03-05DFA benchmarks: Add missing boilerplate codeDaniel Friesel-1/+6
2019-03-05read instance name from PTA/DFA yaml fileDaniel Friesel-1/+7
2019-03-04generate PTA from YAML model, support several types of test harnessDaniel Friesel-0/+32
2019-03-01PTA.from_json: Only generate AnalyticFunction if it is setDaniel Friesel-2/+3
2019-02-22add ptalog to dfa benchmark generationDaniel Friesel-0/+3
2019-02-21update from_json / to_jsonDaniel Friesel-2/+3
2019-02-21add support for accepting statesDaniel Friesel-1/+8
2019-02-21dfs: always return tuplesDaniel Friesel-2/+2
2019-02-21PTA trace: Return transition objects, not just namesDaniel Friesel-7/+11
2019-02-21PTA: Add argument support in trace generationDaniel Friesel-11/+29
2019-02-21support legacy argument / benchmark test value definitionsDaniel Friesel-3/+10
2019-02-21PTA: Add loader for legacy (dfatool.pl) JSON formatDaniel Friesel-0/+34
2019-02-21automata: .states -> .state (it's a dict)Daniel Friesel-10/+10
2019-02-21automata: Add support for benchmark arguments in DFSDaniel Friesel-10/+26
2019-02-20automata.py: Add documentationDaniel Friesel-4/+119
2019-02-19automata: Add type annotationsDaniel Friesel-77/+80
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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 22:49:21 +0000