Lib.rs

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

// 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}");