Skip to content

Pull requests: klee/klee.github.io

New pull request New
Clear current search query, filters, and sorts
0 Open 371 Closed
0 Open 371 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Various improvements to the LLVM 3.4 install page. Dropped the mention of metaSMT being experimental.
#87 by ccadar was merged Jun 14, 2017 Loading…
11
Changed MiniSat installation directory from /usr to /usr/local and mo…
#86 by ccadar was merged Jun 6, 2017 Loading…
6
Document solver specific options
#85 by delcypher was merged Jun 1, 2017 Loading…
11
testing-coreutils: skip directories for extract-bc
#84 by Mic92 was merged Jun 1, 2017 Loading…
1
coreutils-experiments: fix sandbox link
#83 by Mic92 was closed May 16, 2017 Loading…
1
Clarify link errors with CMake build
#81 by delcypher was merged May 15, 2017 Loading…
11
Document main solver options + Assignment validating solver
#80 by delcypher was merged Mar 24, 2017 Loading…
23
Fix typo
#79 by bigelephant29 was merged Mar 10, 2017 Loading…
1
Added zlib to STP dependencies
#78 by andreamattavelli was merged Mar 6, 2017 Loading…
Documented option --warnings-only-to-file
#77 by ccadar was merged Mar 1, 2017 Loading…
5
Corrected step numbering
#76 by akshaynagpal was merged Feb 22, 2017 Loading…
2
Corrected documentation for v1.3.0
#75 by andreamattavelli was merged Mar 1, 2017 Loading…
3
Updated footer to 2017
#74 by andreamattavelli was merged Feb 14, 2017 Loading…
1
Fix a typo in klee cmake command
#73 by kren1 was merged Feb 11, 2017 Loading…
1
Fixes to CMake build instructions
#72 by delcypher was merged Jan 18, 2017 Loading…
1
Fixed expired link to Google Test
#71 by andreamattavelli was merged Dec 22, 2016 Loading…
Updated Minisat build instructions
#68 by adrianherrera was merged Jan 16, 2017 Loading…
11
LLVM 3.4 is not built on their APT beyond 15.10.
#67 by Manouchehri was merged Dec 13, 2016 Loading…
1
Add dot when execute build Dockerfile command
#65 by bunseokbot was merged Dec 7, 2016 Loading…
1
add Docovery and Shadow
#64 by tomek-kuchta was merged Dec 6, 2016 Loading…
9
Adding SemFix to the publications that use KLEE, adding a link to Angelix webpage
#63 by mechtaev was merged Dec 6, 2016 Loading…
5
Adding Angelix to the list of publications that use KLEE
#62 by mechtaev was merged Dec 6, 2016 Loading…
2
klee-stats documentation created by @suryanash in https://github.com/…
#61 by ccadar was closed Sep 14, 2018 Loading…
Updated .pc files to .kquery
#60 by andreamattavelli was merged Nov 23, 2016 Loading…
1
Fixed consistency between description and flag used in solver files
#59 by andreamattavelli was merged Nov 23, 2016 Loading…
4
ProTip! Filter pull requests by the default branch with base:master.