A simple interpreter for the WHILE language with derivation tree visualization and other goodies. Based on Semantics and Verification of Software Course from RWTH in Summer Semester 2023.
Documentation is also a TODO
TBA
TBA
TBA
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A simple interpreter for the WHILE language with derivation tree visualization and other goodies. Based on Semantics and Verification of Software Course from RWTH in Summer Semester 2023.
Documentation is also a TODO
TBA
TBA
TBA