-
Notifications
You must be signed in to change notification settings - Fork 5
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
incorrectly branching into cheatcode call during cse summarization
bug
Something isn't working
cse
#822
opened Sep 19, 2024 by
ovatman
Duplicated Something isn't working
extra_output
in kontrol init --skip-forge
bug
#817
opened Sep 11, 2024 by
palinatolmach
Increasing the Kontrol test time limit on "integration tests (booster)"
#760
opened Aug 8, 2024 by
F-WRunTime
[proof-explore | low-priority] A Call for Improved Methods in Proof Exploration
enhancement
New feature or request
#743
opened Aug 5, 2024 by
Stevengre
[cse] Precondition Refinement
cse
enhancement
New feature or request
#742
opened Aug 5, 2024 by
Stevengre
Factor the contract digest logic down to the New feature or request
Contract
class
enhancement
#739
opened Aug 2, 2024 by
JuanCoRo
Remove irrelevant assignments from counterexamples
enhancement
New feature or request
ux
#710
opened Jul 19, 2024 by
palinatolmach
Hide certain cell contents from New feature or request
kontrol show
and kontrol view-kcfg
by default
enhancement
#706
opened Jul 17, 2024 by
JuanCoRo
Construct an appropriate New feature or request
is_mergable
heuristic for merging nodes and composable verification.
cse
enhancement
#703
opened Jul 17, 2024 by
Stevengre
3 of 6 tasks
Pending activities on Kontrol's VM module
documentation
Improvements or additions to documentation
#696
opened Jul 15, 2024 by
ACassimiro
7 tasks
Instructions for running Kontrol's JSON RPC server
documentation
Improvements or additions to documentation
#695
opened Jul 15, 2024 by
ACassimiro
KaaS: add the option to run
kontrol show
for all available proofs
kaas
#693
opened Jul 12, 2024 by
palinatolmach
Investigate conflict between Something isn't working
--foundry-project-root
and lemmas paths
bug
#683
opened Jul 8, 2024 by
palinatolmach
Consider supporting Foundry's invariant testing
enhancement
New feature or request
#677
opened Jul 8, 2024 by
palinatolmach
CSE: support aliases for contract fields
cse
engagement
enhancement
New feature or request
#653
opened Jun 26, 2024 by
palinatolmach
CSE: Apply range constraints to enums and mappings
cse
engagement
enhancement
New feature or request
#651
opened Jun 26, 2024 by
palinatolmach
Previous Next
ProTip!
What’s not been updated in a month: updated:<2024-08-23.