Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
5191 of 13536 relevant lines covered (38.35%)
13673.72 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
456 | mcsat | attempt to fix build | push | dddejan | travis-ci | pending completion | |
455 | mcsat | initial API work for solving modulo models | push | dddejan | travis-ci | pending completion | |
454 | mcsat | Fix one off for pdkind model. Fixes #52. | push | dddejan | travis-ci | pending completion | |
429 | mcsat | some notes to README | push | dddejan | travis-ci | pending completion | |
428 | mcsat | moving to master yices2 (removing cudd) | push | dddejan | travis-ci | pending completion | |
427 | mcsat | disabling nra tests that timeout | push | dddejan | travis-ci | pending completion | |
423 | mcsat | Merge branch 'master' into mcsat | push | dddejan | travis-ci | pending completion | |
390 | mcsat | - fixing variable creating in bmc - enabling mcsat in yices2 when passed the right option | push | dddejan | travis-ci | pending completion | |
389 | mcsat | option for yices to use mcsat | push | dddejan | travis-ci | pending completion |