summaryrefslogtreecommitdiffstats
path: root/rtemsspec (follow)
Commit message (Expand)AuthorAgeFilesLines
* validation: Add mapper for unspecified functionsSebastian Huber2021-09-241-0/+2
* validation: Fix skipping of transition variantsSebastian Huber2021-09-224-40/+91
* spec: Use external references for interfacesSebastian Huber2021-09-1610-33/+47
* validation: Fix pre-condition state handlingSebastian Huber2021-09-143-26/+81
* validation: Fix transition variants skipSebastian Huber2021-09-142-10/+6
* content: Add default for optional parametersSebastian Huber2021-09-141-4/+7
* specdoc: Fix wordingSebastian Huber2021-09-142-2/+2
* interface: Add parameters and return to typedefsSebastian Huber2021-09-145-1/+17
* interface: Simplify return attributeSebastian Huber2021-09-147-28/+17
* transitionmap: Fix pre-condition summarySebastian Huber2021-09-141-3/+7
* validation: Fix empty test contextSebastian Huber2021-09-021-5/+9
* build: Add option to omit test header filesSebastian Huber2021-09-022-4/+10
* spec: Add conditional build dependenciesSebastian Huber2021-08-302-5/+11
* validation: Add ${.:/test-context-type}Sebastian Huber2021-08-173-1/+20
* validation: Simplify mapper customizationSebastian Huber2021-08-171-10/+7
* spec2modules.py: Add target files optionSebastian Huber2021-08-172-3/+11
* validation: Add ${.:skip} for action requirementsSebastian Huber2021-08-163-11/+109
* validation: Move parts of loop body to a functionSebastian Huber2021-08-162-24/+42
* validation: Move map index/entry to contextSebastian Huber2021-08-163-130/+166
* validation: Simplify pre-condition N/A supportSebastian Huber2021-08-162-28/+11
* validation: Support freestanding test casesSebastian Huber2021-07-306-14/+29
* interface: Do not add group dependenciesSebastian Huber2021-07-211-7/+0
* interface: Add register-block supportSebastian Huber2021-07-216-6/+593
* validation: Support test cases in build objectsSebastian Huber2021-07-213-3/+28
* validation: Split fileSebastian Huber2021-06-162-640/+675
* interface: Fix mapper prefixSebastian Huber2021-06-151-2/+4
* items: Add ItemCache.typesSebastian Huber2021-05-282-3/+13
* validation: Let skip reasons overwriteSebastian Huber2021-05-143-32/+63
* validation: Support glossary term pluralsSebastian Huber2021-05-121-1/+2
* content: Improve plural of termsSebastian Huber2021-05-124-7/+13
* applconfig: Use unspecified groupsSebastian Huber2021-05-079-103/+77
* applconfig: Use unspecified groupsSebastian Huber2021-05-072-5/+11
* applconfig: Use unspecified functionSebastian Huber2021-05-072-13/+12
* validation: Fix N/A pre-condition handlingSebastian Huber2021-05-062-71/+42
* validation: Fix remove duplicate pre-condsSebastian Huber2021-05-051-1/+1
* validation: Reliably remove duplicate pre-condsSebastian Huber2021-05-051-6/+5
* Fix testsSebastian Huber2021-05-031-3/+1
* spec: Replace constraint scope with a linkSebastian Huber2021-04-291-2/+3
* spec: Use explicit constraints for acfgSebastian Huber2021-04-2914-211/+75
* content: Apply initial indent only to first blockSebastian Huber2021-04-291-1/+4
* spec: Allow multiple interface referencesSebastian Huber2021-04-287-17/+23
* interfacedoc: Substitute group descriptionsSebastian Huber2021-04-211-2/+3
* validation: More compact post-conditionsSebastian Huber2021-04-194-21/+264
* validation: Assign run parameters earlySebastian Huber2021-04-193-12/+108
* validation: Avoid use of uint0_tSebastian Huber2021-04-191-1/+1
* 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