Skip to content

Conversation

@toolCHAINZ
Copy link
Owner

πŸ€– New release

  • jingle_sleigh: 0.1.1 -> 0.1.2 (βœ“ API compatible changes)
  • jingle: 0.1.1 -> 0.1.2 (βœ“ API compatible changes)
  • jingle_python: 0.1.1
Changelog

jingle_sleigh

0.1.2 - 2025-07-10

Other

  • add release-plz (#61)
  • Bump ghidra to 11.4 (#57)
  • Concretization tweaks (#56)
  • Add Python Type Annotations (#53)
  • Rust Edition 2024 (#47)
  • Expose more structs (#49)
  • Fill out more python APIs (#43)
  • Bump deps (#42)
  • Add missing cfg guard
  • Python Bindings (#37)
  • API Cleanup (#35)
  • Target ghidra 11.3 (#32)
  • Merge dev changes (#31)

jingle

0.1.2 - 2025-07-10

Other

  • add release-plz (#61)
  • Use latest z3 (#65)
  • Add varnode covering logic (#59)
  • Concretization tweaks (#56)
  • Add method to get instructions from a block in python (#55)
  • Add Python Type Annotations (#53)
  • pub ctx
  • Add some [Partial]Eq derives
  • fmt
  • Improved location concretization
  • Extend Python Z3 Interop (#51)
  • Rust Edition 2024 (#47)
  • pub
  • Add some methods
  • fmt + clippy
  • Add another display
  • Add display => str
  • More python varnode representation tweaks
  • fmt + clippy
  • Add iter impl
  • Fix names
  • Change iterator to not work specifically on BVs (#50)
  • Expose more structs (#49)
  • Python/Rust Conversion Trait (#48)
  • Change wrapping of pythong z3
  • Pub instr
  • Python refactor (#46)
  • Fill out more python APIs (#43)
  • Bump deps (#42)
  • Python Bindings (#37)
  • API Cleanup (#35)
  • Merge dev changes (#31)

jingle_python

0.1.1 - 2025-07-10

Other

  • add release-plz (#61)
  • Concretization tweaks (#56)
  • Add forgotten type annotation
  • Fix python z3 import error (#54)
  • Fix outdated annotation
  • Add Python Type Annotations (#53)
  • Rust Edition 2024 (#47)
  • Python refactor (#46)
  • Add feature flag (#45)
  • Python rlib (#44)
  • Fill out more python APIs (#43)
  • Bump deps (#42)
  • Python Bindings (#37)


This PR was generated with release-plz.

@toolCHAINZ toolCHAINZ merged commit eca9cd8 into main Jul 10, 2025
14 checks passed
@toolCHAINZ toolCHAINZ deleted the release-plz-2025-07-10T12-57-36Z branch July 10, 2025 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant