search

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.39k stars 524 forks source link

Update Bitwuzla to 0.4.0 #1311

Closed khang06 closed 3 months ago

khang06 commented 3 months ago

Mostly just fixing the TermManager API changes. Tests seem to be passing, but I didn't run all of them.