Skip to content
This repository has been archived by the owner on Aug 20, 2021. It is now read-only.

Issues: dapphub/klab

56 Open 50 Closed
56 Open 50 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

Using eDSL instead of ACT as spec
#423 opened Jun 16, 2020 by alex-chambet
act2 migration
#416 opened May 6, 2020 by MrChico
Document files in KLAB_OUT documentation
#412 opened Apr 24, 2020 by asymmetric
report: split methods into accessors and mutators in overview enhancement New feature or request good first issue Good for newcomers
#410 opened Apr 22, 2020 by d-xo
report: fetch url is editable bug Something isn't working
#408 opened Apr 20, 2020 by asymmetric
report: make 'not-specified' rows more distinguishable
#407 opened Apr 20, 2020 by asymmetric
Strip metadata before calculating proof hash enhancement New feature or request
#406 opened Apr 17, 2020 by asymmetric
7
klab debug's rule view uses hardcoded paths
#404 opened Apr 17, 2020 by livnev
@mhhf
5
Investigate .git requirements in klab-prove-all invalid This doesn't seem right question Further information is requested
#403 opened Apr 15, 2020 by d-xo
Document dirty lemmas feature documentation
#401 opened Apr 14, 2020 by asymmetric
fetch running proofs enhancement New feature or request
#400 opened Apr 14, 2020 by asymmetric
klab fetch shouldn't focus enhancement New feature or request
#389 opened Apr 3, 2020 by asymmetric
4
Document resources/k.json documentation
#388 opened Apr 1, 2020 by asymmetric
Document failure heading documentation
#385 opened Mar 31, 2020 by asymmetric
Use wall-clock time in timeouts enhancement New feature or request
#384 opened Mar 30, 2020 by asymmetric
Deal with ASTs produced by Waffle
#380 opened Mar 8, 2020 by asymmetric
1
Adapt PC extractor to work with library functions
#377 opened Mar 2, 2020 by asymmetric
2
Fast way to look up dapp.ci/<project>/<hash> for a given branch from github
#375 opened Feb 28, 2020 by mhhf
klab-prove: traverse and prove called specs cool cool stuff enhancement New feature or request
#374 opened Feb 27, 2020 by asymmetric
2
Remove default value for KLAB_EVMS_PATH good first issue Good for newcomers
#372 opened Feb 26, 2020 by asymmetric
prove-all: do not exit with 0 when rejected specs have been cached
#368 opened Feb 25, 2020 by asymmetric
RFC: act: all of
#367 opened Feb 24, 2020 by d-xo
2
RFC: act: storage case
#366 opened Feb 24, 2020 by d-xo
@desaperados @asymmetric
@mhhf @livnev @MrChico
3
extract storage layout from solidity option enhancement New feature or request
#362 opened Feb 21, 2020 by MrChico
4
static keyword enhancement New feature or request
#360 opened Feb 21, 2020 by asymmetric
6
ProTip! Exclude everything labeled bug with -label:bug.