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

Updated Coreutils tutorial for LLVM 3.4
#58 by andreamattavelli was merged Nov 24, 2016 Loading…
26
Replaced links to buildbot with TravisCI
#57 by andreamattavelli was merged Nov 21, 2016 Loading…
6
Fixed broken links
#55 by andreamattavelli was merged Nov 19, 2016 Loading…
2
Updated copyright notice to 2016
#54 by andreamattavelli was merged Nov 18, 2016 Loading…
1
Klee CMake instructions
#53 by delcypher was merged Jan 18, 2017 Loading…
50
Fix build when using Ruby 2.3.1. bundler fails to install deps
#52 by delcypher was merged Nov 17, 2016 Loading…
3
Fix missing -I parameter
#51 by bananaappletw was merged Nov 16, 2016 Loading…
4
Update build-llvm34.md
#49 by xybu was closed Jan 16, 2017 Loading…
7
Update build-stp.md
#48 by xybu was merged Sep 20, 2016 Loading…
1
Update build-llvm34.md
#47 by xybu was merged Sep 20, 2016 Loading…
1
Fixed tutorial description with the correct file extension
#46 by andreamattavelli was merged Sep 19, 2016 Loading…
1
Added documentation for KLEE POSIX runtime option -save-all-writes
#44 by andreamattavelli was merged Aug 19, 2016 Loading…
docs/options: add exiting klee
#43 by jirislaby was merged Nov 18, 2016 Loading…
15
Added instructions to build KLEE with TCMalloc support
#42 by andreamattavelli was merged Aug 3, 2016 Loading…
9
Fixed sublist formatting in KLEE debug command-line option section
#40 by andreamattavelli was merged Jul 9, 2016 Loading…
Add command line options for deterministic allocation
#39 by MartinNowack was merged Jul 10, 2016 Loading…
2
Added section about debugging options in KLEE
#38 by andreamattavelli was merged Jul 9, 2016 Loading…
1
Added documentation for KLEE options to output statistics
#37 by andreamattavelli was merged Jul 8, 2016 Loading…
7
Added description of KLEE usage
#35 by andreamattavelli was merged Jul 8, 2016 Loading…
5
Updated tutorials with LLVM 3.4
#34 by andreamattavelli was merged Jun 27, 2016 Loading…
4
Fixed STP building instructions
#33 by andreamattavelli was merged Jun 14, 2016 Loading…
Add linking external libraries to the documentation
#32 by omeranson was merged Jan 23, 2017 Loading…
11
Fixed web page rendering
#31 by andreamattavelli was merged May 31, 2016 Loading…
5
Updated STP documentation
#30 by andreamattavelli was merged May 31, 2016 Loading…
4
Added links to other tutorials.
#27 by Manouchehri was merged Nov 17, 2016 Loading…
1
ProTip! Adding no:label will show everything without a label.