12 Pull requests merged by 1 person

• revm: links for the ADD instruction

  #668 merged Feb 25, 2025

• revm: handle more dependencies for the arithmetic file

  #664 merged Feb 24, 2025

• Translation: associated types and trait polymorphism

  #663 merged Feb 20, 2025

• Add more automation for the generation of link types

  #659 merged Feb 17, 2025

• ci: remove unused or too large JSON files

  #661 merged Feb 16, 2025

• More links

  #657 merged Feb 14, 2025

• Full links for the gas file

  #656 merged Feb 11, 2025

• links: add automation to generate constants file

  #655 merged Feb 7, 2025

• links: add handling of constants

  #654 merged Feb 4, 2025

• Add more links definitions for the gas

  #652 merged Feb 3, 2025

• links: more automation

  #651 merged Jan 30, 2025

• Links: more proofs

  #649 merged Jan 27, 2025

3 Pull requests opened by 3 people

• Adding links to precompile crate (#658)

  #662 opened Feb 17, 2025

• draft: adding clone

  #667 opened Feb 24, 2025

• Draft: handle the instructions table

  #669 opened Feb 25, 2025

2 Issues closed by 1 person

• Revm: optimize the links definitions

  #650 closed Feb 14, 2025

• Add a definition for the constants

  #653 closed Feb 4, 2025

4 Issues opened by 1 person

• Revm: Links: revm_bytecode/eof/decode_helpers.v

  #666 opened Feb 24, 2025

• Revm: Links: revm_bytecode/eof/body.v

  #665 opened Feb 24, 2025

• Revm: Links: automate the generation of types

  #660 opened Feb 14, 2025

• Revm: Links: Add them for the revm_precompile crate

  #658 opened Feb 14, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Draft: experiments around stack semantics

  #613 commented on Feb 11, 2025 • 0 new comments