runtimeverification/kontrol

View on GitHub

Stars: 122
Forks: 16
Open beginner issues: 0
Indexed issues: 168

Dominant language: Python
License: BSD-3-Clause
Last GitHub push: Aug 12, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue help wanted
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

168 open issues indexed

The `docker` CI test fails on recent Foundry versions Open

Difficulty 3/5 1-2 days Newbie friendliness 52/100

runtimeverification/kontrol#1142 · Opened May 12, 2026
New cheatcode: `symbolicStorage` variant that preserves existing storage assignments Open

Difficulty 5/5 Over a week Newbie friendliness 42/100

runtimeverification/kontrol#1138 · Opened Apr 21, 2026
Implement `vm.getStorageSlots` cheatcode Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

runtimeverification/kontrol#1137 · Opened Apr 21, 2026
`kontrol simplify-node --config-profile <profile>` ignores `kontrol.toml` and specified profile Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

runtimeverification/kontrol#1134 · 1 comment · Opened Apr 13, 2026
`kontrol simplify-node --lemmas` broken Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

runtimeverification/kontrol#1133 · 4 comments · Opened Apr 13, 2026
Introduce additional auxiliary functions to `KontrolTest` Open

Difficulty 3/5 1-2 days Newbie friendliness 50/100

runtimeverification/kontrol#1083 · Opened Sep 30, 2025
Kontrol does not idendify tests if Contracts are duplicated Open

Difficulty 3/5 1-2 days Newbie friendliness 50/100

runtimeverification/kontrol#1062 · Opened Aug 8, 2025
Kontrol returns incorrect counterexample for failing test Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

runtimeverification/kontrol#1054 · Opened Jul 15, 2025
Keccak lemma can cause important cases to be overlooked in a test Open

runtimeverification/kontrol#1053 · 1 comment · 1 assignee · Opened Jul 15, 2025
Refactor the printing of failure information in kontrol show Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

runtimeverification/kontrol#1048 · Opened Jul 8, 2025
Exclude `setUp` from test count in the report Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

runtimeverification/kontrol#1038 · Opened Jun 9, 2025
Empty entries printed in the kaas remote compute job Open

runtimeverification/kontrol#1020 · 1 comment · 1 assignee · Opened Apr 28, 2025
Updates to Kontrol Documentation Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

runtimeverification/kontrol#1018 · Opened Apr 27, 2025
Upstream recent engagement lemmas for keccak Open

Difficulty 1/5 Under an hour Newbie friendliness 55/100

runtimeverification/kontrol#1004 · Opened Mar 25, 2025
Add `deadcode` utility to CI code checks Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/kontrol#989 · 1 comment · Opened Mar 14, 2025
Build from src (without nix) on Mac CI/CD Open

documentation enhancement help wanted investigation

runtimeverification/kontrol#987 · 1 assignee · Opened Mar 13, 2025
`Array length bounds missing` error when constructor takes a struct that includes an array of structs Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/kontrol#974 · 1 comment · Opened Mar 5, 2025
Add a `prank` variation that would not load account Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/kontrol#972 · Opened Mar 3, 2025
Add the ability to filter out failures based on the reason Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 35/100

runtimeverification/kontrol#971 · Opened Mar 3, 2025
Document the use of Docker container Open

Difficulty 2/5 Half a day Newbie friendliness 55/100

runtimeverification/kontrol#966 · Opened Feb 20, 2025
Simplify the installation process Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

runtimeverification/kontrol#962 · 2 comments · Opened Feb 16, 2025
Set XML Report Name in UI / kaas-cli when calling kontrol Open

kaas

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/kontrol#953 · Opened Jan 29, 2025
Revise implementation of the `forgetBranch` cheatcode Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/kontrol#943 · Opened Jan 23, 2025
Automate schedule selection based on `foundry.toml`, `kontrol.toml` and defaults Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

