litex-lang 0.9.86-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
mod display;
pub mod pipeline;
pub mod pipeline_repl;
pub mod pipeline_run_stmt_globally;

pub use display::{display_runtime_error_json, display_stmt_exec_result_json};
pub use pipeline::{
    render_run_source_code_output, run_source_code, run_source_code_in_file,
    run_source_code_in_file_with_ok,
};
pub use pipeline_repl::run_repl;
pub use pipeline_run_stmt_globally::run_stmt_at_global_env;