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
/
validation.py
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
validation: Fix N/A pre-condition handling
Sebastian Huber
2021-05-06
1
-17
/
+28
*
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
*
validation: More compact post-conditions
Sebastian Huber
2021-04-19
1
-21
/
+49
*
validation: Assign run parameters early
Sebastian Huber
2021-04-19
1
-8
/
+12
*
validation: Avoid use of uint0_t
Sebastian Huber
2021-04-19
1
-1
/
+1
*
validation: Add get_post_conditions()
Sebastian Huber
2021-04-13
1
-0
/
+49
*
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
1
-3
/
+16
*
validation: Add TransitionMap.get_variants()
Sebastian Huber
2021-03-22
1
-1
/
+28
*
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
1
-63
/
+83
*
validation: Avoid duplicated variants
Sebastian Huber
2021-03-17
1
-8
/
+16
*
specview: Add option to show action req tables
Sebastian Huber
2021-03-17
1
-0
/
+7
*
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
1
-21
/
+36
*
validation: Add post-condition expressions
Sebastian Huber
2021-03-17
1
-10
/
+200
*
validation: Make Transition named tuple public
Sebastian Huber
2021-03-17
1
-39
/
+38
*
validation: Improve naming
Sebastian Huber
2021-03-17
1
-26
/
+25
*
validation: Reorder generated code
Sebastian Huber
2021-03-17
1
-5
/
+5
*
validation: Add TransitionMap
Sebastian Huber
2021-03-17
1
-185
/
+207
*
validation: Optimize transition map
Sebastian Huber
2021-03-17
1
-49
/
+72
*
validation: Allow N/A for post-condition states
Sebastian Huber
2021-03-17
1
-3
/
+4
*
validation: Shorten variable name
Sebastian Huber
2021-03-17
1
-16
/
+11
*
validation: Add default for transition map entries
Sebastian Huber
2021-03-17
1
-2
/
+18
*
validation: Wrap comment blocks
Sebastian Huber
2021-03-02
1
-2
/
+2
*
validation: Add comment to action condition states
Sebastian Huber
2021-03-01
1
-2
/
+12
*
validation: Add check brief descriptions
Sebastian Huber
2021-02-04
1
-0
/
+2
*
validation: Add action brief descriptions
Sebastian Huber
2021-02-04
1
-0
/
+4
*
spec: Rename test case action attributes
Sebastian Huber
2021-02-04
1
-4
/
+4
*
validation: Do not pass NULL context
Sebastian Huber
2021-02-04
1
-5
/
+17
*
validation: Move actions to separate functions
Sebastian Huber
2021-02-04
1
-34
/
+41
*
validation: Remove prologue/epilogue in test cases
Sebastian Huber
2021-02-04
1
-2
/
+0
*
validation: Fix coding style
Sebastian Huber
2021-02-04
1
-1
/
+1
*
validation: Add context and fixture to test case
Sebastian Huber
2021-02-04
1
-7
/
+33
*
validation: Avoid empty test context instance
Sebastian Huber
2021-02-04
1
-5
/
+8
*
validation: Improve no default entry error message
Sebastian Huber
2021-02-03
1
-2
/
+6
*
validation: Improve duplicate error msg
Sebastian Huber
2021-02-03
1
-2
/
+20
*
validation: Improve non-existant state error msg
Sebastian Huber
2021-02-03
1
-12
/
+22
*
validation: Improve non-existant state error msg
Sebastian Huber
2021-02-03
1
-7
/
+13
*
validation: Improve no states error message
Sebastian Huber
2021-02-03
1
-1
/
+3
*
validation: Improve test program error message
Sebastian Huber
2021-02-03
1
-1
/
+8
*
validation: Print samples in performance tests
Sebastian Huber
2020-12-21
1
-0
/
+1
*
items: Simplify ItemMapper
Sebastian Huber
2020-12-13
1
-5
/
+6
*
validation: Support for runtime performance reqs
Sebastian Huber
2020-11-13
1
-8
/
+70
[next]