klee-web
klee-web copied to clipboard
klee
KLEE in the browser
Bumps [@babel/traverse](https://github.com/babel/babel/tree/HEAD/packages/babel-traverse) from 7.10.1 to 7.23.2. Release notes Sourced from @babel/traverse's releases. v7.23.2 (2023-10-11) NOTE: This release also re-publishes @babel/core, even if it does not appear in the linked release...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [word-wrap](https://github.com/jonschlinkert/word-wrap) from 1.2.3 to 1.2.4. Release notes Sourced from word-wrap's releases. 1.2.4 What's Changed Remove default indent by @mohd-akram in jonschlinkert/word-wrap#24 🔒fix: CVE 2023 26115 (2) by @OlafConijn in...
Bumps [tough-cookie](https://github.com/salesforce/tough-cookie) to 4.1.3 and updates ancestor dependency [jest-puppeteer](https://github.com/argos-ci/jest-puppeteer/tree/HEAD/packages/jest-puppeteer). These dependencies need to be updated together. Updates `tough-cookie` from 4.0.0 to 4.1.3 Release notes Sourced from tough-cookie's releases. 4.1.3 Security...
There seems to be an issue with celery that the worker stops listening to request if a celery heartbeat is missed. These are some threats that I found where people...
I've tried to enter the following code: ```cpp class Foo {}; int main() { return 0; } ``` ... and I'm getting: ``` Error running /usr/bin/clang-6.0 -I /home/klee/klee_src/include -emit-llvm -c...
The labels in the bar chart shown in the /manage interface are not displayed correctly when there is a large number of jobs in one of the days.
The idea is to keep all the public code necessary to run klee-web locally in the public repository, but move all private deployment data (passwords, etc.) into a private repository....
Trying to pass `-posix-runtime -search=bfs -max-depth=10` as options results in: ``` Error running /home/klee/klee_build/bin/klee -posix-runtime -search=bfs -max-depth=10 /tmp/code/code.o: klee: Unknown command line argument '-posix-runtime -search=bfs -max-depth=10'. Try: '/home/klee/klee_build/bin/klee -help' klee:...