Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[DO NOT MERGE] CI EVM Yul #217

Draft
wants to merge 219 commits into
base: evm-equivalence-yul
Choose a base branch
from
Draft

[DO NOT MERGE] CI EVM Yul #217

wants to merge 219 commits into from

Conversation

ManuelBilbao
Copy link

What ❔

Why ❔

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Tests for the changes have been added / updated.
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.
  • Spellcheck has been run via zk spellcheck.
  • Linkcheck has been run via zk linkcheck.

ManuelBilbao and others added 30 commits April 8, 2024 17:20
@ManuelBilbao
Add addmod opcode
ab0165c
@ManuelBilbao
Add mulmod opcode
5147884
@ManuelBilbao
Add ext opcode
5b322f6
@ManuelBilbao
Add signextend opcode
cb09228
@ManuelBilbao
Add div opcode
0edb493
@jrchatruc
Merge pull request matter-labs#1613 from lambdaclass/addmod-mulmod
8d92309 
[EVM-Equivalent-YUL] Add addmod and mulmod opcodes
@jrchatruc
Merge remote-tracking branch 'upstream/evm-equivalence-yul' into evm-…
1310949 
…equivalence-yul
@ManuelBilbao
Add sdiv opcode
02ab414
@ManuelBilbao
Add mod opcode
a5df05f
@ManuelBilbao
Add smod opcode
692f645
@ManuelBilbao
Resolve conflicts
5371db4
@jrchatruc
Update contracts submodule
d369e6f
@jrchatruc
Merge pull request matter-labs#1615 from lambdaclass/yul-ext-signext
fb5621d 
[EVM-Equivalent-YUL] Add exp and signextend opcodes
@jrchatruc
Merge remote-tracking branch 'upstream/evm-equivalence-yul' into yul-…
fcd2e5a 
…div-opcodes
@jrchatruc
Merge pull request matter-labs#1622 from lambdaclass/yul-div-opcodes
4d16850 
[EVM-Equivalent-YUL] Add div, sdiv, mod, smod opcodes
@jrchatruc
Merge remote-tracking branch 'upstream/evm-equivalence-yul' into evm-…
a6bbaaf 
…equivalence-yul
@jrchatruc
Update contracts submodule
8a7fdbc
@ManuelBilbao
Add jump opcode
d5552ba
@ManuelBilbao
Add jumpi opcode
98a2131
@ManuelBilbao
Add lt opcode
53658ff
@ManuelBilbao
Add gt opcode
0c31718
@ManuelBilbao
Add slt opcode
392159e
@ManuelBilbao
Move signextend tests
adce396
@ManuelBilbao
Add sgt opcode
d8aa5c9
@fborello-lambda
feat(dup-opcode): Add tests
4cdd554
@ManuelBilbao
Add eq opcode
012c50d
@ManuelBilbao
Add iszero opcode
5bceceb
@ManuelBilbao
Add xor opcode
fda8fca
@jrchatruc
Add basic "print" functions
98c893a
@ManuelBilbao
Add not opcode
9234173
@ManuelBilbao ManuelBilbao marked this pull request as ready for review April 26, 2024 12:59
@ManuelBilbao ManuelBilbao marked this pull request as draft April 26, 2024 12:59
@jrchatruc jrchatruc force-pushed the evm-equivalence-yul branch from 244d826 to be4dae4 Compare April 29, 2024 18:07
toni-calvin pushed a commit that referenced this pull request Aug 8, 2024
@Deniallugo
Revert "Fix: early exit in onlyVerifier branch" (#217)
7e29cdc
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
external-contribution
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ManuelBilbao @jrchatruc @fborello-lambda @gianbelinche