Other

• handle extrapop adjustment for Call operations in valuation state (#177)
• stack pointer and program counter support to Sleigh context (#176)
• Implement JingleDisplay for SingleValuation types (#171)

Fixed

• track unknown outputs as Top (#179)

Other

• AsRef for SimpleValuationState (#180)
• Implement Display trait for SingleValuationLocation (#178)
• handle extrapop adjustment for Call operations in valuation state (#177)
• From<Vec> for SimpleValuation (#175)
• Display and LowerHex for SimpleValue (#174)
• SimpleValuation::add() (#173)
• Implement JingleDisplay for SingleValuation types (#171)
• Add generic get method to SimpleValuation (#172)
• iter method to SimpleValuation for iteration (#169)

Changed

• Refactor SimpleValue to use interned VarNode directly (#162)

Other

• lazy iterator impl for VarNodeMap (#168)
• Add getter for internal valuation reference in SimpleValuationState (#166)
• Add constructors and new_with_contents for SimpleValuation types (#165)
• Simplify re-export of simple::value items (#164)

Removed

• unused assuming method from SimpleValuationState (#167)

Added

• Add From<&PcodeMachineAddress> for ConcretePcodeAddress (#155)

Changed

• sub_cfg_from_indices accepts any iterator for nodes (#152)

Other

• simplify smt valuation names and make them unique (#154)

Other

• generalize display impls, rename trait, move it to jingle_sleigh (#151)

Added

• Add lifetime to pcodestore (#147)

Other

• generalize display impls, rename trait, move it to jingle_sleigh (#151)
• move basic_block cfg impl to a trait and auto-impl for any edge type that is AsRef
• rename final => terminating (#149)

Added

• add an api to get a sub-graph (#141)

Added

• Refactor analysis traits to reduce copies (#146)
• Add get_op_at_address method and generalize PcodeStore impl (#145)
• track pcode ops in cfg by address instead of abstract state (#144)
• Minor Analysis Tweaks (#142)
• add an api to get a sub-graph (#141)
• add constructor method to ConcretePcodeAddress (#139)

Removed

• remove unused back-edge analysis and unwoundcfg wrapper type (#143)

Added

• specialized varnode map data structure, analysis refactor (#134)
• Allow Location Lattice Elements in CFGs (#132)

Other

• Trait Cleanup and PcodeOpRef (#133)
• Analysis Refactoring (#129)

Added

• [breaking] SMT valuation analysis (#135)
• specialized varnode map data structure, analysis refactor (#134)
• Allow Location Lattice Elements in CFGs (#132)

Other

• Trait Cleanup and PcodeOpRef (#133)
• Analysis Refactoring (#129)