Blog
2025 end-of-year digest
Improvements in all areas, but still more to be done.
Posted 2025-12-18 by Jan Onderka ‐ 5 min read
Version 0.7.1: RISC-V proof of concept
A new RISC-V system crate and minor core improvements.
Posted 2025-12-17 by Jan Onderka ‐ 3 min read
Version 0.7.0: Interpreted properties and descriptions, equality domain
More options and much improved compile time.
Posted 2025-10-29 by Jan Onderka ‐ 4 min read
Version 0.6.1: Bugfixes to μ-calculus verification
Version 0.6.0 has been yanked.
Posted 2025-09-14 by Jan Onderka ‐ 2 min read