Skip to main content

Commands

CommandDescription
brikc buildCompile to native binary
brikc runCompile and execute
brikc checkVerify TCE metrics
brikc fmtFormat PCD source
brikc emitEmit to backend (Rust/JS/Python)
brikc birEmit BIR bytecode
brikc replInteractive REPL
brikc lspStart LSP server
brikc --versionShow version and fixpoint hash