summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* spec: Add scheduler glossary termsSebastian Huber2021-04-145-0/+60
* modules: Update rtemsSebastian Huber2021-04-131-0/+0
* spec: Add custom action req textsSebastian Huber2021-04-134-4/+8
* config.yml: Add extra filesSebastian Huber2021-04-131-1/+3
* modules: Update rtemsSebastian Huber2021-04-131-0/+0
* validation: Add get_post_conditions()Sebastian Huber2021-04-134-44/+79
* spec: New cases for /rtems/sem/req/obtainSebastian Huber2021-04-135-42/+652
* modules: Update rtemsSebastian Huber2021-04-121-0/+0
* spec: Add a test suite without a clock driverSebastian Huber2021-04-121-0/+24
* modules: Update rtemsSebastian Huber2021-04-121-0/+0
* spec: Use ClockTick()Sebastian Huber2021-04-121-18/+2
* spec: Update due to renamed headerSebastian Huber2021-04-1214-14/+14
* config.yml: Add extra filesSebastian Huber2021-04-091-0/+5
* 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
* modules: Update rtemsSebastian Huber2021-04-071-0/+0
* 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
* modules: Update rtemsSebastian Huber2021-03-301-0/+0
* spec: Specify rtems_semaphore_release()Sebastian Huber2021-03-301-0/+1532
* validation: Reject more duplicatesSebastian Huber2021-03-251-7/+8
* validation: The skip entry flag must be 0 or 1Sebastian Huber2021-03-251-4/+5
* validation: Check more before discarding variantsSebastian Huber2021-03-251-1/+5
* specview.py: Discard duplicated rows due to N/ASebastian Huber2021-03-241-0/+2
* spec: Specify rtems_semaphore_set_priority()Sebastian Huber2021-03-231-0/+703
* config.yml: Add extra fileSebastian Huber2021-03-231-0/+1
* modules: Update rtemsSebastian Huber2021-03-231-0/+0
* spec: Use tc-support.hSebastian Huber2021-03-232-58/+16
* validation: Take N/A pre-conditions into accountSebastian Huber2021-03-232-35/+41
* specview.py: Fix formatSebastian Huber2021-03-221-5/+5
* specview.py: Add action list filterSebastian Huber2021-03-221-27/+99
* validation: Add TransitionMap.skip_idx_to_name()Sebastian Huber2021-03-222-3/+18
* validation: Add TransitionMap.get_variants()Sebastian Huber2021-03-222-3/+35
* validation: SimplifySebastian Huber2021-03-221-2/+2
* validation: Add TransitionMap.entries()Sebastian Huber2021-03-221-3/+8
* spec: Specify rtems_semaphore_delete()Sebastian Huber2021-03-221-0/+450
* spec: Use tc-support.hSebastian Huber2021-03-228-446/+94
* modules: Update rtemsSebastian Huber2021-03-191-0/+0
* 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: Optimize transition mapSebastian Huber2021-03-192-151/+139
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-10 00:08:23 +0000