Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | evaluate: expand value to range when nat mapping contains intervals | Pablo Neira Ayuso | 2023-02-28 | 1 | -0/+16 |
* | evaluate: check for concatenation in set data datatype | Pablo Neira Ayuso | 2021-09-29 | 1 | -0/+7 |
* | src: support for nat with interval concatenation | Pablo Neira Ayuso | 2021-07-13 | 1 | -0/+19 |