summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* validation: Add TransitionMapSebastian Huber2021-03-171-185/+207
* validation: Optimize transition mapSebastian Huber2021-03-172-302/+160
* validation: Allow N/A for post-condition statesSebastian Huber2021-03-175-8/+30
* validation: Shorten variable nameSebastian Huber2021-03-171-16/+11
* validation: Add default for transition map entriesSebastian Huber2021-03-173-11/+30
* spec: Update semaphore specificationSebastian Huber2021-03-173-14/+2
* modules: Update rsbSebastian Huber2021-03-121-0/+0
* modules: Update rtemsSebastian Huber2021-03-111-0/+0
* 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
* modules: Update rtemsSebastian Huber2021-03-101-0/+0
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-01 13:44:47 +0000