jingle 0.6.7

SMT Modeling for Ghidra's PCODE
Documentation 
1
2
3
4
5
6
7
8
9
10

mod simple;
// mod smt;

pub use simple::valuation::{
    Keys, SimpleValuation, SimpleValuationIter, SimpleValuationIterMut, SingleValuation,
    SingleValuationLocation, Values, ValuesMut,
};
pub use simple::value::*;
pub use simple::{MergeBehavior, SimpleValuationAnalysis, SimpleValuationState};
// pub use smt::{SmtVal, SmtValuationAnalysis, SmtValuationState};