Skip to content

GenMC patches missing upstream #4612

@RalfJung

Description

@RalfJung

@Patrick-6 can you make a list of GenMC changes that need to land upstream for us to be able to stop using our fork?
It's okay if those are links to the private repo, I should still be able to access them.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-genmcArea: affects the GenMC concurrency model checking support in MiriC-cleanupCategory: cleaning up our code

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions