index
:
rtems-qual.git
master
RTEMS Specification Items and Qualification Tools (prototype)
Charlie &
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
spec
(
follow
)
Age
Commit message (
Expand
)
Author
2020-05-28
spec: Add requirement references
Sebastian Huber
2020-05-28
spec: Add content from engineering manual
Sebastian Huber
2020-05-28
spec: Add examples
Sebastian Huber
2020-05-28
spec: Reuse interface description and notes
Sebastian Huber
2020-05-28
specverify: Improve contains operation
Sebastian Huber
2020-05-28
spec: Canonicalize specification of items
Sebastian Huber
2020-05-28
specdoc: Use mapper substitutions for descriptions
Sebastian Huber
2020-05-28
spec: Add interface domain items
Sebastian Huber
2020-05-28
spec: Add interface-target link role
Sebastian Huber
2020-05-28
spec: Add dedicated constraint items
Sebastian Huber
2020-05-28
spec: Add specification of requirement validation
Sebastian Huber
2020-05-28
spec: Canonicalize specification of specification
Sebastian Huber
2020-05-28
spec: Add rationale attribute to requirements
Sebastian Huber
2020-05-28
Rename custom constraints attribute
Sebastian Huber
2020-05-28
Add constraint link role
Sebastian Huber
2020-05-28
Rename application configuration attributes
Sebastian Huber
2020-05-28
spec: Add specification of test items
Sebastian Huber
2020-05-28
Rename test suite attributes
Sebastian Huber
2020-05-28
Rename test case attributes
Sebastian Huber
2020-05-28
spec: Add specification of interface items
Sebastian Huber
2020-05-28
spec: Add function body attribute
Sebastian Huber
2020-05-28
spec: Remove superfluous domain attribute
Sebastian Huber
2020-05-28
spec: Add unspecified interface type
Sebastian Huber
2020-05-28
Rename interface attributes
Sebastian Huber
2020-05-28
spec: Add specification of interface group items
Sebastian Huber
2020-05-28
spec: Sort attributes
Sebastian Huber
2020-05-28
Rename interface group attributes
Sebastian Huber
2020-05-28
spec: Add more interface specification items
Sebastian Huber
2020-05-28
spec: Add specification of glossary items
Sebastian Huber
2020-05-28
Rename glossary attributes
Sebastian Huber
2020-05-28
spec: Add specification of build items
Sebastian Huber
2020-05-28
spec: Add specification of specification items
Sebastian Huber
2020-05-28
spec: Add requirement types
Sebastian Huber
2020-05-28
spec: Make constraints non-functional requirements
Sebastian Huber
2020-05-28
spec: Add requirement-refinement link role
Sebastian Huber
2020-05-28
spec: Add glossary-member link role
Sebastian Huber
2020-05-28
spec: Fix description
Sebastian Huber
2020-05-28
spec: Add appl-config-group-member link role
Sebastian Huber
2020-05-28
spec: Add specification of specification items
Sebastian Huber
2020-05-28
spec: Add missing license and copyrights
Sebastian Huber
2020-05-28
Change format of enabled-by attribute
Sebastian Huber
2020-05-28
spec: Add some interface items
Sebastian Huber
2020-05-28
spec: Use item mapper for glossary terms
Sebastian Huber
2020-05-28
Generate a test suite with two test cases
Sebastian Huber
2020-04-21
Remove Doorstop specifics
Sebastian Huber
2020-04-02
spec: Move option
Sebastian Huber
2020-04-01
spec: Clarify config options use
Sebastian Huber
2020-04-01
spec: Use null if no notes are present
Sebastian Huber
2020-04-01
spec: Add and use constraint
Sebastian Huber
2020-03-31
spec: Add undocumented configuration options
Sebastian Huber
[next]