jingle 0.4.1

SMT Modeling for Ghidra's PCODE
Documentation