Blog
New sibling tools: Roole & Roolean
Putting technology from machine-check into use in SMT solvers.
Posted 2026-07-04 by Jan Onderka ‐ 6 min read
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