| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2017-04-13 | allow --trace-filter with trailing $ ("no more transitions after this") | Daniel Friesel | -0/+4 | |
| 2017-04-13 | Kill MIMOSA upon mismatch exit | Daniel Friesel | -0/+2 | |
| 2017-04-13 | support heap code to declare global variables used by the benchmark | Daniel Friesel | -0/+14 | |
| 2017-04-11 | lut support | Daniel Friesel | -3/+66 | |
| 2017-04-07 | simplify argfunction handling | Daniel Friesel | -85/+23 | |
| 2017-04-06 | refactoring, no more special treatment for timeout (mostly) | Daniel Friesel | -231/+163 | |
| 2017-04-06 | define, optimize, assess and plot arg-dependent functions | Daniel Friesel | -3/+55 | |
| 2017-04-05 | DFADriver: update_model: Sort keys for easier comparison of outputs | Daniel Friesel | -4/+4 | |
| 2017-04-05 | start work on argument-based function support | Daniel Friesel | -2/+45 | |
| needs some refactoring before continuing | ||||
| 2017-04-04 | split up rel_energy inte relative energy to previous state and to next state | Daniel Friesel | -39/+77 | |
| 2017-04-03 | initial commit | Daniel Friesel | -0/+2140 | |
 |
index : dfatool | |
| Performance Model Generation for Configurable System Components | derf |
| summaryrefslogtreecommitdiff |