·
652 commits
to master
since this release
bfcceb2
This commit was signed with the committer’s verified signature.
JonathanSalwan
Jonathan Salwan
We are glad to announce the release of Triton v0.9 which brings several features:
- Better dealing with path constraints
- Lifting To SMT file
- Lifting to Python file
- Lifting to LLVM file
- Lifting to LLVM IR and back
- Python from 3.6 to 3.9 comparability
- Add new AST optimizations
- Add new instructions
- Add FPU specification
- Add support for Thumb IT instructions
- Add the Bitwuzla solver interface
- Add a synthesis expression engine
- Fix semantics
- Fix optimizations
- And so many more