Qorx

Qorx Operations

Build

cargo fmt --check
cargo test
cargo clippy --all-targets -- -D warnings
cargo build --release

Index

qorx index .
qorx session

Verify

qorx context snapshot
qorx context verify
qorx security attest

Run Source

qorx qorx .\goal.qorx

Compile Source

qorx qorx-compile .\goal.qorx --out .\goal.qorxb
qorx qorx .\goal.qorxb

Publish Discipline

Do not publish a release from a dirty tree. Do not publish a claim whose proof command is stale. Do not publish a standards claim before the registration exists.