Releases: gowrishankar-infra/velaris-lang
Releases · gowrishankar-infra/velaris-lang
Release list
v2.39.1
v2.39
v2.38
v2.37
v2.36.4
Velaris is a language where a function's signature declares its types,
its effects, whether it can fail, and promises that a theorem prover
checks before the program runs.
This release is also the GitHub Action:
- uses: gowrishankar-infra/velaris-lang@v2.36.4
with:
files: "src/*.vel" # optional, default is every .vel file
format: "true" # optional, also check formatting
min-proven: "80" # optional, fail below this proven share
It installs Velaris with the prover and fails the build if anything
does not compile or a promise cannot be kept.
Install the language: pip install velaris-lang
Docs: https://gowrishankar-infra.github.io/velaris-lang/
v2.36.3
Full Changelog: v2.36.2...v2.36.3
Full Changelog: v2.36.2...v2.36.3
Full Changelog: v2.36.2...v2.36.3
v2.36.2
Full Changelog: v2.36.1...v2.36.2
Full Changelog: v2.36.1...v2.36.2
Full Changelog: v2.36.1...v2.36.2
v2.36.1
v2.36
Full Changelog: v2.34...v2.36
Full Changelog: v2.34...v2.36