5 Commits

Author	SHA1	Message	Date
Wilson Snyder	8741fd17ad	Internals: cppcheck cleanups. No functional change intended.	2024-08-23 18:24:34 -04:00
Krzysztof Bieganski	2f5c58b345	Support rand_mode (#5273) ... Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>	2024-07-31 22:30:48 +01:00
Arkadiusz Kozdra	85356f464f	State-dependent constraints (#5217) ... Signed-off-by: Arkadiusz Kozdra <akozdra@antmicro.com>	2024-07-01 20:19:15 +02:00
Wilson Snyder	f96e99542c	Internals: Fix cppcheck warnings. No functional change.	2024-06-13 21:29:03 -04:00
Arkadiusz Kozdra	739be2f782	Support constrained randomization with external solvers (#4947)	2024-05-17 10:38:34 -04:00