aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* update todoMattias Andrée2015-04-061-0/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m makefileMattias Andrée2015-04-061-9/+9
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* update todoMattias Andrée2015-04-041-1/+4
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* new server: mds-ratbarrierMattias Andrée2015-04-042-0/+17
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m compose tableMattias Andrée2015-03-121-1/+14
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add parts of latin extended-bMattias Andrée2015-02-131-2/+209
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* bump yearMattias Andrée2015-02-13112-111/+128
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2015-01-031-2/+4
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* tabulationMattias Andrée2014-12-131-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: more test casesMattias Andrée2014-12-137-0/+50
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: dump call-stackMattias Andrée2014-12-133-3/+57
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: use the call-stackMattias Andrée2014-12-131-3/+16
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: call-stack: push and pop functionsMattias Andrée2014-12-132-1/+128
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-131-2/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: beginning on call-stacksMattias Andrée2014-12-124-4/+99
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-122-4/+4
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-12-111-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-12-111-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-111-3/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* use atoz and not atoll when parsing integers to size_tMattias Andrée2014-12-111-3/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m + fix errors in layout filesMattias Andrée2014-12-115-8/+21
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* whitespaceMattias Andrée2014-12-111-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: minor bug fixesMattias Andrée2014-12-112-3/+4
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* some small fixesMattias Andrée2014-12-112-13/+13
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-112-0/+14
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: do not warn about non-shadowing after a for-loopMattias Andrée2014-12-113-4/+74
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* define help-functions inside assumption-clausesMattias Andrée2014-12-114-0/+33
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: validate-tree: you can define functions and macros inside assumption-clausesMattias Andrée2014-12-113-33/+84
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-111-0/+0
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: validate-tree: add test case: assumption inside assumptionMattias Andrée2014-12-111-0/+19
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add test for multiple assumption-clausesMattias Andrée2014-12-111-0/+26
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-111-1/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-101-1/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* m simplificationMattias Andrée2014-12-101-3/+3
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: fix memory exhaustion bugMattias Andrée2014-12-101-0/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* make it easier to track memory allocationsMattias Andrée2014-12-101-3/+101
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: fix sideeffect trackingMattias Andrée2014-12-102-1/+16
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: m bug fix + more test casesMattias Andrée2014-12-104-3/+18
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: test returnMattias Andrée2014-12-102-1/+25
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* add xmemdup macroMattias Andrée2014-12-1017-92/+63
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* no more direct allocations, always use macros, unless using allocaMattias Andrée2014-12-1025-146/+179
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* typoMattias Andrée2014-12-101-2/+2
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: m bug fix + more test casesMattias Andrée2014-12-107-4/+44
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: m + more test casesMattias Andrée2014-12-106-11/+103
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m bug fixes + more test casesMattias Andrée2014-12-0923-8/+129
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mMattias Andrée2014-12-091-0/+1
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: bug fixes and test casesMattias Andrée2014-12-098-20/+76
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: compile-layout: watch out for incomplete function callsMattias Andrée2014-12-092-0/+9
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* mds-kbdc: m + compile-layout: bug fixes and test casesMattias Andrée2014-12-095-16/+44
| | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>
* merge track-errors and resolve conflictMattias Andrée2014-12-0948-998/+1107
|\ | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com>