Maintenance/forks
I've been maintaining a fork of rustlantis, on a branch called dev: https://github.com/saethlin/rustlantis/tree/dev.
I've been running this branch pretty much continuously, using the Miri and LLVM backends. So it's not like I'm just messing around, I've changed the codebase in ways that I find improve its use.
I've made some rather significant changes. Most of them are my attempts to make the fuzzer easier to operate. For example, I have a single entrypoint script that just runs forever, and the config file is much more expansive, and there are tests that make sure it parses.
I'm not expecting anything from you, but I'd like to understand if you want to put in the effort to review (or just rubber-stamp) PRs from me. If you're planning on spending most/all of your efforts on other projects, I don't have any problem with turning my fork into the repo of record and pointing people at it instead. You're not going to disappear from the commit history :)
That's great, thanks for letting me know! I'm glad to see my code is reasonably readable to be worked on. I had a quick look at your changes to the config infrastructure which seems fine to me. If you open an PRs I'd be happy to do a full review.
I won't have capacity to carry out substantial work on rustlantis my self, but I'm happy to review PRs on weekends