summaryrefslogtreecommitdiffstats
path: root/rtemsspec/validation.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* validation: Add get_post_conditions()Sebastian Huber2021-04-131-0/+49
* 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-221-3/+16
* validation: Add TransitionMap.get_variants()Sebastian Huber2021-03-221-1/+28
* validation: SimplifySebastian Huber2021-03-221-2/+2
* validation: Add TransitionMap.entries()Sebastian Huber2021-03-221-3/+8
* validation: Optimize transition mapSebastian Huber2021-03-191-63/+83
* validation: Avoid duplicated variantsSebastian Huber2021-03-171-8/+16
* specview: Add option to show action req tablesSebastian Huber2021-03-171-0/+7
* 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-171-21/+36
* validation: Add post-condition expressionsSebastian Huber2021-03-171-10/+200
* validation: Make Transition named tuple publicSebastian Huber2021-03-171-39/+38
* validation: Improve namingSebastian Huber2021-03-171-26/+25
* validation: Reorder generated codeSebastian Huber2021-03-171-5/+5
* validation: Add TransitionMapSebastian Huber2021-03-171-185/+207
* validation: Optimize transition mapSebastian Huber2021-03-171-49/+72
* validation: Allow N/A for post-condition statesSebastian Huber2021-03-171-3/+4
* validation: Shorten variable nameSebastian Huber2021-03-171-16/+11
* validation: Add default for transition map entriesSebastian Huber2021-03-171-2/+18
* validation: Wrap comment blocksSebastian Huber2021-03-021-2/+2
* validation: Add comment to action condition statesSebastian Huber2021-03-011-2/+12
* validation: Add check brief descriptionsSebastian Huber2021-02-041-0/+2
* validation: Add action brief descriptionsSebastian Huber2021-02-041-0/+4
* spec: Rename test case action attributesSebastian Huber2021-02-041-4/+4
* validation: Do not pass NULL contextSebastian Huber2021-02-041-5/+17
* validation: Move actions to separate functionsSebastian Huber2021-02-041-34/+41
* validation: Remove prologue/epilogue in test casesSebastian Huber2021-02-041-2/+0
* validation: Fix coding styleSebastian Huber2021-02-041-1/+1
* validation: Add context and fixture to test caseSebastian Huber2021-02-041-7/+33
* validation: Avoid empty test context instanceSebastian Huber2021-02-041-5/+8
* validation: Improve no default entry error messageSebastian Huber2021-02-031-2/+6
* validation: Improve duplicate error msgSebastian Huber2021-02-031-2/+20
* validation: Improve non-existant state error msgSebastian Huber2021-02-031-12/+22
* validation: Improve non-existant state error msgSebastian Huber2021-02-031-7/+13
* validation: Improve no states error messageSebastian Huber2021-02-031-1/+3
* validation: Improve test program error messageSebastian Huber2021-02-031-1/+8
* validation: Print samples in performance testsSebastian Huber2020-12-211-0/+1
* items: Simplify ItemMapperSebastian Huber2020-12-131-5/+6
* validation: Support for runtime performance reqsSebastian Huber2020-11-131-8/+70
* validation: Support for runtime measurement testsSebastian Huber2020-11-131-11/+108
* validation: Move add function to base classSebastian Huber2020-11-131-9/+15
* validation: Move add context to base classSebastian Huber2020-11-131-28/+35
* validation: Move add fixture method to base classSebastian Huber2020-11-131-27/+51
* validation: Fix namesSebastian Huber2020-11-131-32/+30
* items: Return key path in ItemMapper.map()Sebastian Huber2020-09-181-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-13 19:00:15 +0000