FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Issues · runtimeverification/evm-semantics · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
runtimeverification
/
evm-semantics
Public
Notifications
You must be signed in to change notification settings
Fork
155
Star
590
Code
Issues
76
Pull requests
13
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Issues
Assigned to me
Created by me
Mentioned
Recent activity
Views
Projects
Milestones
Labels
All issues
Issue creation is restricted in this repository
Issues
Search Issues
is
:
issue
state
:
open
is:issue state:open
Search
Search results
Open
Closed
Avoid require clause if the given patterns are known to be concrete
Status: Open.
#2869
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Jun 24, 2026
Investigate conformance tests running out of memory.
Status: Open.
#2832
In runtimeverification/evm-semantics;
·
anvacaru
opened
on Dec 16, 2025
Update legacy-tests across test-suites
Status: Open.
#2824
In runtimeverification/evm-semantics;
·
anvacaru
opened
on Dec 11, 2025
Symbolic Execution Slowdown with Summary Rules
Status: Open.
#2789
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Aug 8, 2025
EVM Opcode Summarization System Technical Report
documentation
Improvements or additions to documentation
Improvements or additions to documentation
Status: Open.
#2778
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Jul 9, 2025
Add dedicated SourceTarget to kdist
Status: Open.
#2777
In runtimeverification/evm-semantics;
·
juliankuners
opened
on Jul 9, 2025
EVM Opcode Summarization System Development Report
documentation
Improvements or additions to documentation
Improvements or additions to documentation
Status: Open.
#2776
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Jul 9, 2025
Optimize the side conditions in the semantics to help the booster backend reasoning
enhancement
New feature or request
New feature or request
Status: Open.
#2736
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Apr 7, 2025
Investigate unexpected branch splitting for some rules during opcode summarization.
Status: Open.
#2731
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Mar 27, 2025
Summarize all the EVM opcodes
enhancement
New feature or request
New feature or request
Status: Open.
#2705
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Feb 13, 2025
Possible outdated libstdc++-12-dev dependency
bug
Something isn't working
Something isn't working
Status: Open.
#2678
In runtimeverification/evm-semantics;
·
JuanCoRo
opened
on Jan 13, 2025
When you cannot kdist build evm-semantics.haskell
Status: Open.
#2677
In runtimeverification/evm-semantics;
·
Stevengre
opened
on Jan 7, 2025
Back
|
FazBrowse Home
|
New Git URL