Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
2017-04-13 | save voltage(s) in model files | Daniel Friesel | -0/+18 |
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 |
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 |