summaryrefslogtreecommitdiffstats
path: root/spec (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* spec: Remove superfluous includesSebastian Huber2021-02-223-6/+0
* spec: Simplify partition create validationSebastian Huber2021-02-211-55/+43
* spec: Simplify barrier create validationSebastian Huber2021-02-211-37/+14
* spec: Simplify message queue construct validationSebastian Huber2021-02-211-70/+46
* spec: Fix partition createSebastian Huber2021-02-201-3/+2
* spec: Specify rtems_task_mode()Sebastian Huber2021-02-203-10/+138
* spec: Move rtems_task_priority itemSebastian Huber2021-02-1915-18/+19
* spec: Specify missing barrier create caseSebastian Huber2021-02-191-3/+101
* spec: Harmonize partition createSebastian Huber2021-02-191-69/+111
* spec: Use EARS syntaxSebastian Huber2021-02-1910-27/+31
* spec: Fix wordingSebastian Huber2021-02-191-1/+1
* spec: Specify signal managerSebastian Huber2021-02-192-0/+1629
* spec: Document signal managerSebastian Huber2021-02-1937-51/+177
* spec: Add test suiteSebastian Huber2021-02-193-4/+26
* spec: Specify RTEMS_ALIGNOF()Sebastian Huber2021-02-191-0/+38
* spec: Fix clock manager parameter namesSebastian Huber2021-02-172-5/+5
* spec: Use EARS syntaxSebastian Huber2021-02-1735-112/+114
* spec: Document clock managerSebastian Huber2021-02-1718-81/+337
* spec: Fix clock interface placement orderSebastian Huber2021-02-174-1/+31
* spec: Fix barrier specificationSebastian Huber2021-02-173-13/+13
* spec: Add constraints to create/deleteSebastian Huber2021-02-1011-0/+55
* spec: Add constraints to semaphore managerSebastian Huber2021-02-1013-9/+123
* spec: Document missing parameterSebastian Huber2021-02-101-0/+1
* spec: Rename constraintSebastian Huber2021-02-105-5/+5
* spec: Fix referencesSebastian Huber2021-02-084-4/+4
* spec: Specify barrier managerSebastian Huber2021-02-084-0/+1343
* spec: Tweak construct errorsSebastian Huber2021-02-082-34/+47
* spec: Specify rtems_build_name()Sebastian Huber2021-02-082-0/+110
* spec: Document barrier directivesSebastian Huber2021-02-043-15/+84
* spec: Document semaphore directivesSebastian Huber2021-02-046-33/+434
* spec: Use constraints for event managerSebastian Huber2021-02-047-3/+48
* spec: Improve wordingSebastian Huber2021-02-041-2/+1
* spec: Rename test case action attributesSebastian Huber2021-02-0420-859/+859
* validation: Move actions to separate functionsSebastian Huber2021-02-048-25/+86
* validation: Remove prologue/epilogue in test casesSebastian Huber2021-02-0419-49/+0
* spec: Use quoted string for string with tabsSebastian Huber2021-02-041-12/+6
* spec: Remove commentsSebastian Huber2021-02-041-159/+0
* spec: Avoid test prologue/epilogue in test casesSebastian Huber2021-02-0415-137/+172
* validation: Add context and fixture to test caseSebastian Huber2021-02-0419-24/+108
* spec: Document all delete directivesSebastian Huber2021-02-0310-74/+338
* spec: Document all create directivesSebastian Huber2021-02-0321-245/+961
* spec: Use constraints for partition managerSebastian Huber2021-02-032-11/+19
* spec: Use constraints for timer managerSebastian Huber2021-02-038-21/+75
* spec: Clarify object identificationSebastian Huber2021-02-0311-68/+154
* spec: Clarify rtems_event_receive()Sebastian Huber2021-02-031-14/+19
* spec: Move scheduler API to own groupSebastian Huber2021-02-0312-11/+42
* spec: Clarify object servicesSebastian Huber2021-02-0327-81/+388
* spec: Do not document optimization macroSebastian Huber2021-02-031-11/+3
* spec: Add constraintsSebastian Huber2021-02-0318-0/+197
* spec: Add RTEMS_STATIC_ANALYSISSebastian Huber2021-02-012-0/+35