runtimeverification/kontrol#934 · 1 comment · Opened Jan 17, 2025
Automate external computation/state-diff approach Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/kontrol#932 · Opened Jan 16, 2025
Support `randomInt` cheatcodes Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

runtimeverification/kontrol#927 · Opened Jan 13, 2025
CSE for real-world contracts Open

bug cse

runtimeverification/kontrol#922 · 1 assignee · Opened Jan 6, 2025
Reconstruct Kontrol's functionality related to minimization and merge node Open

enhancement

runtimeverification/kontrol#908 · 1 assignee · Opened Dec 10, 2024
Integrate symbolic storage generation script into a Kontrol command Open

enhancement

runtimeverification/kontrol#905 · 1 assignee · Opened Dec 6, 2024
Make CSE more useful by reusing the previous proof Open

cse

runtimeverification/kontrol#896 · 3 comments · 1 assignee · Opened Nov 27, 2024
Support signed int `random` cheatcodes Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/kontrol#890 · Opened Nov 20, 2024
[CSE] Basic CI tests Open

cse

runtimeverification/kontrol#888 · 1 comment · 1 assignee · Opened Nov 19, 2024
Generate complete default `kontrol.toml` automatically using `kontrol config` like the `foundry config`. Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

runtimeverification/kontrol#887 · Opened Nov 19, 2024
Counter examples in Solidity Open

enhancement ux

Difficulty 5/5 Over a week Newbie friendliness 35/100

runtimeverification/kontrol#886 · 1 comment · Opened Nov 18, 2024
Schedule should be read from `foundry.toml` Open

enhancement good first issue

Difficulty 2/5 1-3 hours Newbie friendliness 50/100

runtimeverification/kontrol#873 · 1 comment · Opened Oct 28, 2024
Lemmas aren't updated automatically Open

Difficulty 3/5 1-2 days Newbie friendliness 42/100

runtimeverification/kontrol#871 · Opened Oct 22, 2024
Kontrol Loop Invariants knowledge Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/kontrol#866 · 4 comments · Opened Oct 15, 2024
Add test of `kontol show ... --to-kevm-rules` Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

runtimeverification/kontrol#863 · Opened Oct 10, 2024
XML report: include information about nodes, branches in proofs Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/kontrol#860 · Opened Oct 9, 2024
Include `kontrol prove` command in the XML report Open

engagement enhancement kaas

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/kontrol#856 · Opened Oct 8, 2024
Add the ability to direct the execution towards one branch Open

engagement enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/kontrol#852 · Opened Oct 7, 2024
Add the ability to print a subtree in KCFG Open

enhancement

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/kontrol#851 · 2 comments · Opened Oct 7, 2024
Add a test for an `etch` to a symbolic address Open

Difficulty 2/5 1-3 hours Newbie friendliness 48/100

runtimeverification/kontrol#841 · Opened Sep 30, 2024
Make test prefix customizable in `kontrol prove` Open

enhancement

Difficulty 3/5 1-2 days Newbie friendliness 45/100

runtimeverification/kontrol#834 · Opened Sep 25, 2024
CSE: Add constraints on `address` fields, parameters Open

cse

Difficulty 4/5 3-5 days Newbie friendliness 35/100

runtimeverification/kontrol#827 · Opened Sep 23, 2024
Reference a full `kontrol.toml` file in docs Open

enhancement good first issue kaas

runtimeverification/kontrol#818 · 2 comments · 1 assignee · Opened Sep 11, 2024
Out of bounds test id Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

runtimeverification/kontrol#805 · Opened Sep 4, 2024
Update Kontrol documentation Open

runtimeverification/kontrol#770 · 1 comment · 2 assignees · Opened Aug 13, 2024
[intuitiveness] Minimize the need for background knowledge Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

runtimeverification/kontrol#761 · 1 comment · Opened Aug 9, 2024
Increasing the Kontrol test time limit on "integration tests (booster)" Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

runtimeverification/kontrol#760 · Opened Aug 8, 2024

runtimeverification/kontrol

Get new issues in your inbox