Repository navigation

Add an unstable --target option and a riscv64 machine model - #4913

Open

calef wants to merge 21 commits into

model-checking:mainfrom

calef:riscv64-target

Open

Add an unstable --target option and a riscv64 machine model#4913
calef wants to merge 21 commits into
model-checking:mainfrom
calef:riscv64-target

Commits on Oct 3, 2026
- Add an unstable --target option and a riscv64 machine model
  
  calef
  and
  claude
  committed
  f295764
- test the two --target rejections; document the goto-cc arch overwrite
  calef
  committed
  5ce11c8
- drop the local verification shim committed by mistake
  calef
  committed
  9023df2
- Accept only the targets the machine models were written for
  
  calef
  and
  claude
  committed
  a5fac6a
- Correct the cause of the architecture overwrite in the target docs
  
  calef
  and
  claude
  committed
  2d0a623
- Tighten the --target test, docs and build-dev flags after self-review
  
  calef
  and
  claude
  committed
  450cbc2
Commits on Oct 5, 2026
- Keep the target's machine model in the linked goto binary
  
  calef
  and
  claude
  committed
  1eaa2d9
- Check the machine model in the linked riscv64 goto binary
  
  calef
  and
  claude
  committed
  08bbefe
- Record the verification target in --export-json metadata
  
  calef
  and
  claude
  committed
  409ba07
- Drop the fixed machine-model limitation from the target docs
  
  calef
  and
  claude
  committed
  c377470
- Mark char as signed in the aarch64-apple-darwin machine model
  
  calef
  and
  claude
  committed
  9b72fa0
- Test the --c-lib rejection for another target in target_riscv64
  
  calef
  and
  claude
  committed
  27bf95e
- Refuse --target for autoharness --std, as verify-std does
  
  calef
  and
  claude
  committed
  7153afd
- Say in the target docs that bare-metal riscv64 is not supported
  
  calef
  and
  claude
  committed
  eb6c119
- Check --target and --lib-target against one list of supported targets
  
  calef
  and
  claude
  committed
  d67167f
- Match the exact target tuple in check_target
  
  calef
  and
  claude
  committed
  25e3570
- Rebuild every target under targets/ on each cargo build-dev
  
  calef
  and
  claude
  committed
  c8a5d29
Commits on Oct 9, 2026
- Merge branch 'main' into riscv64-target
  calef
  authored
  0467068
Commits on Oct 22, 2026
- Merge branch 'main' into riscv64-target
  calef
  committed
  3b69842
- Record the --target triple in the RFC 0015 export
  
  calef
  and
  claude
  committed
  c264c69
Commits on Oct 26, 2026
- Merge branch 'main' into riscv64-target
  calef
  authored
  629bdb3

Commits

Commits on Oct 3, 2026

Commits on Oct 5, 2026

Commits on Oct 9, 2026

Commits on Oct 22, 2026

Commits on Oct 26, 2026