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 [4228ef5f50c75db55a0041dcae314d5723e264b2] by Andre Steingress

Revision 4228ef5f50c75db55a0041dcae314d5723e264b2, committed by Andre Steingress · March 1st, 2011 @ 02:37 PM

1 changed file

  • M gcontracts-core/src/main/java/org/gcontracts/generation/ClassInvariantGenerator.java