mukul-rathi / bolt / 383

Builds Branch Commit Type Ran Committer Via Coverage
383 data-race-typechecker Collate thread free vars' region accesses push mukul-rathi circleci pending completion   set done
382 data-race-typechecker Implement NLL using liveness analysis of aliases push mukul-rathi circleci pending completion   set done
381 data-race-typechecker Type check assignments of linear variables push mukul-rathi circleci pending completion   set done
380 data-race-typechecker Type check aliases of linear variables push mukul-rathi circleci pending completion   set done
379 data-race-typechecker Refactor linearity checking functions into separate file push mukul-rathi circleci pending completion   set done
378 data-race-typechecker Add compile program script push mukul-rathi circleci pending completion   set done
377 data-race-typechecker Tweak borrowing and region guard syntax push mukul-rathi circleci pending completion   set done
376 data-race-typechecker Tweak borrowing and region guard syntax push mukul-rathi circleci pending completion   set done
375 data-race-typechecker Add type constraints for params and assignment push mukul-rathi circleci pending completion   set done
374 data-race-typechecker Type function argument region constraints push mukul-rathi circleci pending completion   set done
373 data-race-typechecker Check function/method call boundaries push mukul-rathi circleci pending completion   set done
372 data-race-typechecker Type check subordinate exprs push mukul-rathi circleci pending completion   set done
371 data-race-typechecker Type check thread regions push mukul-rathi circleci pending completion   set done
370 data-race-typechecker Type check read regions push mukul-rathi circleci pending completion   set done
369 data-race-typechecker Allow blocks of expressions to be empty push mukul-rathi circleci pending completion   set done