Skip to content

Updated binary release
Compare
Choose a tag to compare
@Chris-Hawblitzel Chris-Hawblitzel released this 05 May 15:19
· 125 commits to master since this release
v0.3.0
14305d7

This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/fstar-master/vale . The binaries are .NET executable and dll files, which run on Unix with mono ( https://www.mono-project.com/ , see https://github.com/project-everest/vale/blob/master/INSTALL.md ) or on Windows. The tool implements both Vale/Dafny and Vale/F*.

Version 0.3.0 changes the syntax for attributes, forall/exists/fun, and let bindings for procedures with multiple return values.

Assets 3
Loading