SRI-CSL's Repositories

SRI-CSL / yices2

67%
Build #22981281920:   Enable asserts in curried MCSAT API test on branch issue-613-mcsat-curried-function-model 4 days ago
issue-613-mcsat-curried-function-model: 67%
LAST BUILD BRANCH: issue-613-mcsat-curried-function-model
DEFAULT BRANCH: master

SRI-CSL / Bliss

90%
Build #19:   ntt_variants/interval_abstraction/*.txt moves over to NTT/data/ on branch master over 5 years ago
master: 90%
DEFAULT BRANCH: master

SRI-CSL / sally

36%
Build #675:   Merge pull request #68 from SRI-CSL/nra Extensions to use SMT modulo models and interp... on branch master almost 5 years ago
master: 36%
DEFAULT BRANCH: master

SRI-CSL / ENCODERS

3%
Build #27:   Update .travis.yml on branch master about 10 years ago
master: 3%
DEFAULT BRANCH: master

SRI-CSL / iopc

There have been no builds for this repo.

NO TREND HISTORY

SRI-CSL / bixie

61%
Build #55:   added option serverityLimit which can be set to 0 suppress reachability warnings on branch 0.6 almost 9 years ago
0.6: 61%
LAST BUILD BRANCH: 0.6
DEFAULT BRANCH: master