2 Pull requests merged by 1 person

• links: more automation

  #651 merged Jan 30, 2025

• Links: more proofs

  #649 merged Jan 27, 2025

1 Issue opened by 1 person

• Revm: optimize the links definitions

  #650 opened Jan 27, 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: implement eof_create_inputs definitions

  #648 commented on Jan 24, 2025 • 2 new comments