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/