achidlow 1 May '26 8:57 puya make conditions more explicit now there's model validation for non-negatives Git Commit cbc48239 Branch feat/statically-failing-op-validator Document 1/7 ++ 7 --
achidlow 1 May '26 8:56 puya add model validation for integer constants to IR, now that we ensure we never construct invalid values (either initially on lowering or through optimisations) Git Commit c2326db0 Branch feat/statically-failing-op-validator Document 1/2 ++ 2 --
achidlow 1 May '26 8:45 puya refactor Git Commit 47a35309 Branch feat/statically-failing-op-validator Document 1/31 ++ 27 --
achidlow 1 May '26 8:20 puya remove redundant empty-box-key test now covered by statically_failing_ops Git Commit b55b7d77 Branch feat/statically-failing-op-validator Document 1/0 ++ 9 --
achidlow 1 May '26 8:16 puya chore: compile all Git Commit 8d06c6ad Branch feat/statically-failing-op-validator Document 50/2,249 ++ 2,070 --
achidlow 1 May '26 8:16 puya add test for empty box key static verification Git Commit d5a543c6 Branch feat/statically-failing-op-validator Document 1/2 ++ 1 --
achidlow 1 May '26 8:14 puya remove redundant box op checks now superseded by IR static verification Git Commit 14ff3f88 Branch feat/statically-failing-op-validator Document 1/1 ++ 15 --
achidlow 1 May '26 8:11 puya chore: compile all Git Commit 1e3e51e1 Branch feat/statically-failing-op-validator Document 50/1,801 ++ 1,629 --
achidlow 1 May '26 8:11 puya add test for box_extract length verification Git Commit 3eae92a8 Branch feat/statically-failing-op-validator Document 1/2 ++ 0 --
achidlow 1 May '26 8:10 puya add box_extract length static verification Git Commit 6b2aa51c Branch feat/statically-failing-op-validator Document 1/8 ++ 1 --
achidlow 1 May '26 8:6 puya coverage Git Commit be5c79fc Branch feat/statically-failing-op-validator Document 2/9 ++ 9 --
achidlow 1 May '26 7:36 puya chore: compile all Git Commit 7ae169c4 Branch feat/statically-failing-op-validator Document 50/3,532 ++ 1,684 --
achidlow 1 May '26 7:34 puya add tests for txn group index verification Git Commit f3449032 Branch feat/statically-failing-op-validator Document 1/17 ++ 0 --
achidlow 1 May '26 7:32 puya chore: compile all Git Commit 63c30ad3 Branch feat/statically-failing-op-validator Document 3/12 ++ 0 --
achidlow 1 May '26 7:32 puya add txn group index static verification Git Commit 44aeeb37 Branch feat/statically-failing-op-validator Document 1/32 ++ 1 --
achidlow 1 May '26 7:21 puya add scratch slot, box key, and state key static verification Git Commit a871bb65 Branch feat/statically-failing-op-validator Document 1/47 ++ 0 --
achidlow 1 May '26 7:21 puya chore: compile all Git Commit a86d8d93 Branch feat/statically-failing-op-validator Document 3/3 ++ 0 --
achidlow 1 May '26 7:21 puya add test for biguint sub underflow with BytesConstant operands Git Commit dacaeb80 Branch feat/statically-failing-op-validator Document 1/2 ++ 0 --
achidlow 1 May '26 7:21 puya add tests for scratch slot, box key, and state key verification Git Commit 2a35fefc Branch feat/statically-failing-op-validator Document 1/29 ++ 1 --
achidlow 1 May '26 7:21 puya chore: compile all Git Commit fe88f69b Branch feat/statically-failing-op-validator Document 50/4,491 ++ 1,125 --
achidlow 1 May '26 7:21 puya expand testing Git Commit c063b0b7 Branch feat/statically-failing-op-validator Document 1/14 ++ 6 --
achidlow 1 May '26 7:21 puya chore: compile all Git Commit de790747 Branch feat/statically-failing-op-validator Document 50/2,468 ++ 2,319 --
achidlow 1 May '26 7:21 puya refactoring Git Commit 845920e9 Branch feat/statically-failing-op-validator Document 1/3 ++ 4 --
achidlow 1 May '26 7:21 puya chore: compile all Git Commit 43c3e51f Branch feat/statically-failing-op-validator Document 50/4,419 ++ 3,602 --
achidlow 1 May '26 7:21 puya refactoring Git Commit dde01fec Branch feat/statically-failing-op-validator Document 1/2 ++ 2 --
