Abstract interpreter for QBE IL

c9d3ae6 Detect basic memory leak and double free

~cnx pushed to ~cnx/pao git

a month ago

7173f55 Store function parameters

~cnx pushed to ~cnx/pao git

a month ago


Pao is a WIP abstract interpreter for QBE intermediate language.


Pao is written in Zig and targets its latest minor release. To build and install the abstract interpreter to $prefix, run:

zig build -Drelease-safe --prefix $prefix install



Pao is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.