Commit message (Expand) | Author | Files | Lines | |
---|---|---|---|---|
2014-12-11 | some small fixes | Mattias Andrée | 1 | -12/+12 |
2014-12-11 | m | Mattias Andrée | 2 | -0/+14 |
2014-12-11 | mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loop | Mattias Andrée | 3 | -4/+74 |
2014-12-11 | define help-functions inside assumption-clauses | Mattias Andrée | 4 | -0/+33 |
2014-12-11 | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 3 | -33/+84 |
2014-12-11 | m | Mattias Andrée | 1 | -0/+0 |