LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

evm-asm

amit0365/evm-asm

LeanEmerging

Stars

—

Forks

—

Contributors

5

Last push

3d ago

Recent commits

Latest commits.

Merge pull request #2643 from Verified-zkEVM/chore/divmod-dead-fullDivN1Norm-cluster
2e0cc0cYoichi Hirai1mo ago
Merge pull request #2641 from Verified-zkEVM/chore/shake-addback-pinning
facad20Yoichi Hirai1mo ago
Merge pull request #2654 from Verified-zkEVM/chore/dead-pcIndep
9c02313Yoichi Hirai1mo ago
Merge pull request #2678 from Verified-zkEVM/chore/shake-loopsemantic-noshake
a03189fYoichi Hirai1mo ago
Merge origin/main into chore/divmod-dead-fullDivN1Norm-cluster
9223fc1Yoichi Hirai1mo ago

chore(shake): noshake LoopSemantic DivMulSubCarry+DivAddbackCarry false positives

75a5923Yoichi Hirai1mo ago

Merge pull request #2666 from Verified-zkEVM/chore/shake-divremainderbound-noshake

8ed6fb8Yoichi Hirai1mo ago

Merge pull request #2673 from Verified-zkEVM/chore/divmod-delete-dead-loopBodyPre

8959a4aYoichi Hirai1mo ago

Top contributors

Builders behind this project.

alexanderlhicks