Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | | | | Further reduce the source code and read-only data size through one level of indirection. | ||||
* | 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 |
| | | | | | This change significantly reduces the size of the generated source code as well as the read-only data size. | ||||
* | 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 |
| | | | | The new attribute keys make it easier to write test cases. | ||||
* | 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 |
| | |||||
* | validation: Support for runtime measurement tests | Sebastian Huber | 2020-11-13 | 1 | -11/+108 |
| | |||||
* | validation: Move add function to base class | Sebastian Huber | 2020-11-13 | 1 | -9/+15 |
| | |||||
* | validation: Move add context to base class | Sebastian Huber | 2020-11-13 | 1 | -28/+35 |
| | |||||
* | validation: Move add fixture method to base class | Sebastian Huber | 2020-11-13 | 1 | -27/+51 |
| | |||||
* | validation: Fix names | Sebastian Huber | 2020-11-13 | 1 | -32/+30 |
| | |||||
* | items: Return key path in ItemMapper.map() | Sebastian Huber | 2020-09-18 | 1 | -3/+3 |
| |