runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Ist runtimeverification/evm-semantics einsteigerfreundlich?
Wir haben zuletzt zu wenige Pull Requests von externen Beitragenden an runtimeverification/evm-semantics gesehen, um zu sagen, wie oft sie gemergt werden. Derzeit ist 1 einsteigerfreundliches Issue offen.
- Sterne
- 593
- Forks
- 157
- Offene Anfänger-Issues
- 1
- Indexierte Issues
- 77
- Ø Merge
- 11 T. 2 Std.
- Gemergte PRs (30 T.)
- 2
- Vorherrschende Sprache
- KCL
- Lizenz
- BSD-3-Clause
- Letzter GitHub-Push
- 05.10.2026
- Zuletzt indexiert
- 19.9.2026
- Beitragsleitfaden
- Kein Beitragsleitfaden
- Verhaltenskodex
- Kein Verhaltenskodex
- Anfänger-Labels
- Keine Anfänger-Labels indexiert
So tragen Sie zu runtimeverification/evm-semantics bei
- Es gibt keinen Contributing Guide. Beginnen Sie mit der README und einigen kürzlich gemergten Pull Requests, um zu sehen, wie Änderungen eingereicht werden.
- Ihre Beiträge werden unter der BSD-3-Clause-Lizenz des Projekts veröffentlicht.
- Wählen Sie das offene einsteigerfreundliche Issue unten und schreiben Sie vor dem Start einen Kommentar, dass Sie es übernehmen möchten.
Issues, an denen vielleicht schon jemand arbeitet, stehen am Ende. Alles nach Datum anzeigen
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
runtimeverification/evm-semantics#2879 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2869 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2832 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
runtimeverification/evm-semantics#2824 ·
-
Symbolic Execution Slowdown with Summary RulesEvtl. wieder frei @Stevengre hat das vor 432 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/evm-semantics#2789 · 1 zugewiesene Person ·
-
EVM Opcode Summarization System Technical ReportEvtl. wieder frei @Stevengre hat das vor 461 Tagen übernommen, und es ist kein Pull Request offen. Offendocumentation
runtimeverification/evm-semantics#2778 · 1 zugewiesene Person ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 42/100
runtimeverification/evm-semantics#2777 ·
-
EVM Opcode Summarization System Development ReportEvtl. wieder frei @Stevengre hat das vor 462 Tagen übernommen, und es ist kein Pull Request offen. Offendocumentation
runtimeverification/evm-semantics#2776 · 1 zugewiesene Person ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2736 ·
-
Investigate unexpected branch splitting for some rules during opcode summarization.Evtl. wieder frei @Stevengre hat das vor 565 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/evm-semantics#2731 · 1 zugewiesene Person ·
-
Summarize all the EVM opcodesEvtl. wieder frei @Stevengre hat das vor 608 Tagen übernommen, und es ist kein Pull Request offen. Offenenhancement
runtimeverification/evm-semantics#2705 · 2 Kommentare · 1 zugewiesene Person ·
-
bug
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100
runtimeverification/evm-semantics#2678 ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100
runtimeverification/evm-semantics#2677 ·
-
bug
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2617 · 7 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
runtimeverification/evm-semantics#2552 · 2 Kommentare ·
-
Add Dencun upgrade changesEvtl. wieder frei @anvacaru hat das vor 840 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/evm-semantics#2356 · 2 Kommentare · 1 zugewiesene Person ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#2314 ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#2291 · 1 Kommentar ·
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#2290 ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2274 ·
-
Fix warnings on non-exhaustive matches for rulesEvtl. wieder frei Ein Pull Request dazu wurde ohne Merge geschlossen. Offenkevm
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2248 · 2 Kommentare ·
-
Segfaults on arm64 macOSOffen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 15/100
runtimeverification/evm-semantics#2238 ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#2162 ·
-
Docker CI build step too slowEvtl. wieder frei @ehildenb hat das vor 1076 Tagen übernommen, und es ist kein Pull Request offen. Offen
runtimeverification/evm-semantics#2150 · 1 Kommentar · 1 zugewiesene Person ·
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2145 ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
runtimeverification/evm-semantics#2143 · 3 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2124 · 1 Kommentar ·
-
cli enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
runtimeverification/evm-semantics#2122 ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
runtimeverification/evm-semantics#2088 · 5 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#2070 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2061 ·
-
bug
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2040 ·
-
bug cli
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#2033 ·
-
Parallelize symbolic execution of testsEvtl. wieder frei Ein Pull Request dazu wurde ohne Merge geschlossen. Offenengagement enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
runtimeverification/evm-semantics#2009 · 2 Kommentare ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#1994 · 2 Kommentare ·
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
runtimeverification/evm-semantics#1973 ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1955 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1950 · 2 Kommentare ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
runtimeverification/evm-semantics#1942 · 1 Kommentar ·
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
runtimeverification/evm-semantics#1889 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1875 · 2 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1851 · 3 Kommentare ·
-
Implement vm.record cheat codeEvtl. wieder frei Ein Pull Request dazu wurde ohne Merge geschlossen. Offenenhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1787 · 4 Kommentare ·
-
enhancement
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100
runtimeverification/evm-semantics#1753 · 1 Kommentar ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
runtimeverification/evm-semantics#1752 · 4 Kommentare ·
-
enhancement
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1741 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1690 · 1 Kommentar ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1681 · 2 Kommentare ·
-
kevm
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1671 · 2 Kommentare ·
-
Split `__main__.py`Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
runtimeverification/evm-semantics#1661 ·