Pythonic Smart Contract Language for the EVM
Stars
5.2k
Forks
889
Watchers
5.2k
Open Issues
582
Overall repository health assessment
No package.json found
This might not be a Node.js project
1.3k
commits
1.1k
commits
996
commits
792
commits
361
commits
152
commits
111
commits
100
commits
86
commits
68
commits
refactor[venom]: remove alloca_id and dead code in mem2var (#4892)
8780b31View on GitHubrefactor[venom]: remove alloca id from venom pipeline (#4891)
93822d5View on GitHubrefactor[venom]: split algebraic pass into affine folding and peephole passes (#4889)
a7f7bf1View on GitHubfeat[venom]: eliminate provably-safe overflow checks (#4826)
41b8507View on GitHubfix[venom]: don't fold affine chains through multi-use intermediates (#4887)
59d5ecbView on GitHubrefactor[venom]: unify algebraic pass into forward-only lattice architecture (#4884)
81dcf16View on GitHubrefactor[venom]: algebraic representation for range analysis (#4882)
8092fe6View on GitHub