5 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
Dominik Maier	5823320206	Fixes for new Clippy (#755)	2022-09-02 16:21:06 +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
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
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