Skip to content

Pull requests: usi-verification-and-security/opensmt

New pull request New
27 Open 614 Closed
27 Open 614 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

Tracking partitions is explicitly required by unsat cores and interpolation
#890 opened Nov 24, 2025 by Tomaqa Loading…
Added counters of already preprocessed assertions
#889 opened Nov 24, 2025 by Tomaqa • Draft
2
Split simplifyFormulas to sub-functions
#888 opened Nov 18, 2025 by Tomaqa Loading…
3
Added (protected) TermNames::eraseTermName
#887 opened Nov 18, 2025 by Tomaqa Loading…
Force Cnfizer to keep track with top-level or named formulas in TermMapper if tracking partitions
#883 opened Nov 13, 2025 by Tomaqa • Draft
1
Allowed retrieving internal terms from PartitionManager and also single terms
#882 opened Nov 13, 2025 by Tomaqa Loading…
2
Implemented decision preferences of formulas
#873 opened Oct 30, 2025 by Tomaqa • Draft
Extended ScopedVector of clear and of accessing particular scopes
#871 opened Oct 29, 2025 by Tomaqa Loading…
3
Make isBuiltinFunction return true for frameTerms
#870 opened Oct 24, 2025 by Tomaqa • Draft
Implemented :time-limit-per-query
#863 opened Oct 22, 2025 by Tomaqa • Draft
Moved IteHandler into the preprocessing pipeline
#858 opened Aug 26, 2025 by Tomaqa • Draft
1
18
Wall-clock timeout
#852 opened Jul 21, 2025 by Tomaqa Loading…
1
9
Use CRTP for static polymophism within numbers do not merge
#806 opened Nov 6, 2024 by Tomaqa • Draft
Vector (const) view do not merge investigate Suspicious or improper behaviour that needs to be investigates
#794 opened Oct 31, 2024 by Tomaqa • Draft
Nonlin LA preds
#790 opened Oct 29, 2024 by BritikovKI Loading…
1
203
Separated integers from rationals and added simple FastInteger wrapper
#751 opened Aug 21, 2024 by Tomaqa • Draft
2
Fp simplex
#745 opened Aug 16, 2024 by Tomaqa • Draft
Constraint Reordering: Reverse Bland Heuristic
#641 opened Aug 14, 2023 by mbaranr Loading…
Bvlogic
#601 opened Mar 20, 2023 by BritikovKI • Draft
Parser improvement
#569 opened Oct 31, 2022 by aehyvari • Draft
9
Logic: Rewrite mkAnd/mkOr to avoid memory allocations and term lookup
#504 opened May 27, 2022 by blishko Loading…
10
Do not use vectors indexed by Pterms' ids in LASolver do not merge
#500 opened May 24, 2022 by blishko Loading…
4
Sort commutative boolean ops
#491 opened May 10, 2022 by aehyvari • Draft
LRA: Use smaller value in delta computation
#444 opened Mar 10, 2022 by blishko • Draft
Iterative term printer
#421 opened Feb 18, 2022 by aehyvari • Draft
ProTip! Adding no:label will show everything without a label.