Stevengre
Follow
Pinned Loading
148 contributions in the last year
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2025
Created 14 commits in 1 repository
Created a pull request in runtimeverification/evm-semantics that received 5 comments
Integrate opcode semantics summaries
Refactored the summarize function to print correct and compilable k definitions for summaries. Added new summary targets for LLVM and Haskell back…
+7,205
−96
lines changed
•
5
comments
Opened 7 other pull requests in 2 repositories
runtimeverification/evm-semantics
5
merged
-
Support gas cost summarization for all supported opcode.
This contribution was made on Mar 19
-
Simplify the summary rules for
DUP,SWAP, andLOG.This contribution was made on Mar 18 -
Refactor summarize command and options in cli.py and __main__.py.
This contribution was made on Mar 18
-
Use the upstream
llvm_interpretfunctionThis contribution was made on Mar 14 -
Reduce max_depth in KEVMSummarizer to 1 for proof exploration
This contribution was made on Mar 11
runtimeverification/kontrol
1
open
1
closed
-
[don't merge] Update kevm-pyk dependency to branch 'support-gas-cost'…
This contribution was made on Mar 24
-
[don't Merge!]Update dependency: deps/kevm_release to branch support-…
This contribution was made on Mar 20
Reviewed 10 pull requests in 3 repositories
runtimeverification/riscv-semantics
5 pull requests
-
Add LICENSE
This contribution was made on Mar 26
-
Implement
MUL*instructionsThis contribution was made on Mar 26 -
Add option
--zero-initThis contribution was made on Mar 26 -
Update submodule URL to use HTTPS
This contribution was made on Mar 20
-
Add test harness for K functions
This contribution was made on Mar 11
runtimeverification/evm-semantics
4 pull requests
-
Support gas cost summarization for all supported opcode.
This contribution was made on Mar 20
-
Integrate summaries of opcode automatically into the evm semantics
This contribution was made on Mar 17
-
Use the upstream
llvm_interpretfunctionThis contribution was made on Mar 17 -
provide
KEVMSummarizerto sammarize rules for all the instruction rulesThis contribution was made on Mar 5
runtimeverification/k
1 pull request
-
Check for empty output in
llvm_interpretThis contribution was made on Mar 17
Created an issue in runtimeverification/evm-semantics that received 1 comment
A strange phenomenon of verification time consumption during summarization
This PR reduce time consumption for Test PR / Proofs: Summarization (pull_request) from 4 hours to 10 minutes just by changing the max_depth from 1…
1
comment
Opened 1 other issue in 1 repository
runtimeverification/evm-semantics
1
open
-
Investigate unexpected branch splitting for some rules during opcode summarization.
This contribution was made on Mar 27