14 Commits

Author	SHA1	Message	Date
julihoh	948c94d695	Update and fix concolic support (#901) ... * fix incorrect assert condition and document it * update symcc * adapt to changes in symcc API * more fixes * fix formatting * more fixes * speed up smoke test by building multiple crates in one command * update symcc commit to latest main	2022-11-19 23:05:15 +01:00
Andrea Fioraldi	089bc49d55	Bump to 0.8.2 and update versions script (#828)	2022-10-12 14:57:08 +02:00
Dominik Maier	5823320206	Fixes for new Clippy (#755)	2022-09-02 16:21:06 +02:00
Dongjia Zhang	eac7307c5a	0.8.1 (#732)	2022-08-18 10:23:57 +02:00
Dominik Maier	5a8bdae26f	Update requirements (#714) ... * Update requirements * more updates * nits * more updates * update nix for fuzzers * use any regex 1 instead of 1.6	2022-07-29 09:54:16 +02:00
Dongjia Zhang	ffe8dbf6af	Bump to 0.8.0 (#696) ... * upd * more	2022-07-11 21:59:11 +02:00
Dominik Maier	5df130188a	Fixing CI from #559 (#580) ... * updated ref * update symcc * updated symcc * CI for symcc * updated symcc * enabling git * add runtime deps to makefile * only linux Co-authored-by: tokatoka <tokazerkje@outlook.com>	2022-03-29 14:57:38 +02:00
Dominik Maier	7dad2153e2	Clippy for Cargo (#532) ... * Clippy for Cargo * clippy fixes * clippy fixes * edition * fix * wrong self hidden * fix * more clippy	2022-02-11 14:34:01 +01:00
Andrea Fioraldi	bca1f392a7	Bump to 0.7.1 (#465) ... * bump to 0.7.1 * bump libafl_qemu	2022-01-13 11:32:57 +01:00
Andrea Fioraldi	37b8cb0d2f	Bump to 0.7	2021-12-01 17:22:09 +01:00
Andrea Fioraldi	b4e15fe9f3	Bridge grammartec from Nautilus to libafl (#342) ... * nautilus dep * nautilus generation * fix mutator * start new mutator for nautilus * other mutators * baby * ci * NautilusFeedback * fix unparse * ci * ci * ci * ci * nigghtly clippy * ci * fix * ci * ci * update construct automatata * fix * ci * clippy * clippy * nightly clippy * more clippy * minor clippy Co-authored-by: Dominik Maier <domenukk@gmail.com>	2021-11-06 02:21:53 +01:00
Jordan McLeod	3d436b7519	Upgrade to Rust 2021 Edition (#340) ... * Enable missing const_xxh3 feature * Move to Rust 2021 Edition * Fix clippy complaints * Remove imports made unecessary in 2021 edition	2021-11-04 09:59:49 +01:00
julihoh	7581885d52	prepare concolic support crates for publishing to crates.io (#250) ... * prepare concolic support crates for publishing to crates.io * provide some bare-bones READMEs	2021-08-06 17:49:57 +02:00
julihoh	1dddf7e677	Separate symcc crate (#244) ... * create a separate crate for symcc url and commit hash also contains functions to checkout and build symcc from a build script * fix dockerfile * clippy	2021-08-05 21:57:39 +02:00