Skip to content

Pull requests: klee/klee.github.io

New pull request New
Clear current search query, filters, and sorts
0 Open 365 Closed
0 Open 365 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
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 uri from 0.13.1 to 0.13.2 dependencies Pull requests that update a dependency file ruby Pull requests that update ruby code
#399 by dependabot bot was merged Mar 22, 2025 Loading…
build(deps): bump nokogiri from 1.18.3 to 1.18.4 dependencies Pull requests that update a dependency file ruby Pull requests that update ruby code
#398 by dependabot bot was merged Mar 22, 2025 Loading…
remove KLEE Web link on start page
#397 by jbuening was merged Mar 3, 2025 Loading…
1
attempt to fix Getting Started
#396 by 251 was merged Feb 27, 2025 Loading…
Small change
#395 by ccadar was merged Feb 27, 2025 Loading…
build(deps): bump webrick from 1.8.1 to 1.8.2 dependencies Pull requests that update a dependency file
#394 by dependabot bot was merged Feb 26, 2025 Loading…
build(deps): bump nokogiri from 1.16.7 to 1.18.3 dependencies Pull requests that update a dependency file
#393 by dependabot bot was merged Feb 26, 2025 Loading…
Note about KLEE Web being unmaintained
#392 by ccadar was merged Feb 27, 2025 Loading…
build(deps-dev): bump rexml from 3.3.7 to 3.3.9 dependencies Pull requests that update a dependency file
#391 by dependabot bot was merged Feb 26, 2025 Loading…
remove workshop ad
#390 by 251 was merged Sep 9, 2024 Loading…
1
build(deps-dev): bump rexml from 3.2.8 to 3.3.6 dependencies Pull requests that update a dependency file
#389 by dependabot bot was merged Sep 2, 2024 Loading…
Papers62
#388 by 251 was merged Sep 2, 2024 Loading…
1
Added a new paper to the publication list
#387 by bathooman was merged Aug 2, 2024 Loading…
1
Mention pipx installation in dependencies.
#386 by ccadar was merged Jul 12, 2024 Loading…
Move dependencies to separate file
#385 by ccadar was merged Jul 12, 2024 Loading…
Update LLVM 13 build instructions link on main page
#384 by ccadar was merged Jul 12, 2024 Loading…
Move build instructions to separate directory
#383 by ccadar was merged Jul 12, 2024 Loading…
Add more detailed instructions for installing LLVM on Ubuntu
#382 by ccadar was merged Jul 8, 2024 Loading…
Mention Coreutils patches for older and tutorial versions
#381 by sreeshmaheshwar was merged Jun 10, 2024 Loading…
1
Fix: xfv instead of xzfv in sandbox extraction
#380 by sreeshmaheshwar was merged Jun 1, 2024 Loading…
1
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…
ProTip! Updated in the last three days: updated:>2025-04-10.