~cnx/pao

Abstract interpreter for QBE IL

c9d3ae6 Detect basic memory leak and double free

~cnx pushed to ~cnx/pao git

2 years ago

7173f55 Store function parameters

~cnx pushed to ~cnx/pao git

2 years ago

#pao

Pao is a WIP abstract interpreter for QBE intermediate language.

#Installation

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

#Copying

GPLv3

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.