Skip to content

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

New pull request New
26 Open 620 Closed
26 Open 620 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

Interpol mod fix
#900 opened Jul 22, 2026 by BritikovKI Member Loading…
4
Extend the coverage of stopping the solver
#898 opened Jun 22, 2026 by Tomaqa Member • Draft
2 of 5 tasks
Preferring brace initialization of SMTOption
#896 opened Jun 22, 2026 by Tomaqa Member • Draft
1
Added counters of already preprocessed assertions
#889 opened Nov 24, 2025 by Tomaqa Member • Draft
4
Force Cnfizer to keep track with top-level or named formulas in TermMapper if tracking partitions
#883 opened Nov 13, 2025 by Tomaqa Member • Draft
1
Allowed retrieving internal terms from PartitionManager and also single terms
#882 opened Nov 13, 2025 by Tomaqa Member Loading…
2
Implemented decision preferences of formulas
#873 opened Oct 30, 2025 by Tomaqa Member • Draft
Make isBuiltinFunction return true for frameTerms
#870 opened Oct 24, 2025 by Tomaqa Member • Draft
Implemented :time-limit-per-query
#863 opened Oct 22, 2025 by Tomaqa Member • Draft
Moved IteHandler into the preprocessing pipeline
#858 opened Aug 26, 2025 by Tomaqa Member • Draft
1
19
Wall-clock timeout
#852 opened Jul 21, 2025 by Tomaqa Member Loading…
1
17
Use CRTP for static polymophism within numbers do not merge
#806 opened Nov 6, 2024 by Tomaqa Member • Draft
Vector (const) view do not merge investigate Suspicious or improper behaviour that needs to be investigates
#794 opened Oct 31, 2024 by Tomaqa Member • Draft
Nonlin LA preds
#790 opened Oct 29, 2024 by BritikovKI Member Loading…
1
211
Separated integers from rationals and added simple FastInteger wrapper
#751 opened Aug 21, 2024 by Tomaqa Member • Draft
2
Fp simplex
#745 opened Aug 16, 2024 by Tomaqa Member • Draft
Constraint Reordering: Reverse Bland Heuristic
#641 opened Aug 14, 2023 by mbaranr Collaborator Loading…
Bvlogic
#601 opened Mar 20, 2023 by BritikovKI Member • Draft
Parser improvement
#569 opened Oct 31, 2022 by aehyvari Member • Draft
9
Logic: Rewrite mkAnd/mkOr to avoid memory allocations and term lookup
#504 opened May 27, 2022 by blishko Member Loading…
10
Do not use vectors indexed by Pterms' ids in LASolver do not merge
#500 opened May 24, 2022 by blishko Member • Draft
4
Sort commutative boolean ops
#491 opened May 10, 2022 by aehyvari Member • Draft
LRA: Use smaller value in delta computation
#444 opened Mar 10, 2022 by blishko Member • Draft
Iterative term printer
#421 opened Feb 18, 2022 by aehyvari Member • Draft
Make the partition information of clauses more explicit.
#222 opened Feb 1, 2021 by aehyvari Member • Draft
ProTip! Exclude everything labeled bug with -label:bug.