weaversa / cryptol-course

The purpose of the course is to teach students how to program in Cryptol, a domain specific language for cryptography.

BSD 3-Clause "New" or "Revised" License

25 stars 13 forks source link

Improvements to SAW Lab Proofs and Makefiles #217

Closed djmorel closed 2 years ago

djmorel commented 2 years ago

Features

Updates the SAW labs based on @WeeknightMVP 's comments about relative paths for proofs and specifying targets for Makefiles.
- Python proof scripts can now be called anywhere!
Updates the python-saw CI to run SAW labs in a make prove -C format without the need to change directories via cd
Updated the SAW lab Makefiles to be identical except for their LAB variables
Updated the SAW.md documentation to reflect these changes

djmorel commented 2 years ago

I'm going to temporarily restore the relative-proofs branch to make the rotl lab use the new Makefile format. I'll also take the opportunity to update SAW.md so to reflect the naming changes @WeeknightMVP proposed.