3 Commits

Author	SHA1	Message	Date
Andrea Fioraldi	089bc49d55	Bump to 0.8.2 and update versions script (#828)	2022-10-12 14:57:08 +02:00
Dominik Maier	b7d93a4bea	Hide prelude behind feature flag (#782) ... * Hide prelude behind feature flag * make prelude default	2022-09-30 20:30:28 +02:00
Addison Crump	d6e72560dc	Add test case minimising stage (tmin) (#735) ... * add test case minimising stage * general purpose minimiser impl, with fuzzer example * reorganise, document, and other cleanup * correct python API return value * correct some docs * nit: versioning in fuzzers * ise -> ize	2022-08-29 13:37:55 +02:00