GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-01 17:26:45 +03:00
Code Issues Projects Releases Wiki Activity
2,147 Commits 50 Branches 0 Tags 13 MiB
0b067b1e34
Commit Graph

4 Commits

Author SHA1 Message Date
Langston Barrett
0b067b1e34 x86-cli: Prefix name of LLVM memory global with package name 2024-08-20 17:17:50 -04:00
Langston Barrett
dcb4ec1c6a x86-cli: Test suite 2024-08-20 17:17:50 -04:00
Langston Barrett
f5c451021a x86-cli: Libraryfication 
Make the code easier to test
 2024-08-20 17:17:50 -04:00
Langston Barrett
aba55d77cb x86-cli: A CLI for running macaw-x86-symbolic S-expression CFGs 2024-08-20 17:17:50 -04:00