me (at andresteingress)
-
version set to 1.2.2
https://github.c...
was committed by Andre Steingress
Thursday May 12
changeset - Support for static methods was updated by me (at andresteingress) 08:10 PM ticket
- provide better javadoc for SPI classes was updated by me (at andresteingress) 08:09 PM ticket
- consistent naming through the core classes was updated by me (at andresteingress) 08:09 PM ticket
- old variable generation on inherited instance variables was updated by me (at andresteingress) 08:09 PM ticket
- call to super method causes precondition violation was updated by me (at andresteingress) 08:08 PM ticket
- accessing private variables from @Invariant was updated by me (at andresteingress) 08:08 PM ticket
- support for annotation contracts in interfaces was updated by me (at andresteingress) 08:08 PM ticket
- 1.2.3 was created by me (at andresteingress) 08:07 PM milestone
-
Support for private contructorwas updated by me (at andresteingress)Monday May 09
ticket