Age | Commit message (Expand) | Author | Lines |
---|---|---|---|
2017-04-13 | allow --trace-filter with trailing $ ("no more transitions after this") | Daniel Friesel | -0/+4 |
2017-04-13 | support heap code to declare global variables used by the benchmark | Daniel Friesel | -0/+9 |
2017-04-11 | lut support | Daniel Friesel | -3/+60 |
2017-04-07 | simplify argfunction handling | Daniel Friesel | -1/+1 |
2017-04-06 | refactoring, no more special treatment for timeout (mostly) | Daniel Friesel | -223/+153 |
2017-04-04 | split up rel_energy inte relative energy to previous state and to next state | Daniel Friesel | -26/+52 |
2017-04-03 | initial commit | Daniel Friesel | -0/+806 |