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