Skip to content

Conversation

@toolCHAINZ
Copy link
Owner

🤖 New release

  • jingle_sleigh: 0.1.2 -> 0.1.3
  • jingle: 0.1.2 -> 0.1.3 (✓ API compatible changes)
  • jingle_python: 0.1.2
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.3 - 2025-07-16

Fixed

  • conditional branch metadata bv size (#70)

jingle_python

0.1.2 - 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 e2c502d into main Jul 16, 2025
14 checks passed
@toolCHAINZ toolCHAINZ deleted the release-plz-2025-07-16T16-23-18Z branch July 16, 2025 16:25
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