Latest Repo Discovered
algo-certify-dApp-nft
Jupyter Notebook
·
No license
Top Contributor of the Month
9492 commits in all time
Jan 02, 2026 10:07 – Apr 02, 2026 10:07 UTC
feat: add GlobalMap
ddb41e02
global-local-map-support
2/53 ++ 2 --
refactor: rewrite SCC phi congruence to operate on the replacement map
Rewrite _refine_phi_congruence to run after build_replacements() and resolve phi args through the replacement map, rather than using VN lookups on the scoped _GVNTables. This fixes a latent bug where set_register_vn in the SCC pass would append registers to new equivalence sets without removing them from old ones, potentially causing replacement chains in build_replacements when an SCC register was also in a multi-member equivalence set from the hash-based walk. The new approach is also strictly more powerful: the old implementation could only detect SCC congruence when external args were the same register object (because _register_vn was scoped and the walk's VN assignments were in discarded child scopes). Now it detects congruence whenever external args resolve to the same representative. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
5ef6a2d4
gvn
1/33 ++ 36 --
Merge pull request #23 from Rashidhmd/cairo/vault
Implementation of Vault use case in Cairo
4730cf5c
main
3/310 ++ 1 --
Merge pull request #39 from FoundMarras/main
implementation of token_transfer use case in leo
1007fdd4
main
3/196 ++ 0 --
Merge c89ec54f60f5e1d8fbb206c63b4b6ed81fa5dd72 into 3c8f3b90034b0de1ae7c585ebe0b7f91631c70b3
3924c990
pull/266/merge
12/2,301 ++ 1,171 --
chore: fix import sorting order in signing module
c89ec54f
alpha-feat/crypto
1/1 ++ 1 --
chore: fix audit vulnerabilities
1c1355e4
global-local-map-support
1/3 ++ 3 --
Merge 74f9857c4a85f3eb7ec934e6734678f03f6bfef7 into 960a09bc6686f217ed2a3f6c8f922dfa57a21976
2c934588
pull/64/merge
25/1,111 ++ 636 --
chore: refresh test artifacts using lastest changes in puya main branch
74f9857c
feat/logged-errors
19/821 ++ 630 --
feat: add arc65 support: loggedErr() and loggedAssert() functions, to log a formatted error string before failing
3892e9a0
feat/logged-errors
6/290 ++ 6 --
fix: handle irreducible control flow in GVN SCC phi congruence
Skip SCCs with multiple distinct external VNs instead of raising InternalError. This can legitimately occur with irreducible CFGs (e.g. TypeScript labeled loops compiled via puya-ts). Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
c8f10c52
gvn
1/1 ++ 4 --
Merge f9145a852a25afe9c6ced40344d319bdd10c4781 into 094ea6b25e84f0b8b66af847a54d4892b261aa5c
9094a2ac
pull/5249/merge
2/483 ++ 2 --
Merge b51e9cc92574ee914d9c57af04d2355eb1f07426 into ca77804c755e3c7bd18616e673f2d655d1b9114f
b5a00fc9
pull/683/merge
300/117,786 ++ 5,151 --
Merge 16081ea49e84d206382c34ef342929835062c09d into c8f008188921c2fedaf99543ca85ca7d4ad64393
9d3ed630
pull/21/merge
3/343 ++ 0 --
refactor: script improvements to cover all compile test cases and improve compile_all_fast UX
b51e9cc9
compile-all-fast-refactor
3/275 ++ 239 --
chore: update source locations to use %DIR% convention
1998ff73
compile-all-fast-refactor
1/0 ++ 0 --