
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