FerroPhase/Justfile at main · JakkuSakura/FerroPhase · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
set shell := ["bash", "-lc"]

default:
    @just --list

qa-low:
    scripts/qa_local.sh --risk low

qa-medium:
    scripts/qa_local.sh --risk medium

qa-high:
    scripts/qa_local.sh --risk high

devx-min:
    scripts/check_devx_min.sh

risk-min:
    scripts/run_risk_min.sh

verify-semantics:
    scripts/verify_semantics_matrix.sh

snapshot-ir:
    scripts/snapshot_ir.sh

qa-evidence label="local":
    scripts/qa_evidence.sh {{label}}

verify-prod:
    scripts/verify_prod.sh

check-fp example="examples/01_const_eval_basics.fp":
    scripts/check_fp.sh {{example}}

run-examples:
    scripts/run_examples_exec.sh
    scripts/run_examples_bytecode.sh

rust-ui:
    scripts/run_rust_ui_tests.sh both

bench:
    scripts/bench_eight_queens.sh