kevm_pyk

Apr 9, 2025

db7d25e · Apr 9, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
kdist	kdist	Integrate opcode semantics summaries (#2728 )	Apr 2, 2025
kproj	kproj	Update opcode summaries to standardize labels and improve clarity (#2737	Apr 9, 2025
__init__.py	__init__.py	Update dependency: deps/k_release (#2572 )	Aug 10, 2024
__main__.py	__main__.py	Refactor summarize command and options in cli.py and __main__.py. (#2725	Mar 18, 2025
cli.py	cli.py	Reuse existing upstream functionality for legacy_explore (#2734 )	Apr 9, 2025
config.py	config.py	Update dependency: deps/pyk_release (#2202 )	Dec 1, 2023
gst_to_kore.py	gst_to_kore.py	Update loadTx rules in driver.md (#2692 )	Jan 23, 2025
interpreter.py	interpreter.py	Use the upstream `llvm_interpret` function (#2723 )	Mar 17, 2025
kevm.py	kevm.py	Simplify the summary rules for `DUP`, `SWAP`, and `LOG`. (#2726 )	Mar 20, 2025
kompile.py	kompile.py	Build semantics using `krypto.a` (#2387 )	Aug 16, 2024
py.typed	py.typed	Update dependency: deps/k (#1338 )	Sep 1, 2022
summarizer.py	summarizer.py	Update opcode summaries to standardize labels and improve clarity (#2737	Apr 9, 2025
utils.py	utils.py	Reuse existing upstream functionality for legacy_explore (#2734 )	Apr 9, 2025

Provide feedback