Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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> | |||||
* | m | Mattias Andrée | 2014-12-09 | 1 | -0/+1 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: bug fixes and test cases | Mattias Andrée | 2014-12-09 | 8 | -20/+76 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: compile-layout: watch out for incomplete function calls | Mattias Andrée | 2014-12-09 | 2 | -0/+9 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | mds-kbdc: m + compile-layout: bug fixes and test cases | Mattias Andrée | 2014-12-09 | 5 | -16/+44 | |
| | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
* | merge track-errors and resolve conflict | Mattias Andrée | 2014-12-09 | 48 | -998/+1107 | |
|\ | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | report an error, rather than causing failure the caller but not for the called function | Mattias Andrée | 2014-12-09 | 1 | -0/+9 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | missed to change some parts | Mattias Andrée | 2014-12-09 | 3 | -23/+14 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | make sure errno is not changed during fail_if | Mattias Andrée | 2014-12-09 | 1 | -0/+2 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | make exit_if easier on the syntax | Mattias Andrée | 2014-12-09 | 2 | -6/+4 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | make fail_if friendlier to complex if-statements | Mattias Andrée | 2014-12-09 | 3 | -25/+17 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | do no print whence an error occurred if it is EMSGSIZE, ECONNRESET or EINTR, those are not real errors, just abnormalities | Mattias Andrée | 2014-12-09 | 1 | -3/+9 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | with a few exceptions, never return directly on failure, always goto fail by invoking fail_if | Mattias Andrée | 2014-12-09 | 9 | -90/+93 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | 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 | 32 | -551/+685 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | update the texinfo manual for the new use of fail_if | Mattias Andrée | 2014-12-08 | 1 | -3/+3 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | rename pfail to fail | Mattias Andrée | 2014-12-08 | 33 | -135/+135 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | m + make sure we never lose errno | Mattias Andrée | 2014-12-08 | 8 | -30/+31 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> | |||||
| * | no more goto fail | Mattias Andrée | 2014-12-08 | 15 | -110/+98 | |
| | | | | | | | | Signed-off-by: Mattias Andrée <maandree@operamail.com> |