summaryrefslogtreecommitdiff
path: root/lib/Kratos
AgeCommit message (Expand)AuthorLines
2017-04-13save voltage(s) in model filesDaniel Friesel-0/+18
2017-04-13allow --trace-filter with trailing $ ("no more transitions after this")Daniel Friesel-0/+4
2017-04-13Kill MIMOSA upon mismatch exitDaniel Friesel-0/+2
2017-04-13support heap code to declare global variables used by the benchmarkDaniel Friesel-0/+14
2017-04-11lut supportDaniel Friesel-3/+66
2017-04-07simplify argfunction handlingDaniel Friesel-85/+23
2017-04-06refactoring, no more special treatment for timeout (mostly)Daniel Friesel-231/+163
2017-04-06define, optimize, assess and plot arg-dependent functionsDaniel Friesel-3/+55
2017-04-05DFADriver: update_model: Sort keys for easier comparison of outputsDaniel Friesel-4/+4
2017-04-05start work on argument-based function supportDaniel Friesel-2/+45
2017-04-04split up rel_energy inte relative energy to previous state and to next stateDaniel Friesel-39/+77
2017-04-03initial commitDaniel Friesel-0/+2140