Skip to content

Maintenance/forks #6

@saethlin

Description

@saethlin

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 :)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions