summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* validation: Avoid duplicated variantsSebastian Huber2021-03-173-8/+33
* specview: Add option to show action req tablesSebastian Huber2021-03-173-5/+66
* content: Add support for CPU port optionsSebastian Huber2021-03-172-1/+8
* validation: Substitute context documnetationSebastian Huber2021-03-171-2/+3
* validation: Improve default transition entriesSebastian Huber2021-03-171-11/+18
* validation: Further reduce source code/rodata sizeSebastian Huber2021-03-172-68/+90
* validation: Add post-condition expressionsSebastian Huber2021-03-1711-121/+693
* validation: Make Transition named tuple publicSebastian Huber2021-03-171-39/+38
* validation: Improve namingSebastian Huber2021-03-172-30/+29
* validation: Reorder generated codeSebastian Huber2021-03-172-51/+51
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-17 19:00:49 +0000