Issues

• [S13] Widen InScopeP: sret indirect signatures, address-taken functions with indirect calls, purpose-mismatched declared callees, blrTry counts

  claimedscopework-package
  eth-act/clifv#89 · Filter by author kevaundray opened on Oct 7, 2026
  1

• [L1c] AliasOut: totality of compileExe with self-call aliases

  critical-pathwork-package
  eth-act/clifv#88 · Filter by author kevaundray opened on Oct 7, 2026

• Stock lowering: preserve per-successor block arguments through VCode and allocation

  eth-act/clifv#78 · Filter by author codygunton opened on Oct 6, 2026

• Binary check rejects fv-demo's test executable (indScope/indNoSym/indSig)

  eth-act/clifv#72 · Filter by author jsign opened on Oct 6, 2026

• jsign: current work and intentions

  eth-act/clifv#71 · Filter by author jsign opened on Oct 6, 2026

• Byte agreement: dead instructions after instruction selection

  claimed
  eth-act/clifv#60 · Filter by author codygunton opened on Oct 6, 2026
  42

• Leads for byte agreement

  eth-act/clifv#59 · Filter by author codygunton opened on Oct 6, 2026

• [V4b] A real register allocator in Lean (removes regalloc2)

  scopework-package
  eth-act/clifv#57 · Filter by author kevaundray opened on Oct 5, 2026

• kevaundray: current work and intentions

  eth-act/clifv#52 · Filter by author kevaundray opened on Oct 5, 2026

• Compiler agreement: daily reports

  eth-act/clifv#46 · Filter by author codygunton opened on Oct 5, 2026
  3

• codygunton: current work and intentions

  eth-act/clifv#44 · Filter by author codygunton opened on Oct 5, 2026

• [T7] Trusted base: normalize.py, clif-data-export (frontend-side tools)

  trusted-basework-package
  eth-act/clifv#43 · Filter by author kevaundray opened on Oct 4, 2026

• [T6] Trusted base: Lean.ofReduceBool/native_decide in the fixed proofs (bv_decide certificates, encoder facts)

  trusted-basework-package
  eth-act/clifv#42 · Filter by author kevaundray opened on Oct 4, 2026

• [T5] Trusted base: Clif.run fidelity (Cranelift interpreter + native runs)

  trusted-basework-package
  eth-act/clifv#41 · Filter by author kevaundray opened on Oct 4, 2026

• [T4] Trusted base: Arm model fidelity (ASL-derived, qemu co-simulation)

  trusted-basework-package
  eth-act/clifv#40 · Filter by author kevaundray opened on Oct 4, 2026

• [T3] Trusted base: std/musl contracts: compile std through cargo fv (-Zbuild-std)

  trusted-basework-package
  eth-act/clifv#39 · Filter by author kevaundray opened on Oct 4, 2026

• [T2] Trusted base: Atomics on a single-core model (ldar/stlr plain, exclusive store always succeeds, dmb no-op)

  trusted-basework-package
  eth-act/clifv#38 · Filter by author kevaundray opened on Oct 4, 2026

• [T1] Trusted base: TLS: TLSDESC hook vs lld's local-exec rewrite

  trusted-basework-package
  eth-act/clifv#37 · Filter by author kevaundray opened on Oct 4, 2026

• [S12] SIMD

  scopework-package
  eth-act/clifv#36 · Filter by author kevaundray opened on Oct 4, 2026

• [S11] Floats (f32/f64 in Clif.run, Arm FP instructions co-simulated, rules + proofs, FP register class in checkAlloc/V4)

  scopework-package
  eth-act/clifv#35 · Filter by author kevaundray opened on Oct 4, 2026

• [S10] Unwinding: landing pads, LSDA, .eh_frame, try_call's exceptional edge

  scopework-package
  eth-act/clifv#34 · Filter by author kevaundray opened on Oct 4, 2026

• [S9] Trapping helpers (__*ti3 division by zero) and traps inside program callees

  scopework-package
  eth-act/clifv#33 · Filter by author kevaundray opened on Oct 4, 2026

• [S8] return_call; recursion through a pointer; a function calling itself under its own name; indirect callees with stack-passed or sret params

  scopework-package
  eth-act/clifv#32 · Filter by author kevaundray opened on Oct 4, 2026

• [S7] vmctx/sarg parameters; sret return register (x0 holds the pointer)

  scopework-package
  eth-act/clifv#31 · Filter by author kevaundray opened on Oct 4, 2026

• [S6] A decidable Pre for legalisation (noSelf, defs, ids) so check is provably redundant on InScope

  scopework-package
  eth-act/clifv#30 · Filter by author kevaundray opened on Oct 4, 2026