Re-exports§
pub use jingle_sleigh as sleigh;
Modules§
Structs§
- Sleigh
Translator - This type wraps z3 and a sleigh context and allows for both modeling instructions that sleigh context has already produced, or reading new instructions directly out of sleigh and modeling them in one go