-
Notifications
You must be signed in to change notification settings - Fork 9
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Reconstruct Kontrol's functionality related to minimization and merge node
enhancement
New feature or request
#908
opened Dec 10, 2024 by
Stevengre
Integrate symbolic storage generation script into a Kontrol command
enhancement
New feature or request
#905
opened Dec 6, 2024 by
palinatolmach
Generate complete default
kontrol.toml
automatically using kontrol config
like the foundry config
.
#887
opened Nov 19, 2024 by
Stevengre
Counter examples in Solidity
enhancement
New feature or request
ux
#886
opened Nov 18, 2024 by
RaoulSchaffranek
Schedule should be read from New feature or request
good first issue
Good for newcomers
foundry.toml
enhancement
#873
opened Oct 28, 2024 by
palinatolmach
XML report: include information about nodes, branches in proofs
#860
opened Oct 9, 2024 by
palinatolmach
Include New feature or request
kaas
kontrol prove
command in the XML report
engagement
enhancement
#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
Make test prefix customizable in New feature or request
kontrol prove
enhancement
#834
opened Sep 25, 2024 by
palinatolmach
incorrectly branching into cheatcode call during cse summarization
bug
Something isn't working
cse
#822
opened Sep 19, 2024 by
ovatman
Reference a full New feature or request
good first issue
Good for newcomers
kaas
kontrol.toml
file in docs
enhancement
#818
opened Sep 11, 2024 by
palinatolmach
Duplicated Something isn't working
extra_output
in kontrol init --skip-forge
bug
#817
opened Sep 11, 2024 by
palinatolmach
Previous Next
ProTip!
Updated in the last three days: updated:>2024-12-22.