1[package]2name = "qsym"3version = "0.1.0"4edition = "2021"56[dependencies]7libc = "0.2.142"8qbe_reader = { git = "https://git.8pit.net/qbe-reader.git" }9z3 = "0.11.2"
A symbolic executor for the QBE intermediate language
git clone https://git.8pit.net/qsym.git
1[package]2name = "qsym"3version = "0.1.0"4edition = "2021"56[dependencies]7libc = "0.2.142"8qbe_reader = { git = "https://git.8pit.net/qbe-reader.git" }9z3 = "0.11.2"