Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Formal verification wish list #390

Open
27 of 32 tasks
QGarchery opened this issue Aug 20, 2023 · 0 comments
Open
27 of 32 tasks

Formal verification wish list #390

QGarchery opened this issue Aug 20, 2023 · 0 comments
Assignees
Labels
low prio verif Modifies the formal verification

Comments

@QGarchery
Copy link
Contributor

QGarchery commented Aug 20, 2023

List all the additional steps we could follow to improve the formal verification work:

Previous invariant lists in #96 and #256.

@QGarchery QGarchery added the verif Modifies the formal verification label Aug 20, 2023
@QGarchery QGarchery self-assigned this Aug 20, 2023
@QGarchery QGarchery changed the title Formal verification next steps Formal verification wish list Apr 23, 2024
@morpho-org morpho-org deleted a comment from octavio12345300 Nov 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
low prio verif Modifies the formal verification
Projects
None yet
Development

No branches or pull requests

2 participants