Jan 05, 2024 · Xr0 Team
We have verified all of the "zero-order" functions but for main.
Our goal for the next iteration (to 20th) is to implement the code generation phase of Xr0. Our reason for this detour from verifying the Lex program is that in verifying the parser we have found ourselves making significant refactors to the code with which we are no longer sure that the program still functions as intended. Generating a working program will allow us to test end to end.
Goal:
Stretch goals:
Simplify map and array data structures [#13]
Write a first-version of the "topological sort" mechanism [#16].
Subscribe via email.