summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* spec: Add spec items for clock managerFrank Kühndel2021-04-096-0/+929
| | | | | | | Adding the specification items to rtems-central for those methods of the clock manager which are mentioned in the space profile. The SRS requirements and their tests can be generated from these specification items.
* 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
| | | | Use common wording and the new templates for action requirements.
* validation: Optimize transition mapSebastian Huber2021-03-192-151/+139
| | | | | Further reduce the source code and read-only data size through one level of indirection.
* 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
|
* validation: Add TransitionMapSebastian Huber2021-03-171-185/+207
|
* validation: Optimize transition mapSebastian Huber2021-03-172-302/+160
| | | | | This change significantly reduces the size of the generated source code as well as the read-only data size.
* validation: Allow N/A for post-condition statesSebastian Huber2021-03-175-8/+30
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-22 17:02:31 +0000