liblisa-synth 0.1.0

This library contains the default synthesis implementation for libLISA. It can be invoked as follows (for x64):

# fn wrap(encoding: liblisa::encoding::Encoding<liblisa::arch::x64::X64Arch, ()>) {
// let encoding = ...; // see the `liblisa-enc` crate
let semantics = liblisa_x64_observer::with_oracle(|mut oracle| {
    liblisa_synth::synthesize_semantics(encoding, &mut oracle)
});

println!("{semantics}");
# }