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): bump nokogiri from 1.13.10 to 1.14.3 dependencies Pull requests that update a dependency file
#353 by dependabot bot was merged Apr 15, 2023 Loading…
build(deps): bump commonmarker from 0.23.7 to 0.23.9 dependencies Pull requests that update a dependency file
#352 by dependabot bot was merged Apr 15, 2023 Loading…
docs/solver-chain: add -stp-sat-solver flag
#351 by 251 was merged Mar 22, 2023 Loading…
Papers57
#350 by 251 was merged Mar 22, 2023 Loading…
5
options: add KDAlloc
#349 by 251 was merged Mar 21, 2023 Loading…
3
tools: extend/update klee-stats documentation
#348 by 251 was merged Mar 23, 2023 Loading…
Revert "getting-started: Mention Fedora package"
#347 by lzaoral was merged Apr 12, 2023 Loading…
5
Paper: Progressive Scrutiny: Incremental Detection of UBI bugs in the…
#346 by ZHYfeng was merged Feb 7, 2023 Loading…
5
build(deps): bump activesupport from 6.0.4.7 to 6.0.6.1 dependencies Pull requests that update a dependency file
#345 by dependabot bot was merged Jan 31, 2023 Loading…
build(deps): bump commonmarker from 0.23.6 to 0.23.7 dependencies Pull requests that update a dependency file
#344 by dependabot bot was merged Jan 25, 2023 Loading…
Papers56
#343 by 251 was merged Jan 12, 2023 Loading…
1
build(deps): bump nokogiri from 1.13.9 to 1.13.10 dependencies Pull requests that update a dependency file
#342 by dependabot bot was merged Dec 8, 2022 Loading…
build(deps): bump nokogiri from 1.13.6 to 1.13.9 dependencies Pull requests that update a dependency file
#341 by dependabot bot was merged Oct 21, 2022 Loading…
build(deps): bump commonmarker from 0.23.4 to 0.23.6 dependencies Pull requests that update a dependency file
#340 by dependabot bot was merged Sep 22, 2022 Loading…
Papers55 + banner removal
#339 by 251 was merged Sep 20, 2022 Loading…
3
nix: reflect state of affairs as of 22.05
#338 by McSinyx was merged Aug 26, 2022 Loading…
2
Papers54
#337 by 251 was merged Aug 10, 2022 Loading…
1
build(deps): bump tzinfo from 1.2.9 to 1.2.10 dependencies Pull requests that update a dependency file
#336 by dependabot bot was merged Jul 22, 2022 Loading…
Fix several Doxygen links
#335 by jryans was merged Jul 21, 2022 Loading…
1
Update publications.md
#334 by rshariffdeen was merged Jul 4, 2022 Loading…
1
README: add publication list format description
#333 by 251 was merged Jul 4, 2022 Loading…
1
Update publications.md
#332 by rshariffdeen was closed Jul 3, 2022 Loading…
8
Added missing minisat package to brew install line
#331 by ccadar was merged Jun 30, 2022 Loading…
rename gen-*bout to ktest-*gen
#330 by 251 was merged Jun 8, 2022 Loading…
1
Papers53
#329 by 251 was merged Jun 8, 2022 Loading…
1
ProTip! Filter pull requests by the default branch with base:master.