Repo Added
|
Files
473
|
Badge
Embed ▾
README BADGES
|
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1604 | mcsat-eval-2 | Merge a7f0f90f9 into 4946b69bc | Pull #354 | web-flow | travis-ci |
65.25 |
|
1603 | mcsat-eval-2 | Merge branch 'mcsat-eval-2' of github.com:SRI-CSL/yices2 into mcsat-eval-2 | push | dddejan | travis-ci |
65.25 |
|
1600 | mcsat-eval-2 | Merge b2c39cdeb into 99297288d | Pull #354 | web-flow | travis-ci |
65.23 |
|
1599 | mcsat-eval-2 | Better error report if model generalization fails | push | BrunoDutertre | travis-ci |
65.23 |
|
1598 | mcsat-eval-2 | Merge 651729e1e into 99297288d | Pull #354 | web-flow | travis-ci |
65.24 |
|
1597 | mcsat-eval-2 | Updated model-construction API | push | BrunoDutertre | travis-ci |
65.24 |
|
1596 | mcsat-eval-2 | Merge c2138d52d into 99297288d | Pull #354 | web-flow | travis-ci |
65.26 |
|
1595 | mcsat-eval-2 | Merge remote-tracking branch 'origin/master' into mcsat-eval-2 | push | dddejan | travis-ci |
65.26 |
|
1593 | mcsat-eval-2 | tests for model evaluation with algebraic numbers | push | dddejan | travis-ci |
65.27 |
|
1590 | mcsat-eval-2 | Merge 4c3c4bf37 into 95a0d7b00 | Pull #354 | web-flow | travis-ci |
65.2 |