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

Pull requests: dapphub/klab

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
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

build(deps): bump path-parse from 1.0.6 to 1.0.7 dependencies Pull requests that update a dependency file
#431 opened Aug 11, 2021 by dependabot bot Loading…
bump evm-semantics to latest
#422 opened Jun 11, 2020 by livnev Loading…
libexec/klab-prove-all: unaccept BADGAS specs
#411 opened Apr 22, 2020 by asymmetric Loading…
prove-all: configurable memory headroom
#409 opened Apr 21, 2020 by d-xo Loading…
lib/build.js: rm special formatting for storage blocks
#397 opened Apr 10, 2020 by d-xo Loading…
Debug report
#361 opened Feb 21, 2020 by asymmetric Draft
klab-prove: toggle deterministic functions
#354 opened Feb 17, 2020 by asymmetric Loading…
klab-prove: stop passing custom tactic to z3
#350 opened Feb 11, 2020 by asymmetric Loading…
overview: show git branch
#346 opened Feb 10, 2020 by d-xo Loading…
Handle CALL_ID == CALLER_ID not ACCT_ID
#252 opened Jul 10, 2019 by iamchrissmith Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.