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