Issues
- 0
Using eDSL instead of ACT as spec
#423 opened by alex-chambet - 0
act2 migration
#416 opened by MrChico - 4
Filter out unrelated constraint changes
#381 opened by asymmetric - 0
Document files in KLAB_OUT
#412 opened by asymmetric - 7
Strip metadata before calculating proof hash
#406 opened by asymmetric - 0
- 2
klab-prove: traverse and prove called specs
#374 opened by asymmetric - 0
- 0
report: fetch url is editable
#408 opened by asymmetric - 0
- 5
klab debug's rule view uses hardcoded paths
#404 opened by livnev - 2
Show lemmas in r view
#405 opened by asymmetric - 0
Investigate .git requirements in klab-prove-all
#403 opened by d-xo - 0
Document dirty lemmas feature
#401 opened by asymmetric - 0
fetch running proofs
#400 opened by asymmetric - 4
klab fetch shouldn't focus
#389 opened by asymmetric - 4
extract storage layout from solidity option
#362 opened by MrChico - 0
Document resources/k.json
#388 opened by asymmetric - 0
Document failure heading
#385 opened by asymmetric - 0
Use wall-clock time in timeouts
#384 opened by asymmetric - 0
Handle writes to memory in `internal` specs
#325 opened by d-xo - 1
Deal with ASTs produced by Waffle
#380 opened by asymmetric - 2
Adapt PC extractor to work with library functions
#377 opened by asymmetric - 0
- 0
Remove default value for KLAB_EVMS_PATH
#372 opened by asymmetric - 3
RFC: act: storage case
#366 opened by d-xo - 6
static keyword
#360 opened by asymmetric - 2
RFC: act: all of
#367 opened by d-xo - 0
Erroneous lemma
#289 opened by MrChico - 0
Add klab version to proof_hash
#349 opened by asymmetric - 0
Document how the proof hash is calculated
#348 opened by asymmetric - 0
report: disambiguate via timestamp
#339 opened by asymmetric - 0
Document embedded rules
#313 opened by asymmetric - 1
Revert #330
#331 opened by asymmetric - 0
Document T binding.
#324 opened by asymmetric - 0
Add section about claims on gas to README
#322 opened by asymmetric - 0
Document exhaustiveness specs
#323 opened by asymmetric - 0
Document returndata
#328 opened by asymmetric - 0
Mention EVM version compatibility
#321 opened by asymmetric - 0
Document TIME
#293 opened by asymmetric - 0
report: display git commit somewhere
#309 opened by asymmetric - 4
klab parse
#308 opened by asymmetric - 0
Get latest K
#315 opened by asymmetric - 1
fix status notifications
#311 opened by asymmetric - 1
klab build --refocus
#302 opened by asymmetric - 1
klab init
#301 opened by asymmetric - 2
klab prove fails with z3 4.8.7
#295 opened by d-xo - 0
- 1
- 4