Age | Commit message (Expand) | Author | Lines |
2019-07-26 | harness/pta-bench: Add initial support for logging of return values | Daniel Friesel | -2/+9 |
2019-07-26 | support '$' as trace filter terminator | Daniel Friesel | -1/+4 |
2019-07-26 | add parameter normalization support to YAML DFA models | Daniel Friesel | -1/+4 |
2019-07-25 | PTA: Add support for parameter normalization during code generation | Daniel Friesel | -2/+19 |
2019-07-25 | Move trace filter from postprocessing to automata module | Daniel Friesel | -2/+16 |
2019-07-24 | pylint | Daniel Friesel | -1/+0 |
2019-07-22 | automata: Clarify parameter contents in DFS traces | Daniel Friesel | -2/+16 |
2019-07-22 | automata: Add set_param support in YAML files | Daniel Friesel | -0/+2 |
2019-03-14 | automata: Add missing attributes in PTA.from_yaml | Daniel Friesel | -2/+18 |
2019-03-13 | PTA: Support DFS with parameter tracking | Daniel Friesel | -4/+28 |
2019-03-05 | working benchmark generation | Daniel Friesel | -8/+4 |
2019-03-05 | DFA benchmarks: Add missing boilerplate code | Daniel Friesel | -1/+6 |
2019-03-05 | read instance name from PTA/DFA yaml file | Daniel Friesel | -1/+7 |
2019-03-04 | generate PTA from YAML model, support several types of test harness | Daniel Friesel | -0/+32 |
2019-03-01 | PTA.from_json: Only generate AnalyticFunction if it is set | Daniel Friesel | -2/+3 |
2019-02-22 | add ptalog to dfa benchmark generation | Daniel Friesel | -0/+3 |
2019-02-21 | update from_json / to_json | Daniel Friesel | -2/+3 |
2019-02-21 | add support for accepting states | Daniel Friesel | -1/+8 |
2019-02-21 | dfs: always return tuples | Daniel Friesel | -2/+2 |
2019-02-21 | PTA trace: Return transition objects, not just names | Daniel Friesel | -7/+11 |
2019-02-21 | PTA: Add argument support in trace generation | Daniel Friesel | -11/+29 |
2019-02-21 | support legacy argument / benchmark test value definitions | Daniel Friesel | -3/+10 |
2019-02-21 | PTA: Add loader for legacy (dfatool.pl) JSON format | Daniel Friesel | -0/+34 |
2019-02-21 | automata: .states -> .state (it's a dict) | Daniel Friesel | -10/+10 |
2019-02-21 | automata: Add support for benchmark arguments in DFS | Daniel Friesel | -10/+26 |
2019-02-20 | automata.py: Add documentation | Daniel Friesel | -4/+119 |
2019-02-19 | automata: Add type annotations | Daniel Friesel | -77/+80 |
2019-02-18 | automata: Fix dfs | Daniel Friesel | -4/+4 |
2018-05-07 | Add support for PTA to JSON serialization | Daniel Friesel | -2/+52 |
2018-04-26 | Support compact PTA json with multiple origin states per transition | Daniel Friesel | -17/+14 |
2018-04-26 | refactor function code into separate file to solve circular import | Daniel Friesel | -1/+1 |
2018-04-25 | PTA: Support unconditional param setters (e.g. initialization functions) | Daniel Friesel | -5/+15 |
2018-04-24 | Support PTA construction from json | Daniel Friesel | -2/+36 |
2018-04-24 | Support arg_to_param_map (dict instead of function) | Daniel Friesel | -3/+4 |
2018-04-24 | PTA: Use parameter dictionary internally | Daniel Friesel | -22/+54 |
2018-04-23 | add automata simulation code and parameter support | Daniel Friesel | -11/+100 |
2018-04-19 | Implement PTA DFS as generator | Daniel Friesel | -9/+8 |
2018-04-19 | Add simple PTA implementation with DFS | Daniel Friesel | -0/+45 |