SRI-CSL
/
Bliss
90%
|
Repo Added
|
Files
15
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH master
coverage: 90.439%. Remained the same
push
travis-ci
927 of 1025 relevant lines covered (90.44%)
908783564.35 hits per line
Relevant lines Covered
1025
RELEVANT LINES
927
COVERED LINES
908783564.35
HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 19 | master | ntt_variants/interval_abstraction/*.txt moves over to NTT/data/ | push |  ianamason |
travis-ci |
90.44 |
|
| 18 | master | Merge branch 'master' of github.com:SRI-CSL/Bliss | push |  BrunoDutertre |
travis-ci |
90.44 |
|
| 17 | master | The original bliss page has gone 404. So we link to the web archive version. | push | ianamason |
travis-ci |
90.44 |
|
| 16 | master | Renamed rescale constant | push | BrunoDutertre |
travis-ci |
90.44 |
|
| 15 | master | Full product with abstract interpretation | push | BrunoDutertre |
travis-ci |
89.72 |
|
| 14 | master | Source-level interval abstraction and some tests | push | BrunoDutertre |
travis-ci |
89.72 |
|
| 13 | master | Added a more naive variant of NTT | push | BrunoDutertre |
travis-ci |
89.72 |
|
| 12 | master | Fixed comments | push | BrunoDutertre |
travis-ci |
89.72 |
|
| 11 | master | More dead code removal | push | BrunoDutertre |
travis-ci | pending completion | |
| 10 | master | Removed/commented out debug code and dead code | push | BrunoDutertre |
travis-ci | pending completion |