Releases: project-everest/vale
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.20 upgrades to the latest F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.19 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.18 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.17 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.15 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.16 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.14 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.13 upgrades to an upcoming F* release.
Updated binary release
This release contains a binary version of the Vale tool that supports building https://github.com/project-everest/hacl-star/tree/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 Vale for Dafny and F*.
Version 0.3.12 adds an {:options ...} attribute and removes some old undocumented features.
Updated binary release
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.11 turns the type checker on by default and adds support for quickcode invariants.