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
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 |