index
:
rtems-central
master
RTEMS Developer Central Repository, a master of masters
devel@rtems.org
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
rtemsspec
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
applconfig: Use unspecified groups
Sebastian Huber
2021-05-07
9
-103
/
+77
*
applconfig: Use unspecified groups
Sebastian Huber
2021-05-07
2
-5
/
+11
*
applconfig: Use unspecified function
Sebastian Huber
2021-05-07
2
-13
/
+12
*
validation: Fix N/A pre-condition handling
Sebastian Huber
2021-05-06
2
-71
/
+42
*
validation: Fix remove duplicate pre-conds
Sebastian Huber
2021-05-05
1
-1
/
+1
*
validation: Reliably remove duplicate pre-conds
Sebastian Huber
2021-05-05
1
-6
/
+5
*
Fix tests
Sebastian Huber
2021-05-03
1
-3
/
+1
*
spec: Replace constraint scope with a link
Sebastian Huber
2021-04-29
1
-2
/
+3
*
spec: Use explicit constraints for acfg
Sebastian Huber
2021-04-29
14
-211
/
+75
*
content: Apply initial indent only to first block
Sebastian Huber
2021-04-29
1
-1
/
+4
*
spec: Allow multiple interface references
Sebastian Huber
2021-04-28
7
-17
/
+23
*
interfacedoc: Substitute group descriptions
Sebastian Huber
2021-04-21
1
-2
/
+3
*
validation: More compact post-conditions
Sebastian Huber
2021-04-19
4
-21
/
+264
*
validation: Assign run parameters early
Sebastian Huber
2021-04-19
3
-12
/
+108
*
validation: Avoid use of uint0_t
Sebastian Huber
2021-04-19
1
-1
/
+1
*
validation: Add get_post_conditions()
Sebastian Huber
2021-04-13
3
-2
/
+76
*
validation: Reject more duplicates
Sebastian Huber
2021-03-25
1
-7
/
+8
*
validation: The skip entry flag must be 0 or 1
Sebastian Huber
2021-03-25
1
-4
/
+5
*
validation: Check more before discarding variants
Sebastian Huber
2021-03-25
1
-1
/
+5
*
validation: Take N/A pre-conditions into account
Sebastian Huber
2021-03-23
1
-30
/
+36
*
validation: Add TransitionMap.skip_idx_to_name()
Sebastian Huber
2021-03-22
2
-3
/
+18
*
validation: Add TransitionMap.get_variants()
Sebastian Huber
2021-03-22
2
-3
/
+35
*
validation: Simplify
Sebastian Huber
2021-03-22
1
-2
/
+2
*
validation: Add TransitionMap.entries()
Sebastian Huber
2021-03-22
1
-3
/
+8
*
validation: Optimize transition map
Sebastian Huber
2021-03-19
2
-151
/
+139
*
validation: Avoid duplicated variants
Sebastian Huber
2021-03-17
3
-8
/
+33
*
specview: Add option to show action req tables
Sebastian Huber
2021-03-17
2
-2
/
+14
*
content: Add support for CPU port options
Sebastian Huber
2021-03-17
2
-1
/
+8
*
validation: Substitute context documnetation
Sebastian Huber
2021-03-17
1
-2
/
+3
*
validation: Improve default transition entries
Sebastian Huber
2021-03-17
1
-11
/
+18
*
validation: Further reduce source code/rodata size
Sebastian Huber
2021-03-17
2
-68
/
+90
*
validation: Add post-condition expressions
Sebastian Huber
2021-03-17
3
-120
/
+502
*
validation: Make Transition named tuple public
Sebastian Huber
2021-03-17
1
-39
/
+38
*
validation: Improve naming
Sebastian Huber
2021-03-17
2
-30
/
+29
*
validation: Reorder generated code
Sebastian Huber
2021-03-17
2
-51
/
+51
*
validation: Add TransitionMap
Sebastian Huber
2021-03-17
1
-185
/
+207
*
validation: Optimize transition map
Sebastian Huber
2021-03-17
2
-302
/
+160
*
validation: Allow N/A for post-condition states
Sebastian Huber
2021-03-17
3
-6
/
+7
*
validation: Shorten variable name
Sebastian Huber
2021-03-17
1
-16
/
+11
*
validation: Add default for transition map entries
Sebastian Huber
2021-03-17
2
-11
/
+23
*
membench: New module
Sebastian Huber
2021-03-10
7
-0
/
+319
*
sphinxcontent: Add user-defined section labels
Sebastian Huber
2021-03-10
1
-8
/
+12
*
sphinxcontent: Add SphinxInterfaceMapper
Sebastian Huber
2021-03-10
6
-10
/
+42
*
util: Add function to run commands
Sebastian Huber
2021-03-10
2
-4
/
+53
*
sphinxcontent: Add add_simple_table()
Sebastian Huber
2021-03-09
2
-2
/
+43
*
validation: Wrap comment blocks
Sebastian Huber
2021-03-02
2
-17
/
+18
*
validation: Add comment to action condition states
Sebastian Huber
2021-03-01
4
-17
/
+132
*
interface: Support glossary plurals
Sebastian Huber
2021-02-10
5
-9
/
+21
*
interfacedoc: Substitute brief descriptions
Sebastian Huber
2021-02-10
1
-4
/
+6
*
items: Fix item used for the UID mapping
Sebastian Huber
2021-02-09
1
-4
/
+4
[next]