Skip to content

Pull requests: stanford-centaur/pono

New pull request New
5 Open 306 Closed
5 Open 306 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

IC3IA with cvc5's SyGuS-based predicate generation
#357 opened Oct 9, 2024 by CyanoKobalamyne • Draft
Implement property generalization
#346 opened Aug 30, 2024 by CyanoKobalamyne Loading…
6
Configurable smt-switch directory
#327 opened Jul 4, 2024 by CyanoKobalamyne Loading…
CEG-PROPH : Tighter integration of ic3ia do not merge Don't merge this pull request yet (waiting on something or not yet ready). enhancement New feature or request
#233 opened Jan 26, 2021 by ahmed-irfan • Draft
@ahmed-irfan
Enable warnings
#78 opened Sep 8, 2020 by makaimann • Draft
@makaimann
ProTip! Follow long discussions with comments:>50.