Skip to content

Pull requests: SRI-CSL/yices2

New pull request New
9 Open 217 Closed
9 Open 217 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

move mk_composite and get_composite
#625 opened May 7, 2026 by elipparini Loading…
Fix issue #615: crash in mcsat_value_construct_from_value during interpolation.
#624 opened May 5, 2026 by disteph Collaborator Loading…
1
smt2: print algebraic numbers in SMT-COMP 2026 root-of-with-interval …
#623 opened May 5, 2026 by ahmed-irfan Member Loading…
2
Wrap MCSAT as a Nelson-Oppen theory solver in CDCL(T) architecture
#611 opened Mar 10, 2026 by disteph Collaborator • Draft Yices 2.8
1
QF_BV context delegates (#453): config/param selection, incremental state, assumptions, and delegate regressions
#607 opened Mar 3, 2026 by disteph Collaborator Loading… Yices 2.8
1
MCSAT: add support for tuples (incl. nested with function types); blasts tuples in input constraints + reconstitutes them in models and interpolants
#606 opened Mar 2, 2026 by disteph Collaborator Loading… Yices 2.8
7
Fix EF value-rep assertion crash (issue #366)
#603 opened Feb 28, 2026 by disteph Collaborator Loading…
1
2
Jhx/mcarith
#459 opened Sep 26, 2023 by joehendrix Member • Draft
Fix windows binaries exiting with code 24
#449 opened Jul 5, 2023 by isanych Contributor Loading…
4
ProTip! Updated in the last three days: updated:>2026-05-04.