Blog
2026 plans
Making system descriptions and Graphical User Interface nicer to use.
Posted 2026-04-29 by Jan Onderka ‐ 4 min read
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