
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