logicaffeine-cli-0.10.1
- logicaffeine-cli 0.10.1
- Docs.rs crate page
- BUSL-1.1
- 11 July 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- TristenHarr
- Dependencies
- anstream ^0.6 normal
  anstyle ^1 normal
  clap ^4.4 normal
  clap_complete ^4.4 normal
  dirs ^5.0 normal
  flate2 ^1.0 normal
  futures ^0.3 normal
  logicaffeine-base ^0.10.1 normal
  logicaffeine-compile ^0.10.1 normal
  logicaffeine-kernel ^0.10.1 normal
  logicaffeine-language ^0.10.1 normal
  logicaffeine-proof ^0.10.1 normal
  logicaffeine-verify ^0.10.1 normal optional
  rand ^0.8 normal
  rustyline ^15 normal
  serde ^1.0 normal
  serde_json ^1.0 normal
  tar ^0.4 normal
  toml ^0.8 normal
  toml_edit ^0.22 normal
  ureq ^2.9 normal
  tempfile ^3 dev
  logicaffeine-jit ^0.10.1 normal
- Versions
- 98.23% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

Module callgraph

logicaffeine_cli0.10.1

Module callgraph

Module Items

Structs

In logicaffeine_cli::analysis

logicaffeine_cli::analysis

Module callgraph

Structs§

CallGraph: Whole-program call graph for the LOGOS compilation pipeline.