number state title milestone due assigned created updated project tags 3 resolved accessing private variables from @Invariant 1.2.6 2012-03-05 00:00:00 +0100 me (at andresteingress) 2011-03-08 13:07:51 +0100 2012-02-26 20:45:02 +0100 gcontracts-core bug 9 new support for annotation contracts in interfaces 1.2.6 2012-03-05 00:00:00 +0100 me (at andresteingress) 2011-03-16 10:34:20 +0100 2012-01-15 21:18:15 +0100 gcontracts-core bug