Skip to content
This repository has been archived by the owner on Jul 31, 2023. It is now read-only.

Add support for MIR-based verification tools #28

Open
1 of 2 tasks
alastairreid opened this issue Sep 11, 2020 · 0 comments
Open
1 of 2 tasks

Add support for MIR-based verification tools #28

alastairreid opened this issue Sep 11, 2020 · 0 comments
Labels
Crux CruxMIR support enhancement New feature or request

Comments

@alastairreid
Copy link
Contributor

alastairreid commented Sep 11, 2020 •
edited
Loading

List of MIR-based verifiers that we know of (edit this issue to add new ones)
@alastairreid alastairreid added enhancement New feature or request Crux CruxMIR support labels Sep 11, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
Crux CruxMIR support enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@alastairreid