Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler

Salt is a systems programming language that provides compile-time proofs, arena memory management, and MLIR codegen to ensure safety and performance, with a focus on verified systems and a simple, ergonomic syntax.