summaryrefslogtreecommitdiffstats
path: root/rtemsspec (unfollow)
Commit message (Expand)AuthorFilesLines
2021-04-13validation: Add get_post_conditions()Sebastian Huber3-2/+76
2021-03-25validation: Reject more duplicatesSebastian Huber1-7/+8
2021-03-25validation: The skip entry flag must be 0 or 1Sebastian Huber1-4/+5
2021-03-25validation: Check more before discarding variantsSebastian Huber1-1/+5
2021-03-23validation: Take N/A pre-conditions into accountSebastian Huber1-30/+36
2021-03-22validation: Add TransitionMap.skip_idx_to_name()Sebastian Huber2-3/+18
2021-03-22validation: Add TransitionMap.get_variants()Sebastian Huber2-3/+35
2021-03-22validation: SimplifySebastian Huber1-2/+2
2021-03-22validation: Add TransitionMap.entries()Sebastian Huber1-3/+8
2021-03-19validation: Optimize transition mapSebastian Huber2-151/+139
2021-03-17validation: Avoid duplicated variantsSebastian Huber3-8/+33
2021-03-17specview: Add option to show action req tablesSebastian Huber2-2/+14
2021-03-17content: Add support for CPU port optionsSebastian Huber2-1/+8
2021-03-17validation: Substitute context documnetationSebastian Huber1-2/+3
2021-03-17validation: Improve default transition entriesSebastian Huber1-11/+18
2021-03-17validation: Further reduce source code/rodata sizeSebastian Huber2-68/+90
2021-03-17validation: Add post-condition expressionsSebastian Huber3-120/+502
2021-03-17validation: Make Transition named tuple publicSebastian Huber1-39/+38
2021-03-17validation: Improve namingSebastian Huber2-30/+29
2021-03-17validation: Reorder generated codeSebastian Huber2-51/+51
2021-03-17validation: Add TransitionMapSebastian Huber1-185/+207
2021-03-17validation: Optimize transition mapSebastian Huber2-302/+160
2021-03-17validation: Allow N/A for post-condition statesSebastian Huber3-6/+7
2021-03-17validation: Shorten variable nameSebastian Huber1-16/+11
2021-03-17validation: Add default for transition map entriesSebastian Huber2-11/+23
2021-03-10membench: New moduleSebastian Huber7-0/+319
2021-03-10sphinxcontent: Add user-defined section labelsSebastian Huber1-8/+12
2021-03-10sphinxcontent: Add SphinxInterfaceMapperSebastian Huber6-10/+42
2021-03-10util: Add function to run commandsSebastian Huber2-4/+53
2021-03-09sphinxcontent: Add add_simple_table()Sebastian Huber2-2/+43
2021-03-02validation: Wrap comment blocksSebastian Huber2-17/+18
2021-03-01validation: Add comment to action condition statesSebastian Huber4-17/+132
2021-02-10interface: Support glossary pluralsSebastian Huber5-9/+21
2021-02-10interfacedoc: Substitute brief descriptionsSebastian Huber1-4/+6
2021-02-09items: Fix item used for the UID mappingSebastian Huber1-4/+4
2021-02-04validation: Add check brief descriptionsSebastian Huber2-0/+46
2021-02-04validation: Add action brief descriptionsSebastian Huber2-0/+28
2021-02-04content: Discard empty C comment blocksSebastian Huber1-6/+6
2021-02-04spec: Rename test case action attributesSebastian Huber6-62/+62
2021-02-04validation: Do not pass NULL contextSebastian Huber2-28/+26
2021-02-04validation: Move actions to separate functionsSebastian Huber3-52/+209
2021-02-04validation: Remove prologue/epilogue in test casesSebastian Huber8-25/+0
2021-02-04validation: Fix coding styleSebastian Huber2-4/+4
2021-02-04validation: Add context and fixture to test caseSebastian Huber8-14/+117
2021-02-04validation: Avoid empty test context instanceSebastian Huber1-5/+8
2021-02-03validation: Improve no default entry error messageSebastian Huber2-2/+21
2021-02-03validation: Improve duplicate error msgSebastian Huber2-2/+34
2021-02-03validation: Improve non-existant state error msgSebastian Huber2-12/+32
2021-02-03validation: Improve non-existant state error msgSebastian Huber2-7/+22
2021-02-03validation: Improve no states error messageSebastian Huber2-1/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-11 17:50:34 +0000