Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | spec: Remove superfluous includes | Sebastian Huber | 2021-02-22 | 3 | -6/+0 |
* | spec: Simplify partition create validation | Sebastian Huber | 2021-02-21 | 1 | -55/+43 |
* | spec: Simplify barrier create validation | Sebastian Huber | 2021-02-21 | 1 | -37/+14 |
* | spec: Simplify message queue construct validation | Sebastian Huber | 2021-02-21 | 1 | -70/+46 |
* | spec: Fix partition create | Sebastian Huber | 2021-02-20 | 1 | -3/+2 |
* | spec: Specify rtems_task_mode() | Sebastian Huber | 2021-02-20 | 3 | -10/+138 |
* | spec: Move rtems_task_priority item | Sebastian Huber | 2021-02-19 | 15 | -18/+19 |
* | spec: Specify missing barrier create case | Sebastian Huber | 2021-02-19 | 1 | -3/+101 |
* | spec: Harmonize partition create | Sebastian Huber | 2021-02-19 | 1 | -69/+111 |
* | spec: Use EARS syntax | Sebastian Huber | 2021-02-19 | 10 | -27/+31 |
* | spec: Fix wording | Sebastian Huber | 2021-02-19 | 1 | -1/+1 |
* | spec: Specify signal manager | Sebastian Huber | 2021-02-19 | 2 | -0/+1629 |
* | spec: Document signal manager | Sebastian Huber | 2021-02-19 | 37 | -51/+177 |
* | spec: Add test suite | Sebastian Huber | 2021-02-19 | 3 | -4/+26 |