-
Notifications
You must be signed in to change notification settings - Fork 123
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
add rigor to the prelude #48
Comments
I do not have the time to work on this for the 2.1 release, so I'm pushing. |
I did some work on this a while back, and started a Cryptol module stating characteristic properties of a bunch of primitives. Maybe we should finish it.
|
Let's add the Cryptol file quoted above to the repo, and continue to add to it. |
Todo: Put the cryptol file with specs for primitives in the We should also strive to keep the file up to date whenever we add new primitive functions to cryptol. Todo: Also add a test to the test suite that runs |
Include formal specifications for built-ins and verify that they conform to them.
The text was updated successfully, but these errors were encountered: