Skip to content

Pull requests: OCamlPro/alt-ergo

New pull request New
31 Open 741 Closed
31 Open 741 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Documentation of quantified type in Expr
documentation
#1106 opened May 3, 2024 by Halbaroth Loading…
9
Fix issue 1099
bug frontend
#1102 opened Apr 30, 2024 by Halbaroth Loading… 2.6.0
1
7
Normalize ADT in assume
bug
#1100 opened Apr 29, 2024 by Halbaroth Loading… 2.6.0
1
@bclement-ocp
10
Use the Dolmen identifiers for constructors and ADT names
bug
#1098 opened Apr 24, 2024 by Halbaroth • Draft 2.6.0
Merge records
clean-up
#1095 opened Apr 19, 2024 by Halbaroth • Draft 2.7.0
Merge enum
clean-up
#1094 opened Apr 13, 2024 by Halbaroth • Draft
feat(ADT): model generation
models This issue is related to model generation.
#1093 opened Apr 10, 2024 by Halbaroth • Draft 2.6.0
1
feat(BV, CP): Add propagators for bvshl and bvlshr
#1085 opened Mar 29, 2024 by bclement-ocp Loading…
feat(BV, CP): Add propagators for bvudiv and bvurem
#1084 opened Mar 29, 2024 by bclement-ocp Loading…
feat(BV, CP): Propagators for addition and multiplication
#1083 opened Mar 29, 2024 by bclement-ocp Loading…
Static binary build for 2.4.x branch
#1080 opened Mar 27, 2024 by bclement-ocp • Draft
Logs
clean-up frontend
#1068 opened Mar 21, 2024 by Halbaroth • Draft
1
feat(BV): Interval domains for bit-vectors
#1058 opened Mar 13, 2024 by bclement-ocp Loading…
34
Support get-value statement
enhancement frontend models This issue is related to model generation.
#1032 opened Jan 26, 2024 by Halbaroth Loading…
53
Partial documentation of SatML
documentation
#1026 opened Jan 16, 2024 by Halbaroth • Draft
Incremental version of the solver
#1000 opened Dec 4, 2023 by Stevendeo Loading…
81
WIP: Nix for CI?
#997 opened Dec 4, 2023 by bclement-ocp • Draft
1
DO NOT MERGE: Flambda tests
#928 opened Nov 8, 2023 by Stevendeo • Draft
5
--dump-models-on implies --dump-models
frontend models This issue is related to model generation.
#864 opened Oct 5, 2023 by Halbaroth Loading…
3
feat: check-all-sat support
backlog enhancement models This issue is related to model generation.
#846 opened Sep 29, 2023 by Halbaroth Loading…
10
Preserve mapping between old and new representatives with AC symbols
backlog
#823 opened Sep 15, 2023 by bclement-ocp • Draft
1
1
Check ground models with Dolmen
build
#790 opened Aug 24, 2023 by Halbaroth • Draft 2.6.0
1
Removing Shostak's cache
regression
#775 opened Aug 7, 2023 by Halbaroth • Draft
Use ppx_deriving.eq and ppx_deriving.ord
dev
#610 opened May 26, 2023 by Halbaroth • Draft
WIP: get rid of module rec and functors by moving many types into types.ml
#576 opened Apr 15, 2023 by lefessan • Draft
ProTip! Updated in the last three days: updated:>2024-05-02.