-
-
Notifications
You must be signed in to change notification settings - Fork 19
Insights: formal-land/coq-of-rust
Overview
-
- 2 Merged pull requests
- 2 Open pull requests
- 0 Closed issues
- 2 New issues
Loading
Could not load contribution data
Please try again later
Loading
2 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
2 Pull requests opened by 2 people
-
draft: adding clone
#667 opened
Feb 24, 2025 -
Draft: handle the instructions table
#669 opened
Feb 25, 2025
2 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
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.
-
Adding links to precompile crate (#658)
#662 commented on
Feb 25, 2025 • 0 new comments