Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | misc + update e-mailHEADmaster | Mattias Andrée | 2024-10-05 | 1 | -1/+1 |
* | Work on changing style | Mattias Andrée | 2017-11-05 | 1 | -262/+252 |
* | Update year and e-mail address | Mattias Andrée | 2017-11-05 | 1 | -1/+1 |
* | Bump year | Mattias Andrée | 2016-07-09 | 1 | -1/+1 |
* | bump year | Mattias Andrée | 2015-02-13 | 1 | -1/+1 |
* | m | Mattias Andrée | 2014-12-11 | 1 | -0/+1 |
* | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 2014-12-11 | 1 | -33/+40 |
* | with a few exceptions and some remaining files, never return directly on failure, always goto fail by invoking fail_if | Mattias Andrée | 2014-12-08 | 1 | -16/+25 |
* | rename pfail to fail | Mattias Andrée | 2014-12-08 | 1 | -11/+11 |
* | mds-kbdc: split out and dedup include stack | Mattias Andrée | 2014-12-02 | 1 | -102/+12 |
* | whitespace | Mattias Andrée | 2014-12-01 | 1 | -1/+0 |
* | mds-kbdc: m | Mattias Andrée | 2014-12-01 | 1 | -50/+50 |
* | mds-kbdc: m + more test cases | Mattias Andrée | 2014-12-01 | 1 | -23/+10 |
* | mds-kbdc: add some test cases + fix issued with inclusion | Mattias Andrée | 2014-12-01 | 1 | -1/+31 |
* | m | Mattias Andrée | 2014-12-01 | 1 | -2/+2 |
* | mds-kbdc: we cannot at the validation level determine if a value-statment is a set-statement, therefore, we do not validate value-statements yet | Mattias Andrée | 2014-12-01 | 1 | -8/+8 |
* | whitespace | Mattias Andrée | 2014-12-01 | 1 | -12/+12 |
* | mds-kbdc: more validation | Mattias Andrée | 2014-12-01 | 1 | -6/+44 |
* | m | Mattias Andrée | 2014-12-01 | 1 | -1/+1 |
* | mds-kbdc: most of the structure validation | Mattias Andrée | 2014-12-01 | 1 | -0/+548 |