spec-checker-0.2.2
- spec-checker 0.2.2
- Docs.rs crate page
- EUPL-1.2
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- alpibrupa
- Dependencies
- indexmap ^2 normal
  lex-ast ^0.2.2 normal
  lex-bytecode ^0.2.2 normal
  lex-runtime ^0.2.2 normal
  lex-syntax ^0.2.2 normal
  lex-types ^0.2.2 normal
  serde ^1 normal
  serde_json ^1 normal
  sha2 ^0.11 normal
  thiserror ^2 normal
  lex-syntax ^0.2.2 dev
- Versions
- 17.07% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

spec_checker0.2.2

Crate Items

Structs
Enums
Functions

List of all items

Structs

CheckResult
Evidence
Quantifier
Spec
SpecParseError

Enums

GateVerdict
ProofStatus
SpecExpr
SpecOp
SpecType

Functions

check_spec
evaluate_gate
evaluate_gate_compiled
evaluate_gate_compiled_traced
parse_spec
to_smtlib