Issues

Operator precedence in updateNested causes incorrect nested map update
runtimeverification/kontrol-node#99 · opened on Mar 24, 2026
Babylon: Large setUp function traces can slow down Simbolik
runtimeverification/kontrol-node#98 · opened on Mar 17, 2026
2
Babylon: Empty RPC responses
runtimeverification/kontrol-node#97 · opened on Mar 17, 2026
Add nix derivation of kontrol-node
runtimeverification/kontrol-node#96 · opened on Mar 17, 2026
Kontrol-Node hangs on unsupported RPC requests
runtimeverification/kontrol-node#90 · opened on Feb 4, 2026
Unlocked accounts balance different for anvil and kontrol-node
runtimeverification/kontrol-node#89 · opened on Feb 4, 2026
Change default signer account
runtimeverification/kontrol-node#88 · opened on Feb 4, 2026
Avoid converting between KAST and KORE for performance
runtimeverification/kontrol-node#87 · opened on Feb 4, 2026
Trace storage, balance, and nonce changes with individual rules in evm-semantics
runtimeverification/kontrol-node#62 · opened on Aug 20, 2025
Upgrade to cancun semantics
runtimeverification/kontrol-node#59 · opened on Jul 30, 2025
Setup build and release CI+CD
runtimeverification/kontrol-node#51 · opened on Jul 8, 2025
Trace solidity mapping keys
runtimeverification/kontrol-node#49 · opened on Jul 1, 2025
Performance profiling
runtimeverification/kontrol-node#47 · opened on Jul 1, 2025
1
Migrate from poetry to uv
runtimeverification/kontrol-node#40 · opened on Jun 10, 2025
Trace cheatcode execution
runtimeverification/kontrol-node#36 · opened on Nov 26, 2024
Standard Output should be in JSON format.
runtimeverification/kontrol-node#23 · opened on Sep 17, 2024
RPC methods required by Simbolik demo
runtimeverification/kontrol-node#19 · opened on Sep 10, 2024
1
Add a way to show that the server instance is live
runtimeverification/kontrol-node#13 · opened on Sep 5, 2024