isla-lib-0.2.0
- isla-lib 0.2.0
- Permalink
- Docs.rs crate page
- BSD-2-Clause
- 16 May 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- Alasdair
- Dependencies
- bincode ^1.2.1 normal
  crossbeam ^0.7.3 normal
  lalrpop-util ^0.19.0 normal
  lazy_static ^1.4.0 normal
  libc ^0.2.5 normal
  petgraph ^0.5.0 normal
  regex ^1.3.1 normal
  serde ^1.0.104 normal
  sha2 ^0.8.1 normal
  toml ^0.5.5 normal
  z3-sys ^0.5.0 normal
  lalrpop ^0.19.0 build
- Versions
- 19.39% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

write_events

isla_lib0.2.0

In isla_lib::simplify

isla_lib::simplify

Function write_events

pub fn write_events<B: BV>(
    buf: &mut dyn Write,
    events: &[Event<B>],
    symtab: &Symtab<'_>,
)