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/+27 |
* | evaluate: check for concatenation in set data datatype | Pablo Neira Ayuso | 2021-09-29 | 1 | -0/+11 |
* | src: support for nat with interval concatenation | Pablo Neira Ayuso | 2021-07-13 | 1 | -0/+33 |