Upgrade Bitwuzla to v0.1.0

JonathanSalwan / Triton

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

https://triton-library.github.io

Apache License 2.0

3.4k stars 524 forks source link

Upgrade Bitwuzla to v0.1.0 #1263

Closed cnheitman closed 10 months ago

cnheitman commented 11 months ago

This PR upgrades Bitwuzla code in Triton to work with Bitwuzla v0.1.0.

JonathanSalwan commented 10 months ago

Awesome Chris! Just one thing, the previous merge of #1229 killed the Appveyor CI. Can we fix it in this MR too so that we can confirm this change also works on Windows?

mrexodia commented 10 months ago

As a sidenote, GitHub actions supports Windows runners so it might be worth investing some time to move there. Especially considering AppVeyor became extremely slow…