Skip to content

Pull requests: google/souper

New pull request New
20 Open 720 Closed
20 Open 720 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

duplicate SpecialInputs fix, added tunable input threshold
#871 opened Jun 15, 2023 by liamsemeria Loading…
1
Add instructions for use with Rust/Cargo
#855 opened Apr 14, 2022 by saethlin Loading…
2
readme formatting
#852 opened Mar 1, 2022 by jakevossen5 Loading…
1
In-process Z3 interface
#849 opened Sep 8, 2021 by manasij7479 Loading…
Symbolize multiple LHS consts
#807 opened Dec 2, 2020 by manasij7479 • Draft
6
Generalize constants
#806 opened Dec 2, 2020 by manasij7479 • Draft
Generalization tool
#805 opened Dec 1, 2020 by manasij7479 Loading…
8
handle freeze in alive double-check
#752 opened Apr 21, 2020 by zhengyang92 Loading…
Do not generate inputs when PC has PHI
#712 opened Feb 12, 2020 by manasij7479 Loading…
3
emit phi
#687 opened Jan 15, 2020 by zhengyang92 • Draft
Restrict input bits for analysis implementations in the presence of PC
#659 opened Nov 16, 2019 by manasij7479 Loading…
16
Introduce pruning in the constant synthesis loop
#460 opened Feb 20, 2019 by manasij7479 Loading…
1
WIP: Initial version of the z3 expression builder
#441 opened Feb 11, 2019 by rsas Loading…
2
Support redis versioning
#424 opened Jan 26, 2019 by pranavk Loading…
30
Makefile version of build_deps.sh
#417 opened Jan 18, 2019 by manasij7479 Loading…
24
Floating point cost values with some heuristics for ExhaustiveSynthesis
#399 opened Dec 31, 2018 by manasij7479 Loading…
17
Multiple RHS Support
#367 opened Oct 10, 2018 by zhengyang92 Loading…
16
Towards Handling Big LHS
#361 opened Oct 3, 2018 by zhengyang92 Loading…
14
Crash with report when call getValue() on operands returns null
#355 opened Sep 28, 2018 by zhengyang92 Loading…
5
WIP: Use LHS components as synthesis components
#327 opened May 11, 2018 by rsas Loading…
5
ProTip! Filter pull requests by the default branch with base:main.