Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler
Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler Released
Salt v1.0.0 – a systems language with Z3
theorem proving in the compiler Released
as version 1.0.0. Compiler integrates
formal verification. Aims to improve
software safety. Targeted at low-level
development. Supports rigorous
correctness checks. Open-source
community welcomes contributions.
Documentation available online.