3 Commits

Author	SHA1	Message	Date
Krzysztof Bieganski	2f5c58b345	Support `rand_mode` (#5273) ... Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>	2024-07-31 22:30:48 +01:00
Wilson Snyder	eff2d977c1	Fix mis-elimination of variables across randomize()	2023-11-12 07:32:08 -05:00
Wilson Snyder	99dbd23f1b	Support passing constraints to --xml-only output (still otherwise unsupported) (#4683)	2023-11-11 20:20:37 -05:00