mukul-rathi / bolt
93%
master: 95%

LAST BUILD BRANCH: vtable
DEFAULT BRANCH: master
Repo Added
Files 57
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH data-race-typechecker
branch: data-race-typechecker
CHANGE BRANCH
x

384

push

circleci

mukul-rathi 
Type check concurrent regions' accesses

45 of 45 new or added lines in 2 files covered. (100.0%)

2326 of 2499 relevant lines covered (93.08%)

58.28 hits per line

Relevant lines Covered
2499 RELEVANT LINES 2326 COVERED LINES
58.28 HITS PER LINE
Source Files on data-race-typechecker
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
384 data-race-typechecker Type check concurrent regions' accesses push mukul-rathi circleci pending completion  
383 data-race-typechecker Collate thread free vars' region accesses push mukul-rathi circleci pending completion  
382 data-race-typechecker Implement NLL using liveness analysis of aliases push mukul-rathi circleci pending completion  
381 data-race-typechecker Type check assignments of linear variables push mukul-rathi circleci pending completion  
380 data-race-typechecker Type check aliases of linear variables push mukul-rathi circleci pending completion  
379 data-race-typechecker Refactor linearity checking functions into separate file push mukul-rathi circleci pending completion  
378 data-race-typechecker Add compile program script push mukul-rathi circleci pending completion  
377 data-race-typechecker Tweak borrowing and region guard syntax push mukul-rathi circleci pending completion  
376 data-race-typechecker Tweak borrowing and region guard syntax push mukul-rathi circleci pending completion  
375 data-race-typechecker Add type constraints for params and assignment push mukul-rathi circleci pending completion  
See All Builds (272)