7 Commits

Author	SHA1	Message	Date
Dongjia "toka" Zhang	a98805b4ca	Another attemp to fix CI (#1744) ... * fixing? * more * delete macos build_and_run fuzzers as its runtime exceeds 360minutes and can't fix it	2023-12-21 04:43:01 +09:00
Dongjia "toka" Zhang	324db072a2	Fix CI (#1558) ... * endif * just fix every profile * WHY YOU DONT JUST USE THE SAME NAME FOR DIR * fix * Some fuzzer want release * WHY I ALWAYS FORGET COMMA * NO MORE SPACE * rename * stb doesn't like debug build * just use release * another just use release	2023-09-27 09:59:55 +02:00
Dongjia "toka" Zhang	c1eef33b5d	Remove --release from Makefile.toml (#1522) ... * rem release * Revert "rem release" This reverts commit 13aaf13e412818629880348188c3e1b4137b9ed8. * toggle it with envvar * fm	2023-09-25 14:22:10 +02:00
Dominik Maier	8f8e74d670	Don't build z3 from source by default (and add static_z3 feature) (#1160) ... * Reduce build times by using preinstaled z3 * fix env order --------- Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>	2023-03-20 10:04:27 +01:00
Addison Crump	786af9f6a9	resolve zero-sized allocation in swap diff fuzzer (#1139)	2023-03-12 23:24:22 +01:00
Vincent	c8254dbd0e	Check CI result on cargo make test for available fuzzers (#1107) ... * fix libfuzzer_libpng_cmin * fix libfuzzer_libpng_ctx * revert libfuzzer_libpng_cmin and check ci by grepping broker stdout result instead * revert libfuzzer_libpng_ctx and check ci by grepping broker stdout result instead * add check ci for fuzzers * add check ci for fuzzers * add check ci * add fuzzbench test * add validation for qemu fuzzer --------- Co-authored-by: Dongjia "toka" Zhang <tokazerkje@outlook.com>	2023-03-06 23:21:24 +09:00
Addison Crump	0515eebbd2	Differential observers (#868) ... * reduce diffexecutor constraints for new (so it may be used in a manager-less environment) * add differential observers * finish differential observeration * requirement for observers (weak), default impl for time observer * make the map swapper, revisit how differentialobserver is implemented * semi-specialise multimap, add example * improve example slightly * fix clippy lints * fix last clippy issue * better docs + example flow * improve example: correct map sizing + multimap vs split slice * correct some comments * fix tests + slight bit more docs * fix bindings * fixups for the CI * typo fix Co-authored-by: Dominik Maier <domenukk@gmail.com> Co-authored-by: Dominik Maier <dmnk@google.com>	2022-11-20 23:56:23 +01:00