update todo

Author: andreafioraldi

TODO.md

@@ -1,21 +1,21 @@
 # TODOs
 
-- [ ] Conditional composition of feedbacks (issue #24)
-- [ ] Other objectives examples (e.g. execution of a given program point)
 - [ ] Objective-Specific Corpuses (named per objective)
 - [ ] Good documentation
 - [ ] LLMP compression
 - [ ] AFL-Style Forkserver Executor
-- [ ] Restart Count in Fuzzing Loop
 - [ ] LAIN / structured fuzzing example
 - [ ] More informative outpus, deeper introspection (stats, what mutation did x, etc.)
 - [ ] Timeout handling for llmp clients (no ping for n seconds -> treat as disconnected)
-- [ ] LLMP Cross Machine Link (2 brokers connected via TCP)
 - [ ] "Launcher" example that spawns broker + n clients
 - [ ] Heap for signal handling (bumpallo or llmp directly?)
 - [ ] Frida support for Windows
 - [ ] QEMU based instrumentation
 - [ ] AFL++ LLVM passes in libafl_cc
+- [x] LLMP Cross Machine Link (2 brokers connected via TCP)
+- [x] Conditional composition of feedbacks (issue #24)
+- [x] Other objectives examples (e.g. execution of a given program point)
+- [x] Restart Count in Fuzzing Loop
 - [x] Minset corpus scheduler
 - [x] Win32 shared mem and crash handler to have Windows in-process executor
 - [x] Other feedbacks examples (e.g. maximize allocations to spot OOMs)