summaryrefslogtreecommitdiffstats
path: root/spec (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* spec: Update /rtems/message/* documentationSebastian Huber2021-04-239-54/+354
* spec: Update /rtems/ratemon/* documentationSebastian Huber2021-04-2316-87/+350
* spec: Check for NULL configurationSebastian Huber2021-04-234-37/+167
* spec: Clarify rtems_timer_cancel() docsSebastian Huber2021-04-221-1/+2
* spec: Update /rtems/support/* documentationSebastian Huber2021-04-2111-56/+142
* spec: Update /rtems/dpmen/* documentatationSebastian Huber2021-04-214-19/+88
* spec: Update /rtems/mp/* documentationSebastian Huber2021-04-214-9/+57
* spec: Update /rtems/init/* and /rtems/fatal/* docsSebastian Huber2021-04-2127-99/+375
* spec: Use posix_memalign()Sebastian Huber2021-04-201-2/+9
* spec: Add spec item rtems_timer_initiate_server()Frank Kühndel2021-04-191-0/+452
* spec: Specify semphore obtainSebastian Huber2021-04-1912-178/+2019
* spec: Account for helping schedulersSebastian Huber2021-04-191-3/+148
* validation: Assign run parameters earlySebastian Huber2021-04-191-1/+0
* spec: Document semaphore obtain errorsSebastian Huber2021-04-191-1/+9
* spec: Adjust scheduler termsSebastian Huber2021-04-141-15/+17
* spec: Add custom action req textsSebastian Huber2021-04-134-4/+8
* spec: New cases for /rtems/sem/req/obtainSebastian Huber2021-04-135-42/+652
* spec: Add a test suite without a clock driverSebastian Huber2021-04-121-0/+24
* spec: Use ClockTick()Sebastian Huber2021-04-121-18/+2
* spec: Update due to renamed headerSebastian Huber2021-04-1214-14/+14
* spec: Add spec items for clock managerFrank Kühndel2021-04-096-0/+929
* spec: Update due to API changesSebastian Huber2021-04-092-3/+3
* spec: Specify parts of rtems_semaphore_obtain()Sebastian Huber2021-04-096-0/+436
* spec: Use GetThread() from test supportSebastian Huber2021-04-091-12/+1
* spec: Update due to API changesSebastian Huber2021-04-081-9/+9
* spec: Wording in /rtems/sem/req/releaseSebastian Huber2021-04-071-4/+4
* spec: Wording in /rtems/sem/req/set-prioritySebastian Huber2021-04-071-1/+2
* spec: Clarify /rtems/sem/req/set-prioritySebastian Huber2021-04-071-116/+193
* spec: Fix wording in /rtems/sem/req/releaseSebastian Huber2021-04-071-12/+6
* spec: Fix rtems_semaphore_release() errorSebastian Huber2021-04-072-3/+3
* spec: Fix warningSebastian Huber2021-04-071-3/+2
* spec: Specify rtems_semaphore_release()Sebastian Huber2021-03-301-0/+1532
* spec: Specify rtems_semaphore_set_priority()Sebastian Huber2021-03-231-0/+703
* spec: Use tc-support.hSebastian Huber2021-03-232-58/+16
* spec: Specify rtems_semaphore_delete()Sebastian Huber2021-03-221-0/+450
* spec: Use tc-support.hSebastian Huber2021-03-228-446/+94
* spec: Specify rtems_task_mode()Sebastian Huber2021-03-191-0/+930
* spec: Specify semaphore createSebastian Huber2021-03-191-0/+1133
* spec: Simplify /rtems/signal/req/catchSebastian Huber2021-03-191-779/+173
* spec: Canonicalize directivesSebastian Huber2021-03-1923-384/+370
* validation: Add post-condition expressionsSebastian Huber2021-03-178-1/+191
* validation: Allow N/A for post-condition statesSebastian Huber2021-03-172-2/+23
* validation: Add default for transition map entriesSebastian Huber2021-03-171-0/+7
* spec: Update semaphore specificationSebastian Huber2021-03-173-14/+2
* spec: Specify extension set create/deleteSebastian Huber2021-03-112-0/+470
* spec: Specify message queue deleteSebastian Huber2021-03-111-0/+263
* spec: Specify ratemon create/deleteSebastian Huber2021-03-112-0/+372
* spec: Specify timer create/deleteSebastian Huber2021-03-112-0/+372
* spec: Improve or fix wordingSebastian Huber2021-03-1110-15/+18
* spec: Use common wordingSebastian Huber2021-03-117-102/+117