Code

Typestate#337

Code

Closed

catamorphism wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom catamorphism:typestatecatamorphism/rust:typestateCopy head branch name to clipboard

+750-136

Commits

Commits on Apr 21, 2011

• Further work on typestate_check

  Show description for 5edd532
  catamorphism

  committed
  5edd532

  Copy full SHA for 5edd532

Commits on Apr 22, 2011

• Support all expression forms in typestate

  Show description for a993509
  catamorphism

  committed
  a993509

  Copy full SHA for a993509