mukul-rathi / bolt / 440

Builds Branch Commit Type Ran Committer Via Coverage
440 master Remove unnecessary tests (tests are at wrong stage of pipeline) push mukul-rathi circleci pending completion   set done
439 master Resolve #124 - allow let expressions to optionally be annotated with types push mukul-rathi circleci pending completion   set done
437 master Resolve #123 - update fn param capability annotations push mukul-rathi circleci pending completion   set done
435 master Add single-threaded + multi-threaded benchmarks push mukul-rathi circleci pending completion   set done
433 master Clean up LLVM Bazel script push mukul-rathi circleci pending completion   set done
431 master Clean up LLVM Bazel script push mukul-rathi circleci pending completion   set done
428 master Fix failing expect test push mukul-rathi circleci pending completion   set done
421 master Fix CI (update Opam) push mukul-rathi circleci pending completion   set done
400 master Allow references that don't use any capabilities push mukul-rathi circleci pending completion   set done
397 master Fix #117 - check method calls have the required capabilities push mukul-rathi circleci pending completion   set done
394 master CODEMOD: Resolve #114 - rename regions to capabilities push mukul-rathi circleci pending completion   set done
391 master Resolve #113 - rename capabilities push mukul-rathi circleci pending completion   set done
388 master Update README.md and opam version push mukul-rathi circleci pending completion   set done
385 master Merge pull request #111 from mukul-rathi/data-race-typechecker push GitHub circleci pending completion   set done
384 data-race-typechecker Type check concurrent regions' accesses push mukul-rathi circleci pending completion   set done