Skip to content

Pull requests: c-cube/sidekick

New pull request New
Clear current search query, filters, and sorts
0 Open 11 Closed
0 Open 11 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

fix: compute model even if (potentially) new interface eqns are produced
#21 by c-cube was merged Jun 28, 2023 Loading…
1
fix bug in LRA
#20 by c-cube was merged Jun 26, 2023 Loading…
fix typo
#17 by adnahmed was closed Dec 6, 2021 Loading…
1
wip: proofs for SMT
#16 by c-cube was merged Nov 28, 2021 Loading…
custom clause allocators
#15 by c-cube was closed Jan 3, 2022 Loading…
1
reintegrate msat directly in-tree
#11 by c-cube was merged Jul 19, 2021 Loading…
update ci, add auto-doc
#10 by c-cube was closed Jun 10, 2021 Loading…
use simplex for LRA
#7 by c-cube was merged Feb 22, 2021 Loading…
[WIP] Add unsat core explanations to the simplex
#6 by Gbury was merged Feb 4, 2021 Loading…
chore: try github actions
#3 by c-cube was merged Nov 21, 2019 Loading…
@c-cube
Call on_merge after merge + one assertion
#1 by abentkamp was merged Aug 21, 2019 Loading…
3
ProTip! Type g i on any issue or pull request to go back to the issue listing page.