Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
0 of 0 relevant lines covered (NaN%)
0.0 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
538 | mcsat-model-hint | option to 'skolemize' some dreal expressions | push | dddejan | travis-ci | pending completion | |
536 | mcsat-model-hint | some more fiddling with dreal | push | dddejan | travis-ci | pending completion | |
535 | mcsat-model-hint | experiment with bounding the search in dreal | push | dddejan | travis-ci | pending completion | |
533 | mcsat-model-hint | allowing check for trivial unsat from the solver | push | dddejan | travis-ci | pending completion | |
532 | mcsat-model-hint | fix smt2 query, more output | push | dddejan | travis-ci | pending completion | |
530 | mcsat-model-hint | some updates | push | dddejan | travis-ci | pending completion | |
529 | mcsat-model-hint | use libpoly to pick midpoint from dreal, breaks some tests | push | dddejan | travis-ci | pending completion | |
528 | mcsat-model-hint | updates to dreal, using model as hint if option provided to d4y2 | push | dddejan | travis-ci | pending completion |