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

Two more external tutorials
#249 by ccadar was merged Oct 31, 2020 Loading…
Updated the list of KLEE open projects
#248 by ccadar was merged Oct 31, 2020 Loading…
4
Updates to Build with LLVM 9 instructions
#247 by ccadar was merged Oct 30, 2020 Loading…
Papers32
#246 by 251 was merged Oct 29, 2020 Loading…
1
assign correct slugs, fix css (fixes #16)
#245 by 251 was merged Oct 29, 2020 Loading…
3
fix HTML errors and alignment
#244 by 251 was merged Oct 19, 2020 Loading…
1
fix TOC padding
#243 by 251 was merged Oct 16, 2020 Loading…
1
Restructure and improve KLEE's main page
#242 by ccadar was merged Oct 17, 2020 Loading…
7
Better description of KLEE on main page
#241 by ccadar was merged Oct 15, 2020 Loading…
1
Fix "build from source" link on home page
#240 by jbuening was merged Oct 12, 2020 Loading…
1
Add a basic instruction as to how to use KLEE_DEBUG_WITH_TYPE
#239 by kren1 was merged Oct 12, 2020 Loading…
18
Update build-llvm9.md
#238 by lahiri-phdworks was closed Oct 5, 2020 Loading…
2
footer: reorder links, update Copyright
#237 by 251 was merged Oct 1, 2020 Loading…
6
docs: remove max-instruction-time
#236 by 251 was merged Oct 1, 2020 Loading…
1
README (dependencies): update links
#235 by 251 was merged Sep 22, 2020 Loading…
Papers31
#234 by 251 was merged Sep 22, 2020 Loading…
13
ext. tutorials: A Guide to KLEE LLVM Execution Engine Internals
#233 by 251 was merged Sep 22, 2020 Loading…
3
Resolved a deprecation warning
#232 by ccadar was merged Sep 22, 2020 Loading…
Updated dependencies.
#231 by ccadar was merged Sep 21, 2020 Loading…
Added more external resources and grouped them into a separate category
#230 by ccadar was merged Sep 21, 2020 Loading…
1
Papers31
#229 by 251 was merged Aug 22, 2020 Loading…
2
Switch recommended LLVM version to 9 and add wllvm to dependencies
#228 by ccadar was merged Jul 17, 2020 Loading…
update publications (virtual conferences, 150+), add uclibc ./configure flags
#227 by 251 was merged Jun 23, 2020 Loading…
1
docs/files: update links (fix #225)
#226 by 251 was merged Jun 9, 2020 Loading…
1
Fix link to Docker installation instructions for Ubuntu
#224 by i-ky was merged Jun 4, 2020 Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.