circomspect-program-analysis-0.8.2
- circomspect-program-analysis 0.8.2
- Permalink
- Docs.rs crate page
- LGPL-3.0-only
- Links
- Repository
- crates.io
- Source
- Owners
- fegge
- Dependencies
- anyhow ^1.0 normal
  
  log ^0.4 normal
  
  num-bigint-dig ^0.8 normal
  
  num-traits ^0.2 normal
  
  circomspect-parser ^2.2.0 normal
  
  circomspect-program-structure ^2.1.4 normal
  
  thiserror ^1.0 normal
  
  circomspect-parser ^2.2.0 dev
  
  circomspect-program-structure ^2.1.4 dev
- Versions
- 41.94% of the crate is documented
Platform
Feature flags

docs.rs

Rust

circomspect_program_analysis0.8.2

In circomspect_program_analysis::constraint_analysis

circomspect_program_analysis::constraint_analysis

Function run_constraint_analysis

pub fn run_constraint_analysis(cfg: &Cfg) -> ConstraintAnalysis