Skip to content

Pull requests: klee/klee.github.io

New pull request New
Clear current search query, filters, and sorts
1 Open 370 Closed
1 Open 370 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

Description of KLEE --sym-stdin option
#25 by andreamattavelli was merged May 27, 2016 Loading…
Description of KLEE --log-partial-query
#23 by MartinNowack was merged Apr 12, 2016 Loading…
Fix word order in link on landing page
#22 by ward was merged Mar 8, 2016 Loading…
Add linking external libraries to the documentation
#21 by omeranson was closed Jun 9, 2016 Loading…
3
Fix typo in tutorial #1
#20 by gurshabad was closed Apr 12, 2016 Loading…
1
Fix typo and add missing command
#19 by bananaappletw was merged Dec 19, 2015 Loading…
1
Add documentation for -silent-klee-assume flag
#18 by wuestholz was merged Dec 16, 2015 Loading…
2
Fixed dead links
#17 by Teemperor was merged Nov 25, 2015 Loading…
1
Fixed the function name in the second tutorial.
#15 by NoviceLive was merged Oct 28, 2015 Loading…
1
Docker instructions
#14 by delcypher was merged Oct 29, 2015 Loading…
2
Updated Fedora and Ubuntu install command.
#13 by bheesham was merged Oct 9, 2015 Loading…
3
Change getting-started instructions to demonstrate how to use our
#11 by delcypher was closed Oct 9, 2015 Loading…
2
Fixed some spacing problems and switched a mdir to a mkdir
#9 by eric-rizzi was merged Sep 15, 2015 Loading…
1
Stp update
#8 by MartinNowack was merged Sep 4, 2015 Loading…
1
docs/options: add explanation of -entry-point option
#7 by ret2libc was merged Aug 21, 2015 Loading…
Explain klee_prefer_cex intrinsic
#6 by yotann was merged May 5, 2015 Loading…
3
docs: add paragraph about KLEE_RUNTIME_LIBRARY_PATH
#5 by mchalupa was merged Dec 18, 2014 Loading…
Update getting started guide so that we tell people to use the right
#4 by delcypher was merged Nov 18, 2014 Loading…
1
Updated readme with additional setup instructions.
#2 by erakadjiev was closed Oct 22, 2014 Loading…
Added page with LLVM 3.4-based (experimental) install instructions
#1 by erakadjiev was merged Oct 22, 2014 Loading…
2
ProTip! Add no:assignee to see everything that’s not assigned.