Skip to content

Issues: runtimeverification/kontrol

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

148 Open 185 Closed
148 Open 185 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Make CSE more useful by reusing the previous proof cse
#896 opened Nov 27, 2024 by Stevengre
@Stevengre
Support signed int random cheatcodes
#890 opened Nov 20, 2024 by palinatolmach
[CSE] Basic CI tests cse
#888 opened Nov 19, 2024 by Stevengre
5 tasks
@Stevengre
1
Generate complete default kontrol.toml automatically using kontrol config like the foundry config.
#887 opened Nov 19, 2024 by Stevengre
@Stevengre
Counter examples in Solidity enhancement New feature or request ux
#886 opened Nov 18, 2024 by RaoulSchaffranek
1
Support random* Foundry cheatcodes as alias for fresh*
#876 opened Nov 7, 2024 by palinatolmach
@palinatolmach
Schedule should be read from foundry.toml enhancement New feature or request good first issue Good for newcomers
#873 opened Oct 28, 2024 by palinatolmach
Lemmas aren't updated automatically
#871 opened Oct 22, 2024 by palinatolmach
Kontrol Loop Invariants knowledge
#866 opened Oct 15, 2024 by ehildenb
4
Add test of kontol show ... --to-kevm-rules
#863 opened Oct 10, 2024 by ehildenb
XML report: include information about nodes, branches in proofs
#860 opened Oct 9, 2024 by palinatolmach
Include kontrol prove command in the XML report engagement enhancement New feature or request kaas
#856 opened Oct 8, 2024 by palinatolmach
Add the ability to direct the execution towards one branch engagement enhancement New feature or request
#852 opened Oct 7, 2024 by palinatolmach
Add the ability to print a subtree in KCFG enhancement New feature or request
#851 opened Oct 7, 2024 by palinatolmach
2
Add a test for an etch to a symbolic address
#841 opened Sep 30, 2024 by palinatolmach
1
@palinatolmach
Make test prefix customizable in kontrol prove enhancement New feature or request
#834 opened Sep 25, 2024 by palinatolmach
Update kontrol.toml values
#831 opened Sep 24, 2024 by palinatolmach
CSE: Add constraints on address fields, parameters cse
#827 opened Sep 23, 2024 by palinatolmach
1
@palinatolmach
incorrectly branching into cheatcode call during cse summarization bug Something isn't working cse
#822 opened Sep 19, 2024 by ovatman
@palinatolmach
8
Reference a full kontrol.toml file in docs enhancement New feature or request good first issue Good for newcomers kaas
#818 opened Sep 11, 2024 by palinatolmach
@Stevengre
2
Duplicated extra_output in kontrol init --skip-forge bug Something isn't working
#817 opened Sep 11, 2024 by palinatolmach
Out of bounds test id bug Something isn't working
#805 opened Sep 4, 2024 by anvacaru
Update Kontrol documentation
#770 opened Aug 13, 2024 by palinatolmach
@palinatolmach @Stevengre
1
[intuitiveness] Minimize the need for background knowledge
#761 opened Aug 9, 2024 by Stevengre
1
Increasing the Kontrol test time limit on "integration tests (booster)"
#760 opened Aug 8, 2024 by F-WRunTime
ProTip! Mix and match filters to narrow down what you’re looking for.