Skip to content

Pull requests: google/souper

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add instructions for use with Rust/Cargo
#855 opened Apr 14, 2022 by saethlin Loading…
readme formatting
#852 opened Mar 1, 2022 by jakevossen5 Loading…
In-process Z3 interface
#849 opened Sep 8, 2021 by manasij7479 Loading…
Generalize constants
#806 opened Dec 2, 2020 by manasij7479 Draft
Generalization tool
#805 opened Dec 1, 2020 by manasij7479 Loading…
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…
emit phi
#687 opened Jan 15, 2020 by zhengyang92 Draft
WIP: Initial version of the z3 expression builder
#441 opened Feb 11, 2019 by rsas Loading…
Support redis versioning
#424 opened Jan 26, 2019 by pranavk Loading…
Makefile version of build_deps.sh
#417 opened Jan 18, 2019 by manasij7479 Loading…
Multiple RHS Support
#367 opened Oct 10, 2018 by zhengyang92 Loading…
Towards Handling Big LHS
#361 opened Oct 3, 2018 by zhengyang92 Loading…
WIP: Use LHS components as synthesis components
#327 opened May 11, 2018 by rsas Loading…
ProTip! no:milestone will show everything without a milestone.