SRI-CSL
/
sally
38%
master: 36%
master: 36%
|
Repo Added
|
Files
1902
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
mcsat
branch: mcsat
CHANGE BRANCH
x
CHANGE BRANCH
x
push
travis-ci
5191 of 13536 relevant lines covered (38.35%)
13673.72 hits per line
Relevant lines Covered
13536
RELEVANT LINES
5191
COVERED LINES
13673.72
HITS PER LINE
Source Files on mcsat
Detailed source file information is not available for this build.
Recent builds
| 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 |