Shiru
2020 - 2025 (Ongoing)
Shiru is a toy programming language, interpreter, and compiler.
It also includes a simple SMT-solver, used to verify correctness conditions at compile time, such as array indexes being in-bounds.
Shiru is a toy programming language, interpreter, and compiler.
It also includes a simple SMT-solver, used to verify correctness conditions at compile time, such as array indexes being in-bounds.