Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

All changesets

Changeset [2564ed31f16ba56ef8b9d5fa4d49328d6275b6e8] by Andre Steingress

Revision 2564ed31f16ba56ef8b9d5fa4d49328d6275b6e8, committed by Andre Steingress · February 24th, 2011 @ 02:58 PM

3 changed files

  • M build.gradle
  • M src/main/java/org/gcontracts/ast/GContractsASTTransformation.java
  • M src/main/java/org/gcontracts/ast/visitor/ContractsErasingVisitor.java