Activity (RSS)
Sunday, February 26 2012
3
accessing private variables from @Invariant
was updated
Saturday, February 25 2012
Friday, February 24 2012
Thursday, February 23 2012
Monday, February 20 2012
Wednesday, January 18 2012
36
ClassInvariantViolation is not thrown anymore
was created
Sunday, January 15 2012
- 1.2.5 was updated by me (at andresteingress)
0 of 3 tickets remain in this milestone
3
accessing private variables from @Invariant
was updated
5
consistent naming through the core classes
was updated
18
call to super method causes precondition violation
was updated
9
support for annotation contracts in interfaces
was updated
1
provide better javadoc for SPI classes
was updated