Releases: ku-sldg/am-cakeml
Releases · ku-sldg/am-cakeml
v1.2 Release
Release of MAESTRO executables built for x64 Linux
What's Changed
- Adding JSON Communication Interfacing by @Durbatuluk1701 in #47
- Propagating the changes made in Copland-AVM for the canonical stringification and jsonification by @Durbatuluk1701 in #48
- Updating demo scripts to fail more gracefully and clearly by @Durbatuluk1701 in #50
- Adding a Release workflow and executable bin by @Durbatuluk1701 in #54
- Making Releases only Manually Triggerable by @Durbatuluk1701 in #55
- Reworking ASP Lib and including Demo Phrases by @Durbatuluk1701 in #56
- Creation of Attestation Session by @Durbatuluk1701 in #58
- adding regex in Test.sh script by @ampetz in #59
- Fixing Make Targets by @Durbatuluk1701 in #60
- Evidence Hex Encoding by @Durbatuluk1701 in #62
- re-extracting from 'json-depth-new-strings' branch of Coq spec, updat… by @ampetz in #64
- Corresponding change on CakeML Side for new JSON Encoding by @Durbatuluk1701 in #63
Full Changelog: v1.1...v1.2
v0.1
This tag marks the initial public release. Certain sensitive files have been scrubbed from the git history beyond this point. Any commit older than this one will likely not build, as it is missing said source files.