summaryrefslogtreecommitdiffstats
path: root/rtemsspec/validation.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* items: Add create_unique_link()Sebastian Huber2022-09-021-5/+4
* validation: Add augment_with_test_case_links()Sebastian Huber2022-09-021-22/+43
* validation: Support optional perf measurementsSebastian Huber2021-11-251-3/+15
* validation: Add optional begin/end time pointSebastian Huber2021-11-251-0/+8
* validation: Add test context type supportSebastian Huber2021-11-251-0/+2
* validation: Move support code before fixtureSebastian Huber2021-11-081-3/+3
* validation: Add mapper for unspecified functionsSebastian Huber2021-09-241-0/+2
* validation: Fix skipping of transition variantsSebastian Huber2021-09-221-19/+51
* validation: Fix pre-condition state handlingSebastian Huber2021-09-141-9/+42
* validation: Fix transition variants skipSebastian Huber2021-09-141-4/+4
* validation: Fix empty test contextSebastian Huber2021-09-021-5/+9
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-171-1/+18
* validation: Simplify mapper customizationSebastian Huber2021-08-171-10/+7
* spec2modules.py: Add target files optionSebastian Huber2021-08-171-3/+10
* validation: Add ${.:skip} for action requirementsSebastian Huber2021-08-161-11/+64
* validation: Move parts of loop body to a functionSebastian Huber2021-08-161-8/+17
* validation: Move map index/entry to contextSebastian Huber2021-08-161-28/+39
* validation: Simplify pre-condition N/A supportSebastian Huber2021-08-161-19/+7
* validation: Support freestanding test casesSebastian Huber2021-07-301-10/+23
* validation: Support test cases in build objectsSebastian Huber2021-07-211-1/+11
* validation: Split fileSebastian Huber2021-06-161-640/+5
* validation: Let skip reasons overwriteSebastian Huber2021-05-141-31/+52
* validation: Support glossary term pluralsSebastian Huber2021-05-121-1/+2
* validation: Fix N/A pre-condition handlingSebastian Huber2021-05-061-17/+28
* validation: Fix remove duplicate pre-condsSebastian Huber2021-05-051-1/+1
* validation: Reliably remove duplicate pre-condsSebastian Huber2021-05-051-6/+5
* validation: More compact post-conditionsSebastian Huber2021-04-191-21/+49
* validation: Assign run parameters earlySebastian Huber2021-04-191-8/+12
* validation: Avoid use of uint0_tSebastian Huber2021-04-191-1/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-03 08:50:53 +0000