litex-lang 0.9.69-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
5
6
7
8
mod error;

pub use error::{
    short_exec_error, ArithmeticRuntimeError, DefineParamsRuntimeError,
    InferRuntimeError, InstantiateRuntimeError, NameAlreadyUsedRuntimeError,
    NewAtomicFactRuntimeError, ParseRuntimeError, RuntimeError, RuntimeErrorStruct,
    StoreFactRuntimeError, UnknownRuntimeError, VerifyRuntimeError, WellDefinedRuntimeError,
};