-
Notifications
You must be signed in to change notification settings - Fork 16
Open
Description
Cryptol, currently version 3.2.0, has introduced numerous features affecting course content authored around Cryptol 2.11 - 2.13.
- Update Type Hackery lab with numeric constraint guards #237
- Introduce
enumand perhapsnewtypetoward the end of the Language Basics lab. #244 - Break Language Basics into multiple labs.
- Add a new lab on Cryptol 3's new module system, introducing
submodules and functors (parameterized modules that import one or more namedinterfaces). (Add lab on new module system #227) - Update Key Wrapping lab with recent Cryptol features #239
- Add a new lab on foreign function interfaces, implementations in Rust (and perhaps C and/or Java), and verification.
- Introduce
:check-docstrings,:file-deps, and:modulesto demonstrate property-based verification commands and module analysis. - Update labs on the Python Remote APIs for Cryptol and SAW to include newly supported commands (
property_names,check_docstrings,modules, ...).
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels