issues
search
runtimeverification
/
gitbook-kontrol
https://docs.runtimeverification.com/kontrol
4
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Simplifications guide
#57
PetarMax
opened
2 days ago
0
draft new example for linked libs
#56
anvacaru
closed
2 weeks ago
0
Remove `kontrol prove` flag description from docs
#55
palinatolmach
opened
1 month ago
1
Document rekompilation & reinitialization logic
#54
palinatolmach
opened
2 months ago
0
Remove note on unsupported asserts
#53
palinatolmach
closed
2 months ago
0
Remove a note on new `assert`s being unsupported
#52
palinatolmach
closed
2 months ago
0
Add TOML config functionality to docs
#51
palinatolmach
opened
4 months ago
1
Mention contributing guidelines in the docs
#50
palinatolmach
opened
4 months ago
0
Solady & description update
#49
palinatolmach
closed
5 months ago
0
Update Solady lemmas section
#48
palinatolmach
closed
5 months ago
0
Add Reference projects to the docs
#47
palinatolmach
opened
5 months ago
0
Mention Kontrol GitHub action in the docs
#46
palinatolmach
opened
5 months ago
0
Add `digest` file docs to developer docs
#45
palinatolmach
closed
5 months ago
0
Incorporate documentation of digest file into GitBook
#44
ehildenb
closed
5 months ago
1
Add more tips on how to debug Kontrol proofs
#43
palinatolmach
opened
6 months ago
0
Clarify `kontrol build` behavior
#42
palinatolmach
closed
2 months ago
1
Document Kontrol resource consumption
#41
palinatolmach
opened
6 months ago
0
Add section on bytecode verification
#40
palinatolmach
opened
6 months ago
0
Remove `assertEq` in `testMulWad`
#39
palinatolmach
closed
6 months ago
1
Lemmas typos
#38
JuanCoRo
closed
6 months ago
2
Update solidity code
#37
anvacaru
closed
6 months ago
0
docs(update): add pre requisites for installations
#36
sambacha
opened
7 months ago
0
Update docs
#35
anvacaru
closed
8 months ago
0
Consistency in documentation and terminal
#34
reekamaharaj
opened
9 months ago
0
Update Documentation and example involving infinite gas
#33
reekamaharaj
closed
8 months ago
1
Documentation for cheatcodes
#32
RaoulSchaffranek
opened
10 months ago
0
Document overflow and constructor Kontrol gotchas
#31
palinatolmach
opened
10 months ago
0
Add `fail-fast` to Kontrol Cheatsheet
#30
palinatolmach
closed
9 months ago
2
Suggestions and typos in Kontrol tips
#29
lucasmt
closed
10 months ago
0
Minor updates
#28
dkcumming
closed
11 months ago
1
Update kup-cheatsheet with nix config troubleshooting
#27
hjorthjort
closed
11 months ago
0
Update `kup` cheat-sheet
#26
geo2a
closed
9 months ago
4
Replace `kup update` with `kup install`
#25
JuanCoRo
closed
11 months ago
0
Replace `kevm` with `kontrol` in page links
#24
palinatolmach
closed
11 months ago
0
Add `--counterexample-information` to Kontrol cheatsheet
#23
palinatolmach
closed
10 months ago
0
Add section on how to create and run claims
#22
JuanCoRo
opened
1 year ago
0
Create section on cheatcodes
#21
JuanCoRo
opened
1 year ago
0
Add kontrol cheatcodes library
#20
JuanCoRo
closed
1 year ago
0
Add Kontrol Cheatcodes library
#19
JuanCoRo
closed
1 year ago
0
Remove unnecessary backslash
#18
JuanCoRo
closed
1 year ago
0
Update to kontrol v0.1.20
#17
JuanCoRo
closed
1 year ago
0
Remove instruction to run `forge build`
#16
palinatolmach
closed
1 year ago
0
Remove `infiniteGas` from example
#15
palinatolmach
closed
8 months ago
1
Foundry-demo repo
#14
reekamaharaj
opened
1 year ago
0
Kontrol Glossary page
#13
reekamaharaj
opened
1 year ago
1
Tips, FAQ page
#12
reekamaharaj
closed
10 months ago
4
Understanding KCFG output, stuck node
#11
reekamaharaj
opened
1 year ago
0
New screenshots kcfg
#10
reekamaharaj
closed
1 year ago
0
Fix a typo in k-control-flow-graph-kcfg.md
#9
h0nzZik
closed
1 year ago
0
Reekamaharaj patch 1
#8
reekamaharaj
closed
1 year ago
1
Next