summaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)AuthorLines
2019-09-11PTA: Support sleep pseudo-transitions in DFSDaniel Friesel-17/+38
2019-09-11PTA: Use "None" transition for sleepDaniel Friesel-3/+17
2019-09-11generate-dfa-benchmark: Do not harcode codegen methodDaniel Friesel-2/+14
2019-09-09add more static accounting methodsDaniel Friesel-5/+118
2019-09-09optionally also analyze mean transition powerDaniel Friesel-0/+2
2019-09-06Add static state-only online accounting with immediate energy calculationDaniel Friesel-1/+36
2019-09-06automata: Supprt setting random energy model for benchmarksDaniel Friesel-0/+12
2019-09-02Add basic auto-generated energy accounting code for online model evalDaniel Friesel-11/+130
2019-08-30codegen: add minimal support for overloaded functionsDaniel Friesel-4/+4
2019-08-30add codegen MVP for online model overhead analysisDaniel Friesel-1/+81
2019-08-30Add python module for AspectC++ repo.acpDaniel Friesel-0/+99
2019-08-16documentationDaniel Friesel-23/+46
2019-08-16prune_dependent_parameters: do not calculate bogus corrcoef valuesDaniel Friesel-9/+11
2019-08-16Add function override support to AnalyticModel, analyze-timing.pyDaniel Friesel-10/+25
2019-08-16optionally prune dependent parameters before analysisDaniel Friesel-1/+68
2019-08-15Fix generate-dfa-benchmark leaving out benchmark parts when splitting runsDaniel Friesel-3/+24
2019-08-14harness: remove debug outputDaniel Friesel-3/+0
2019-08-14add support for a posteriori parameters (e.g. TX success / retry count)Daniel Friesel-9/+45
2019-08-14functions, utils: pydocstyleDaniel Friesel-46/+38
2019-08-13_try_fits: Do not throw away previous raw_results while iterating over parame...Daniel Friesel-2/+3
2019-08-13get_fit_result: Fix debug outputDaniel Friesel-5/+6
2019-08-13functions: documentation (WiP)Daniel Friesel-19/+17
2019-08-13refactor paramfit.results handling into separate helper functionDaniel Friesel-30/+29
2019-08-13_try_fits: Also return individual results for each parameter combinationDaniel Friesel-20/+49
2019-08-13Improve _try_fits performance and fairnessDaniel Friesel-25/+20
2019-08-13_try_fits: documentation, minimal refactoring, note a possible bugDaniel Friesel-11/+60
2019-07-26harness/pta-bench: Add initial support for logging of return valuesDaniel Friesel-8/+36
2019-07-26support '$' as trace filter terminatorDaniel Friesel-1/+4
2019-07-26add parameter normalization support to YAML DFA modelsDaniel Friesel-1/+16
2019-07-25PTA: Add support for parameter normalization during code generationDaniel Friesel-2/+19
2019-07-25lintDaniel Friesel-0/+3
2019-07-25AnalyticModel: Add missing param_name / param_index functionsDaniel Friesel-0/+10
2019-07-25some documentationDaniel Friesel-7/+60
2019-07-25Move trace filter from postprocessing to automata moduleDaniel Friesel-2/+16
2019-07-25analyze-timing: add function argument supportDaniel Friesel-3/+36
2019-07-24add timing analysis scriptDaniel Friesel-0/+3
2019-07-24pylintDaniel Friesel-57/+4
2019-07-24Improve debuggingDaniel Friesel-2/+6
2019-07-24add TimingData class for measurements generated with TimingHarnessDaniel Friesel-2/+86
2019-07-24Revert "dfatool: temporarily enable state energy analysis"Daniel Friesel-5/+2
2019-07-22implement autogeneration and data aggregation of timing benchmarksDaniel Friesel-21/+141
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-07-19generate-dfa-benchmark: Add trace filterDaniel Friesel-7/+18
2019-07-16Protolog: Handle NaN in cycles_encDaniel Friesel-0/+12
2019-07-10protocol benchmarks: mpack: correctly use expect APIDaniel Friesel-3/+3
2019-07-05runner: Run make clean before rebuildingDaniel Friesel-0/+6
2019-06-28protocol_benchmarks: switch to OS-decoupled XDR implementationDaniel Friesel-30/+32
2019-06-27protocol_benchmarks/xdr16: use uint16 for int listsDaniel Friesel-3/+3
2019-06-26protocol_benchmarks: Add XDR16, remove XDR ersion headerDaniel Friesel-3/+122
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 02:29:32 +0000