-
cyclic class in preconditions was updated by me (at andresteingress)
Sunday Jun 19
ticket -
classpath refactorings, about plugin ... was committed by Andre Steingress 08:35 PM changeset
-
cyclic class in preconditions was created by me (at andresteingress)
Monday Jun 13
ticket -
1.2.5 snapshot https://github.com/and... was committed by Andre Steingress
Sunday Jun 12
changeset -
version 1.2.4 https://github.com/andr... was committed by Andre Steingress 10:12 PM changeset
-
provide better javadoc for SPI classes was updated by me (at andresteingress) 10:05 PM ticket
-
consistent naming through the core classes was updated by me (at andresteingress) 10:05 PM ticket
-
call to super method causes precondition violation was updated by me (at andresteingress) 10:05 PM ticket
-
support for annotation contracts in interfaces was updated by me (at andresteingress) 10:04 PM ticket
-
accessing private variables from @Invariant was updated by me (at andresteingress) 10:04 PM ticket
-
1.2.5 was created by me (at andresteingress) 10:03 PM milestone
-
ReturnStatementVisitor does not ignore closure expressionswas updated by me (at andresteingress) 09:59 PM ticket -
fixed [#30] - ReturnStatementVisitor ... was committed by Andre Steingress 09:57 PM changeset
-
ReturnStatementVisitor does not ignore closure expressions was updated by me (at andresteingress) 09:57 PM ticket
-
ReturnStatementVisitor does not ignor... was created by me (at andresteingress) 09:57 PM ticket
-
no explicit return returns nullwas updated by me (at andresteingress) 09:36 PM ticket -
no explicit return returns null was updated by me (at andresteingress) 09:36 PM ticket
-
new test-cases, fixed [#29] https://g... was committed by Andre Steingress 09:36 PM changeset
-
no explicit return returns null was created by me (at andresteingress) 08:40 PM ticket
-
added stack.pop() as replacement for ... was committed by Andre Steingress
Monday May 30
changeset -
Precondition (@Requires) should be checked before the method, closure is invokedwas updated by me (at andresteingress) 12:40 PM ticket -
Support for static methodswas updated by me (at andresteingress) 12:39 PM ticket -
Support for static methods was updated by me (at andresteingress) 12:38 PM ticket
-
Precondition (@Requires) should be checked before the method, closure is invoked was updated by me (at andresteingress) 12:38 PM ticket
-
fixed [#10] Support for static method... was committed by Andre Steingress 12:38 PM changeset
-
old variable generation on inherited instance variableswas updated by me (at andresteingress)Monday May 23
ticket -
old variable generation on inherited instance variables was updated by me (at andresteingress) 09:17 PM ticket
-
fixed [#17] old variable generation o... was committed by Andre Steingress 09:17 PM changeset
-
fixed recursive calls from contract a... was committed by Andre Steingress
Saturday May 21
changeset -
ContractExecutionTracker for recursiv... was committed by Andre Steingress
Friday May 20
changeset -
accessing private variables from @Invariant was updated by me (at andresteingress)
Thursday May 19
ticket -
use locks to avoid concurrency issues when checking contractswas updated by me (at andresteingress) 04:37 PM ticket -
use locks to avoid concurrency issues when checking contracts was updated by me (at andresteingress) 04:36 PM ticket
-
fixed [#28] - added try/catch with un... was committed by Andre Steingress 04:36 PM changeset
-
reentrant locks to avoid concurrency ... was committed by Andre Steingress 04:36 PM changeset
-
use locks to avoid concurrency issues... was created by me (at andresteingress) 04:22 PM ticket
-
added test-case for violating the pos... was committed by Andre Steingress 11:26 AM changeset
-
tweaked try-finally post-condition ch... was committed by Andre Steingress 11:18 AM changeset
-
adding test-case for try-finally retu... was committed by Andre Steingress 11:07 AM changeset
-
Invariant not obeyed for private constructorwas updated by Thomas HanWednesday May 18
ticket -
1.2.3 was updated by me (at andresteingress) 11:26 AM 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
-
provide better javadoc for SPI classes was updated by me (at andresteingress) 11:16 AM ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module
1.2.6—44% complete
Completed 4 of 9 tickets