Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | typo | Mattias Andrée | 2015-04-07 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | typo | Mattias Andrée | 2015-04-07 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | update todo | Mattias Andrée | 2015-04-07 | 1 | -0/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2015-04-06 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | some work on the compose table | Mattias Andrée | 2015-04-06 | 1 | -4/+102 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | update todo | Mattias Andrée | 2015-04-06 | 1 | -0/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m makefile | Mattias Andrée | 2015-04-06 | 1 | -9/+9 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | update todo | Mattias Andrée | 2015-04-04 | 1 | -1/+4 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | new server: mds-ratbarrier | Mattias Andrée | 2015-04-04 | 2 | -0/+17 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m compose table | Mattias Andrée | 2015-03-12 | 1 | -1/+14 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | add parts of latin extended-b | Mattias Andrée | 2015-02-13 | 1 | -2/+209 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | bump year | Mattias Andrée | 2015-02-13 | 112 | -111/+128 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2015-01-03 | 1 | -2/+4 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | tabulation | Mattias Andrée | 2014-12-13 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: more test cases | Mattias Andrée | 2014-12-13 | 7 | -0/+50 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: dump call-stack | Mattias Andrée | 2014-12-13 | 3 | -3/+57 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: use the call-stack | Mattias Andrée | 2014-12-13 | 1 | -3/+16 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: call-stack: push and pop functions | Mattias Andrée | 2014-12-13 | 2 | -1/+128 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-13 | 1 | -2/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: beginning on call-stacks | Mattias Andrée | 2014-12-12 | 4 | -4/+99 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-12 | 2 | -4/+4 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | typo | Mattias Andrée | 2014-12-11 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | typo | Mattias Andrée | 2014-12-11 | 1 | -2/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-11 | 1 | -3/+3 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | use atoz and not atoll when parsing integers to size_t | Mattias Andrée | 2014-12-11 | 1 | -3/+3 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m + fix errors in layout files | Mattias Andrée | 2014-12-11 | 5 | -8/+21 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | whitespace | Mattias Andrée | 2014-12-11 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: minor bug fixes | Mattias Andrée | 2014-12-11 | 2 | -3/+4 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | some small fixes | Mattias Andrée | 2014-12-11 | 2 | -13/+13 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-11 | 2 | -0/+14 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loop | Mattias Andrée | 2014-12-11 | 3 | -4/+74 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | define help-functions inside assumption-clauses | Mattias Andrée | 2014-12-11 | 4 | -0/+33 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: validate-tree: you can define functions and macros inside assumption-clauses | Mattias Andrée | 2014-12-11 | 3 | -33/+84 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-11 | 1 | -0/+0 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: validate-tree: add test case: assumption inside assumption | Mattias Andrée | 2014-12-11 | 1 | -0/+19 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | add test for multiple assumption-clauses | Mattias Andrée | 2014-12-11 | 1 | -0/+26 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-11 | 1 | -1/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m | Mattias Andrée | 2014-12-10 | 1 | -1/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | m simplification | Mattias Andrée | 2014-12-10 | 1 | -3/+3 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: fix memory exhaustion bug | Mattias Andrée | 2014-12-10 | 1 | -0/+1 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | make it easier to track memory allocations | Mattias Andrée | 2014-12-10 | 1 | -3/+101 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: fix sideeffect tracking | Mattias Andrée | 2014-12-10 | 2 | -1/+16 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: m bug fix + more test cases | Mattias Andrée | 2014-12-10 | 4 | -3/+18 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: test return | Mattias Andrée | 2014-12-10 | 2 | -1/+25 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | add xmemdup macro | Mattias Andrée | 2014-12-10 | 17 | -92/+63 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | no more direct allocations, always use macros, unless using alloca | Mattias Andrée | 2014-12-10 | 25 | -146/+179 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | typo | Mattias Andrée | 2014-12-10 | 1 | -2/+2 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: m bug fix + more test cases | Mattias Andrée | 2014-12-10 | 7 | -4/+44 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: compile-layout: m + more test cases | Mattias Andrée | 2014-12-10 | 6 | -11/+103 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | ||||
* | mds-kbdc: m bug fixes + more test cases | Mattias Andrée | 2014-12-09 | 23 | -8/+129 |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> |