1[package]
2name = "qsym"
3version = "0.1.0"
4edition = "2021"
5
6[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"
5
6[dependencies]
7libc = "0.2.142"
8qbe_reader = { git = "https://git.8pit.net/qbe-reader.git" }
9z3 = "0.11.2"