me (at andresteingress)
-
adding test-case for try-finally retu...
was committed by Andre Steingress
Thursday May 19
changeset -
1.2.3
was updated by me (at andresteingress)
Wednesday May 18
milestone -
1.2.3 release
https://github.com/andr...
was committed by Andre Steingress
11:24 AM
changeset
-
avoid class invariant on read-only pr...was created by me (at andresteingress) 11:18 AM ticket -
doc template not in classpathwas created by me (at andresteingress) 11:18 AM ticket -
support for annotation contracts in interfaces
was updated by me (at andresteingress)
11:18 AM
ticket
-
accessing private variables from @Invariant
was updated by me (at andresteingress)
11:18 AM
ticket
-
call to super method causes precondition violation
was updated by me (at andresteingress)
11:17 AM
ticket
-
old variable generation on inherited instance variables
was updated by me (at andresteingress)
11:17 AM
ticket
-
consistent naming through the core classes
was updated by me (at andresteingress)
11:17 AM
ticket