News for hackers. Stuff that matters.

A comment on Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler. Parent comment

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by pjmlp on Thursday July 02, 2026 @07:03AM (#48759496)
It is a way to formally verify Ada, it meets all those criterias.
[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Friday July 03, 2026 @01:48PM (#48777773)
It looks like verification is distinct from the compiler.
[ Parent | on HN ]