Skip to content

Pull requests: Gbury/dolmen

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

feat: Support more Alt-Ergo primitives
#220 opened Sep 6, 2024 by bclement-ocp Loading…
[TEST] Trying out to build static binaries in CI
#219 opened Jul 24, 2024 by Gbury Loading…
Smtlib Printer
#211 opened Apr 5, 2024 by Gbury Loading…
[WIP] Add Tptp v8.2
#204 opened Jan 26, 2024 by Gbury Loading…
[Draft] use algebraic number for reals enhancement
#153 opened May 11, 2023 by bobot Loading…
Add progress bars new feature
#115 opened Nov 28, 2022 by Gbury Loading…
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.