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

build(deps-dev): bump rexml from 3.2.5 to 3.2.8 dependencies Pull requests that update a dependency file
#378 by dependabot bot was merged May 18, 2024 Loading…
build(deps): bump nokogiri from 1.16.2 to 1.16.5 dependencies Pull requests that update a dependency file
#377 by dependabot bot was merged May 14, 2024 Loading…
Documentation for KLEE 3.1
#376 by ccadar was merged Feb 29, 2024 Loading…
Updated documentation for the execution tree options & tool, to be in…
#375 by ccadar was merged Feb 29, 2024 Loading…
Fix some execution tree options
#374 by ccadar was merged Feb 16, 2024 Loading…
Replace references to "llvm-lit" by "lit" in the documentation
#373 by ccadar was merged Feb 16, 2024 Loading…
build(deps): bump nokogiri from 1.14.5 to 1.16.2 dependencies Pull requests that update a dependency file
#372 by dependabot bot was merged Feb 6, 2024 Loading…
adding publication
#371 by davidtr1037 was merged Jan 4, 2024 Loading…
1
Add snap installation method to Getting Started page
#370 by marco6 was merged Dec 8, 2023 Loading…
1
add ptree description
#369 by 251 was merged Feb 16, 2024 Loading…
1
announce 4th KLEE workshop
#368 by 251 was merged Sep 13, 2023 Loading…
build(deps-dev): bump activesupport from 7.0.5 to 7.0.7.2 dependencies Pull requests that update a dependency file
#367 by dependabot bot was merged Aug 24, 2023 Loading…
build(deps-dev): bump commonmarker from 0.23.9 to 0.23.10 dependencies Pull requests that update a dependency file
#366 by dependabot bot was merged Aug 9, 2023 Loading…
Reflect CLI option name changes in KLEE 2.0
#365 by McSinyx was merged Aug 10, 2023 Loading…
3
Papers60
#364 by 251 was merged Aug 11, 2023 Loading…
1
Updated the new option --external-call-warnings=none|once-per-functio…
#363 by ccadar was merged Jul 12, 2023 Loading…
update Docker output
#362 by 251 was merged Jun 9, 2023 Loading…
2
update some version numbers
#361 by 251 was merged Jun 7, 2023 Loading…
Documentation for 3.0 and gem updates
#360 by ccadar was merged Jun 7, 2023 Loading…
recommend LLVM 13, update build instructions
#359 by 251 was merged Jun 7, 2023 Loading…
Restructure web page
#358 by 251 was merged Jun 7, 2023 Loading…
7
Papers59
#357 by 251 was merged Jun 6, 2023 Loading…
1
Documentation for 3.0 and gem updates
#356 by ccadar was closed Jun 7, 2023 Loading…
1
Papers58
#355 by 251 was merged Jun 5, 2023 Loading…
1
Better mailing list info
#354 by ccadar was merged Apr 19, 2023 Loading…
3
ProTip! no:milestone will show everything without a milestone.