issues
search
usi-verification-and-security
/
opensmt
The opensmt solver
Other
78
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[WIP] Checking in `mkConst` that every `Number` of sort Int is indeed integer
#813
Tomaqa
opened
6 days ago
0
Badge fix
#812
BritikovKI
closed
3 days ago
0
Helper script to create and possibly push annotated release tag
#811
Tomaqa
closed
1 week ago
2
Improve handling of failures in the main executable
#810
Tomaqa
opened
1 week ago
0
Model: Add a simple method to extend a model with value for a new variable
#809
blishko
closed
1 week ago
0
Use annotated tags for releases
#808
aehyvari
closed
1 week ago
11
Another suggestion for implementing versioning
#807
aehyvari
closed
2 weeks ago
0
Use CRTP for static polymophism within `numbers`
#806
Tomaqa
opened
2 weeks ago
0
Moved number-related files into separate directory
#805
Tomaqa
closed
2 weeks ago
0
Everywhere: Separate common helpers from InterpolationUtils
#804
blishko
closed
2 weeks ago
0
Performance and assertion fix in min unsat cores
#803
Tomaqa
closed
2 weeks ago
0
Refactored and extended "redundant" unsat-core regression tests
#802
Tomaqa
closed
2 weeks ago
1
Command Line Rework: rework of the command line interface
#801
BritikovKI
closed
1 week ago
11
Implement `-v` or `--version`
#800
aehyvari
closed
1 week ago
0
CI-TEST: added run of the regression tests in the CI
#799
BritikovKI
closed
2 weeks ago
0
Minor version bump
#798
Tomaqa
closed
3 weeks ago
0
Removed problematic use of `move_iterator`s
#797
Tomaqa
closed
3 weeks ago
0
Updated changelog and version
#796
Tomaqa
closed
3 weeks ago
0
CI: Update macos environment
#795
blishko
closed
3 weeks ago
0
Vector (const) view
#794
Tomaqa
opened
3 weeks ago
0
Treat named and full unsat cores separately but with common interface
#793
Tomaqa
closed
3 weeks ago
1
Separated regression tests of unsat cores
#792
Tomaqa
closed
3 weeks ago
0
Unify regression test scripts
#791
Tomaqa
opened
3 weeks ago
1
Nonlin LA preds
#790
BritikovKI
opened
3 weeks ago
16
Clarify the difference between `pp` and `printTerm`
#789
Tomaqa
opened
3 weeks ago
1
Rewrite C-style string operations to C++ style
#788
Tomaqa
opened
3 weeks ago
0
Fixed minimal unsat cores
#787
Tomaqa
closed
3 weeks ago
1
Do not restrict printResolutionProofSMT2 to just std::cout
#786
Tomaqa
closed
3 weeks ago
0
`MainSolver` API for assertion levels of the assertion stack
#785
Tomaqa
closed
3 weeks ago
0
CI: check that the static Linux build is indeed static
#784
Tomaqa
closed
4 weeks ago
0
Add Github action for release
#783
blishko
closed
4 weeks ago
0
Rewriters: Fix typo in a comment and add assertion
#782
blishko
closed
4 weeks ago
0
Printing unsat cores line-wise
#781
Tomaqa
closed
1 month ago
0
Upd. changelog
#780
Tomaqa
closed
1 month ago
1
Sorting xor-args in ascending order (same as others)
#779
Tomaqa
closed
1 month ago
0
Got rid of 'using namespace std'
#778
Tomaqa
closed
1 month ago
0
Report an error message on unsupported options
#777
Tomaqa
closed
1 week ago
0
Reversed order of arguments of XOR
#776
Tomaqa
closed
1 month ago
0
Not considering popped flas in the number of assertions
#775
Tomaqa
closed
3 weeks ago
1
Getter of the count of inserted flas
#774
Tomaqa
closed
1 month ago
0
Config to change underlying SAT-Solver?
#772
bruderj15
opened
2 months ago
1
Implemented smt2 option ":print-cores-full" (from CVC5)
#771
Tomaqa
closed
1 month ago
3
Some more complex regression tests on unsat cores
#770
Tomaqa
closed
1 month ago
0
(Re)implement help message in the binary
#769
Tomaqa
closed
1 week ago
3
Efficient iterating and views on `TermNames`
#768
Tomaqa
closed
1 month ago
0
Added a view to the terms of `TermNames` instead of the names
#767
Tomaqa
closed
2 months ago
0
Supporting timeouts
#766
bruderj15
opened
2 months ago
3
Implement subset minimal unsat core
#765
Tomaqa
closed
2 months ago
1
Move functionalities from `Interpret` to API
#764
Tomaqa
opened
2 months ago
0
Make `TermNames` accessible within the solver
#763
Tomaqa
closed
2 months ago
16
Next