9 Commits

Author	SHA1	Message	Date
Dominik Maier	e5aaf85d3c	Tuneable Stage, Scheduler, ScheduledMutator (#874) ... * Tuneable Stage, Scheduler, and Mutators * rename * fix build * get rid of prelude * fmt * Reworked tunable, fixed stuff, add testcase * clippy * further fixes * fix typo, fmt	2022-11-12 03:02:54 +01:00
Mrmaxmeier	64bc5d5bdb	CI: speedups and fixes (#855) ... * scripts/clippy.sh: remove cargo clean step Clippy used to only report warnings in code that was not part of the incremental cache. This has changed since and I believe we can safely drop the `cargo clean` step. * Revert "ci: install z3 to avoid building from source" This reverts commit 6ff1c4088811040dcfdbd12273f0baf507a4308b. This doesn't do anything as we're using `static-link-z3` explicitly. * refactor test_all_fuzzers nyx tests were not included in `time_record` before this * nyx fuzzer: move modprobe logic out of setup_libxml2.sh	2022-10-23 01:58:33 +02:00
Dominik Maier	bfe69aea09	Format C/Cpp code in ./scripts/fmt_all.sh (#653) ... * format all (clang format 13) * added clang-format check * re-add missing newline * cargo doc was missing * more brackets * fixed fmt workflow * clang format * shellcheck * install clang-format-13 * update ubuntu for maximum clang-formattability * yml whitespaces * fmt * shellcheck only for .sh * oops path * ignored shellcheck warning	2022-05-29 03:23:02 +02:00
Dominik Maier	e4447364c2	SymCC update (#656)	2022-05-28 01:41:43 +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	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
Dominik Maier	985af28c58	less clippy	2021-08-26 19:55:38 +02:00
Dominik Maier	3db1765537	cleanup	2021-08-26 19:25:48 +02:00
Andrea Fioraldi	f0b5ab5ef0	Create a scripts folder	2021-05-20 14:17:14 +02:00