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

Update docker build information to be up-to-date
#223 by MartinNowack was merged Jun 4, 2020 Loading…
1
Update libc++ build instructions
#222 by MartinNowack was merged Jun 4, 2020 Loading…
1
Papers30
#221 by 251 was merged Jun 1, 2020 Loading…
3
change KLEE workshop url/date
#220 by 251 was merged May 28, 2020 Loading…
1
update regex tutorial (test generation flags) + fix path in dev guide
#219 by 251 was merged May 21, 2020 Loading…
1
docs: update query logging options
#218 by 251 was merged Apr 15, 2020 Loading…
1
tools: document gen-bout and gen-random-bout
#217 by adrianherrera was merged Apr 13, 2020 Loading…
1
Papers29
#216 by 251 was merged Apr 7, 2020 Loading…
2
DevGuide: fix link
#215 by 251 was merged Apr 2, 2020 Loading…
DevGuide: remove stale <tt> (fix #202)
#214 by 251 was merged Apr 1, 2020 Loading…
DevGuide: minor changes + fix paths (#212)
#213 by 251 was merged Mar 27, 2020 Loading…
1
1
add banner for 2nd KLEE Workshop
#211 by 251 was merged Mar 4, 2020 Loading…
2
Added documentation for v2.1
#209 by ccadar was merged Mar 3, 2020 Loading…
paper: MEUZZ + KLEESpectre link
#208 by 251 was merged Feb 27, 2020 Loading…
2
Bump nokogiri from 1.10.4 to 1.10.8 dependencies Pull requests that update a dependency file
#207 by dependabot bot was merged Feb 25, 2020 Loading…
Fixed typo
#206 by JasonPap was merged Feb 19, 2020 Loading…
1
Papers
#205 by 251 was merged Feb 19, 2020 Loading…
Papers26
#204 by 251 was merged Jan 8, 2020 Loading…
5
paper: LLSPLAT: Improving Concolic Testing by Bounded Model Checking
#203 by 251 was merged Dec 6, 2019 Loading…
1
Bumped various packages, fixed link
#201 by ccadar was merged Nov 13, 2019 Loading…
Bump rubyzip
#200 by ccadar was closed Nov 13, 2019 Loading…
Added some notes about macOS in the installation instructions for LLV…
#199 by ccadar was merged Nov 11, 2019 Loading…
5
Bump nokogiri from 1.8.5 to 1.10.4 dependencies Pull requests that update a dependency file
#198 by dependabot bot was merged Oct 28, 2019 Loading…
Mention FreeBSD package in getting-started.md
#197 by arrowd was merged Oct 28, 2019 Loading…
1
Upgraded nokogiri again, to avoid security vulnerability.
#196 by ccadar was merged Oct 28, 2019 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.