search

klee / klee-web

KLEE in the browser
Other
48 stars 15 forks source link

Mirror PR 131 #137

Closed andronat closed 4 years ago

andronat commented 4 years ago

Mirror of #131 to solve circleci/github blocker.

There is some kind of stale circleci check Expected — Waiting for status to be reported. I resubmitted the PR here.

ccadar commented 4 years ago

Thanks, @andronat . I assume it's ok with @Denis-Gavrielov to merge this one now, given that it's just a mirror of his PR.