9 Commits

Author	SHA1	Message	Date
Krzysztof Bieganski	2bd2b9324f	Fix inline constraints creating class random generator (#5280)	2024-07-19 13:03:48 -04:00
Krzysztof Bieganski	2a30a87580	Fix randomization when used with inheritance (#5268) ... Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>	2024-07-17 08:21:45 +02:00
Arkadiusz Kozdra	0a9b31bb30	Add warning on dist in constraints (#5264)	2024-07-15 21:01:33 -04:00
Arkadiusz Kozdra	570e1bc35a	Support conditional constraints (#5245)	2024-07-10 11:30:18 -04:00
Arkadiusz Kozdra	85356f464f	State-dependent constraints (#5217) ... Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>	2024-07-01 20:19:15 +02:00
Arkadiusz Kozdra	739be2f782	Support constrained randomization with external solvers (#4947)	2024-05-17 10:38:34 -04:00
Arkadiusz Kozdra	45eb5b8a5c	Fix method calls parsing in constraints (#5110)	2024-05-10 06:37:19 -04:00
Wilson Snyder	91dd3c5fac	Support 1800-2023 keywords.	2024-03-02 10:15:19 -05:00
Wilson Snyder	99dbd23f1b	Support passing constraints to --xml-only output (still otherwise unsupported) (#4683)	2023-11-11 20:20:37 -05:00