summaryrefslogtreecommitdiffstats
path: root/rtemsspec (follow)
Commit message (Expand)AuthorAgeFilesLines
* validation: Add get_post_conditions()Sebastian Huber2021-04-133-2/+76
* 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
* validation: Take N/A pre-conditions into accountSebastian Huber2021-03-231-30/+36
* 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
* 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-172-2/+14
* 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-173-120/+502
* 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-173-6/+7
* validation: Shorten variable nameSebastian Huber2021-03-171-16/+11
* validation: Add default for transition map entriesSebastian Huber2021-03-172-11/+23
* membench: New moduleSebastian Huber2021-03-107-0/+319
* sphinxcontent: Add user-defined section labelsSebastian Huber2021-03-101-8/+12
* sphinxcontent: Add SphinxInterfaceMapperSebastian Huber2021-03-106-10/+42
* util: Add function to run commandsSebastian Huber2021-03-102-4/+53
* sphinxcontent: Add add_simple_table()Sebastian Huber2021-03-092-2/+43
* validation: Wrap comment blocksSebastian Huber2021-03-022-17/+18
* validation: Add comment to action condition statesSebastian Huber2021-03-014-17/+132
* interface: Support glossary pluralsSebastian Huber2021-02-105-9/+21
* interfacedoc: Substitute brief descriptionsSebastian Huber2021-02-101-4/+6
* items: Fix item used for the UID mappingSebastian Huber2021-02-091-4/+4
* validation: Add check brief descriptionsSebastian Huber2021-02-042-0/+46
* validation: Add action brief descriptionsSebastian Huber2021-02-042-0/+28
* content: Discard empty C comment blocksSebastian Huber2021-02-041-6/+6
* spec: Rename test case action attributesSebastian Huber2021-02-046-62/+62
* validation: Do not pass NULL contextSebastian Huber2021-02-042-28/+26
* validation: Move actions to separate functionsSebastian Huber2021-02-043-52/+209
* validation: Remove prologue/epilogue in test casesSebastian Huber2021-02-048-25/+0
* validation: Fix coding styleSebastian Huber2021-02-042-4/+4
* validation: Add context and fixture to test caseSebastian Huber2021-02-048-14/+117
* validation: Avoid empty test context instanceSebastian Huber2021-02-041-5/+8
* validation: Improve no default entry error messageSebastian Huber2021-02-032-2/+21
* validation: Improve duplicate error msgSebastian Huber2021-02-032-2/+34
* validation: Improve non-existant state error msgSebastian Huber2021-02-032-12/+32
* validation: Improve non-existant state error msgSebastian Huber2021-02-032-7/+22
* validation: Improve no states error messageSebastian Huber2021-02-032-1/+16
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-28 06:15:38 +0000