Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | spec: Add spec items for clock manager | Frank Kühndel | 2021-04-09 | 6 | -0/+929 |
* | spec: Update due to API changes | Sebastian Huber | 2021-04-09 | 2 | -3/+3 |
* | spec: Specify parts of rtems_semaphore_obtain() | Sebastian Huber | 2021-04-09 | 6 | -0/+436 |
* | spec: Use GetThread() from test support | Sebastian Huber | 2021-04-09 | 1 | -12/+1 |
* | spec: Update due to API changes | Sebastian Huber | 2021-04-08 | 1 | -9/+9 |
* | spec: Wording in /rtems/sem/req/release | Sebastian Huber | 2021-04-07 | 1 | -4/+4 |
* | spec: Wording in /rtems/sem/req/set-priority | Sebastian Huber | 2021-04-07 | 1 | -1/+2 |
* | spec: Clarify /rtems/sem/req/set-priority | Sebastian Huber | 2021-04-07 | 1 | -116/+193 |
* | spec: Fix wording in /rtems/sem/req/release | Sebastian Huber | 2021-04-07 | 1 | -12/+6 |
* | spec: Fix rtems_semaphore_release() error | Sebastian Huber | 2021-04-07 | 2 | -3/+3 |
* | spec: Fix warning | Sebastian Huber | 2021-04-07 | 1 | -3/+2 |
* | spec: Specify rtems_semaphore_release() | Sebastian Huber | 2021-03-30 | 1 | -0/+1532 |
* | spec: Specify rtems_semaphore_set_priority() | Sebastian Huber | 2021-03-23 | 1 | -0/+703 |
* | spec: Use tc-support.h | Sebastian Huber | 2021-03-23 | 2 | -58/+16 |
* | spec: Specify rtems_semaphore_delete() | Sebastian Huber | 2021-03-22 | 1 | -0/+450 |
* | spec: Use tc-support.h | Sebastian Huber | 2021-03-22 | 8 | -446/+94 |
* | spec: Specify rtems_task_mode() | Sebastian Huber | 2021-03-19 | 1 | -0/+930 |
* | spec: Specify semaphore create | Sebastian Huber | 2021-03-19 | 1 | -0/+1133 |
* | spec: Simplify /rtems/signal/req/catch | Sebastian Huber | 2021-03-19 | 1 | -779/+173 |
* | spec: Canonicalize directives | Sebastian Huber | 2021-03-19 | 23 | -384/+370 |
* | validation: Add post-condition expressions | Sebastian Huber | 2021-03-17 | 8 | -1/+191 |
* | validation: Allow N/A for post-condition states | Sebastian Huber | 2021-03-17 | 2 | -2/+23 |
* | validation: Add default for transition map entries | Sebastian Huber | 2021-03-17 | 1 | -0/+7 |
* | spec: Update semaphore specification | Sebastian Huber | 2021-03-17 | 3 | -14/+2 |
* | spec: Specify extension set create/delete | Sebastian Huber | 2021-03-11 | 2 | -0/+470 |
* | spec: Specify message queue delete | Sebastian Huber | 2021-03-11 | 1 | -0/+263 |
* | spec: Specify ratemon create/delete | Sebastian Huber | 2021-03-11 | 2 | -0/+372 |
* | spec: Specify timer create/delete | Sebastian Huber | 2021-03-11 | 2 | -0/+372 |
* | spec: Improve or fix wording | Sebastian Huber | 2021-03-11 | 10 | -15/+18 |
* | spec: Use common wording | Sebastian Huber | 2021-03-11 | 7 | -102/+117 |
* | spec: Add memory benchmarks | Sebastian Huber | 2021-03-10 | 45 | -0/+1651 |
* | spec: Update X/STRING and adding ALIGNOF specs | Frank Kühndel | 2021-03-09 | 8 | -13/+155 |
* | spec: Use common wording | Sebastian Huber | 2021-03-08 | 9 | -73/+114 |
* | spec: Use common wording | Sebastian Huber | 2021-03-05 | 9 | -31/+44 |
* | spec: Fix message queue construct | Sebastian Huber | 2021-03-05 | 1 | -1/+12 |
* | spec: CONFIGURE_MAXIMUM_THREAD_LOCAL_STORAGE_SIZE | Sebastian Huber | 2021-03-05 | 1 | -0/+2 |
* | spec: Fix RTEMS_TASK_STORAGE_ALIGNMENT | Sebastian Huber | 2021-03-04 | 2 | -1/+13 |
* | spec: Improve signal catch specification | Sebastian Huber | 2021-03-02 | 1 | -7/+155 |
* | spec: Fix specification references in basedefs | Sebastian Huber | 2021-03-01 | 1 | -56/+56 |
* | spec: Fix barrier release text | Sebastian Huber | 2021-03-01 | 1 | -2/+2 |
* | spec: Improve event send/receive | Sebastian Huber | 2021-03-01 | 1 | -1/+36 |
* | spec: Improve partition create | Sebastian Huber | 2021-02-26 | 1 | -2/+9 |
* | spec: Improve return buffer | Sebastian Huber | 2021-02-26 | 1 | -24/+54 |
* | spec: Specify task create errors | Sebastian Huber | 2021-02-26 | 1 | -0/+639 |
* | spec: Improve task construct validation | Sebastian Huber | 2021-02-26 | 1 | -33/+240 |
* | spec: Improve documentation | Sebastian Huber | 2021-02-26 | 1 | -1/+1 |
* | spec: Add build label and target hash directives | Sebastian Huber | 2021-02-26 | 2 | -0/+81 |
* | spec: Improve wording | Sebastian Huber | 2021-02-26 | 1 | -10/+10 |
* | spec: Harmonize create directives | Sebastian Huber | 2021-02-25 | 4 | -133/+261 |
* | spec: Remove unused state | Sebastian Huber | 2021-02-25 | 1 | -6/+0 |