GitHub · Where software is built

Labels Milestones New issue

[P2] - Add comptime-only @typeOf for generic dispatch (no runtime lowering)

#45

· ngmachado opened

on Feb 20, 2026

[P1] Stabilize ora.guard_id across semantically equivalent branch refinement guards

SMT / Formal Verification

#37

· ngmachado opened

on Feb 10, 2026

[P1] ERC20 canonical spec postconditions are not alias-safe for self-transfer

SMT / Formal Verification

#31

· ngmachado opened

on Feb 10, 2026

[P1] ensures are enforced on all returns, including recoverable error returns

SMT / Formal Verification

#30

· ngmachado opened

on Feb 10, 2026

[P0] Nested map updates do not write back outer map (lost update)

#29

· ngmachado opened

on Feb 10, 2026

[P1] SIR text legalizer accepts builtin ints (`<=256`) as valid SIR value types

#24

· ngmachado opened

on Feb 9, 2026

[P1] Address masking is inconsistent for `NonZeroAddressType` in `arith.cmpi` lowering path

#23

· ngmachado opened

on Feb 9, 2026

[P1] Flow refinement derivation ignores signedness in branch constraints

#22

· ngmachado opened

on Feb 9, 2026

[P0] Dispatcher does not mask narrow ABI integer inputs before internal calls

#19

· ngmachado opened

on Feb 9, 2026

[P0] Function signatures remain typed returns while bodies are lowered to `(ptr,len)` return protocol

#18

· ngmachado opened

on Feb 9, 2026

[P0] Ora->SIR emits `sir.add/sub/mul/...` with non-`!sir.u256` types

#17

· ngmachado opened

on Feb 9, 2026