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.

Sign up for GitHub

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

Jump to bottom

Improve style of testing verification proofs #2

Open
catalin-hritcu opened this issue Sep 16, 2014 · 2 comments
Open

Improve style of testing verification proofs #2

catalin-hritcu opened this issue Sep 16, 2014 · 2 comments

Comments

@catalin-hritcu
Copy link
Member

We could learn a lot from Maxime and Arthur here, if they are willing to lend a hand. We could also investigate ways of slightly automating these proofs.
@arthuraa
Copy link
Contributor

Sure; what did you have in mind?

@catalin-hritcu
Copy link
Member Author

Some of the proofs are currently quite repetitive, tedious, and fragile, for instance the ones in GenerationProofs.v (not compiling at the moment because of #1 , but you can revert to 2f9d250 if you want to replay them). I don't have anything particular in mind, but any help in improving the way we do such proofs would be useful. Not urgent though.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@arthuraa @catalin-hritcu