Skip to content

Issues: runtimeverification/gitbook-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

20 Open 15 Closed
20 Open 15 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

Use kontrol-demo to rephrase the Kontrol Example section.
#63 opened Nov 7, 2024 by Stevengre
@Stevengre
Inconsistent descriptions between the code and the docs
#62 opened Nov 7, 2024 by Stevengre
@Stevengre
1
Some thoughts on the overview.
#58 opened Oct 31, 2024 by Stevengre
5
Remove kontrol prove and build flag description from docs documentation Improvements or additions to documentation
#55 opened Sep 10, 2024 by palinatolmach
1
Document rekompilation & reinitialization logic documentation Improvements or additions to documentation
#54 opened Aug 2, 2024 by palinatolmach
Add TOML config functionality to docs
#51 opened May 29, 2024 by palinatolmach
3
Mention contributing guidelines in the docs
#50 opened May 27, 2024 by palinatolmach
Add Reference projects to the docs documentation Improvements or additions to documentation
#47 opened Apr 26, 2024 by palinatolmach
Mention Kontrol GitHub action in the docs documentation Improvements or additions to documentation
#46 opened Apr 26, 2024 by palinatolmach
Add more tips on how to debug Kontrol proofs documentation Improvements or additions to documentation
#43 opened Apr 8, 2024 by palinatolmach
Document Kontrol resource consumption documentation Improvements or additions to documentation
#41 opened Apr 5, 2024 by palinatolmach
Add section on bytecode verification documentation Improvements or additions to documentation
#40 opened Apr 3, 2024 by palinatolmach
Consistency in documentation and terminal
#34 opened Jan 23, 2024 by reekamaharaj
Documentation for cheatcodes
#32 opened Dec 15, 2023 by RaoulSchaffranek
Document overflow and constructor Kontrol gotchas documentation Improvements or additions to documentation
#31 opened Dec 12, 2023 by palinatolmach
Add section on how to create and run claims documentation Improvements or additions to documentation
#22 opened Oct 19, 2023 by JuanCoRo
@JuanCoRo
Create section on cheatcodes
#21 opened Oct 12, 2023 by JuanCoRo
Foundry-demo repo
#14 opened Oct 5, 2023 by reekamaharaj
3 tasks
@JuanCoRo
Kontrol Glossary page
#13 opened Sep 21, 2023 by reekamaharaj
1
Understanding KCFG output, stuck node
#11 opened Sep 20, 2023 by reekamaharaj
3 tasks
ProTip! Find all open issues with in progress development work with linked:pr.