Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| | | | | | Further reduce the source code and read-only data size through one level of indirection. | ||||
* | 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 |
| | | | | | 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 | 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 |
| | |||||
* | validation: Add check brief descriptions | Sebastian Huber | 2021-02-04 | 2 | -0/+46 |
| | |||||
* | validation: Add action brief descriptions | Sebastian Huber | 2021-02-04 | 2 | -0/+28 |
| | |||||
* | content: Discard empty C comment blocks | Sebastian Huber | 2021-02-04 | 1 | -6/+6 |
| | |||||
* | spec: Rename test case action attributes | Sebastian Huber | 2021-02-04 | 6 | -62/+62 |
| | | | | The new attribute keys make it easier to write test cases. | ||||
* | validation: Do not pass NULL context | Sebastian Huber | 2021-02-04 | 2 | -28/+26 |
| | |||||
* | validation: Move actions to separate functions | Sebastian Huber | 2021-02-04 | 3 | -52/+209 |
| | |||||
* | validation: Remove prologue/epilogue in test cases | Sebastian Huber | 2021-02-04 | 8 | -25/+0 |
| | |||||
* | validation: Fix coding style | Sebastian Huber | 2021-02-04 | 2 | -4/+4 |
| | |||||
* | validation: Add context and fixture to test case | Sebastian Huber | 2021-02-04 | 8 | -14/+117 |
| | |||||
* | 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 | 2 | -2/+21 |
| | |||||
* | validation: Improve duplicate error msg | Sebastian Huber | 2021-02-03 | 2 | -2/+34 |
| | |||||
* | validation: Improve non-existant state error msg | Sebastian Huber | 2021-02-03 | 2 | -12/+32 |
| | |||||
* | validation: Improve non-existant state error msg | Sebastian Huber | 2021-02-03 | 2 | -7/+22 |
| | |||||
* | validation: Improve no states error message | Sebastian Huber | 2021-02-03 | 2 | -1/+16 |
| |