-
call to super method causes precondit...
was created by me (at andresteingress)
Monday Apr 11
ticket -
old variable generation on inherited instance variables
was updated by me (at andresteingress)
09:07 PM
ticket
-
old variable generation on inherited ...
was created by me (at andresteingress)
08:57 PM
ticket
-
missing return causes wrong method be...
was created by me (at andresteingress)
11:00 AM
ticket
-
additional test-case form malformatte...
was committed by Andre Steingress
Thursday Apr 07
changeset -
Allow multiple labels in contractswas updated by me (at andresteingress) 12:42 PM ticket -
allow multiple labels in contracts [#...
was committed by Andre Steingress
12:42 PM
changeset
-
Allow multiple labels in contractswas updated by me (at andresteingress) 12:41 PM ticket -
Allow multiple labels in contracts
was created by me (at andresteingress)
09:56 AM
ticket
-
Allow Labels in Annotation Closureswas updated by me (at andresteingress) 09:54 AM ticket -
Allow Labels in Annotation Closures
was updated by me (at andresteingress)
09:54 AM
ticket
-
fixed usage of labels in @Requires, @...
was committed by Andre Steingress
09:54 AM
changeset
-
Allow Labels in Annotation Closures
was created by me (at andresteingress)
09:17 AM
ticket
-
changed version to 1.2.1
https://gith...
was committed by Andre Steingress
Thursday Mar 31
changeset -
added test-case for @AnnotationContra...
was committed by Andre Steingress
11:46 AM
changeset
-
removed check for enabled/disable pre...
was committed by Andre Steingress
11:46 AM
changeset
-
Documentation on Annotation Contractswas updated by me (at andresteingress) 11:21 AM ticket -
Automtically infer @Retention and @Target into Annotation Contractswas updated by me (at andresteingress) 11:19 AM ticket -
Automtically infer @Retention and @Ta...
was committed by Andre Steingress
11:19 AM
changeset
-
Automtically infer @Retention and @Ta...
was created by me (at andresteingress)
10:52 AM
ticket
-
consistent naming through the core classes
was updated by me (at andresteingress)
09:58 AM
ticket
-
provide better javadoc for SPI classes
was updated by me (at andresteingress)
09:58 AM
ticket
-
accessing private variables from @Invariant
was updated by me (at andresteingress)
09:58 AM
ticket
-
support for private methods
was updated by me (at andresteingress)
09:57 AM
ticket
-
Support for static methods
was updated by me (at andresteingress)
09:56 AM
ticket
-
support for annotation contracts in interfaces
was updated by me (at andresteingress)
09:56 AM
ticket
-
1.2.2
was created by me (at andresteingress)
09:55 AM
milestone
-
support for annotation contracts in interfaces
was updated by me (at andresteingress)
09:54 AM
ticket
-
Support for static methods
was updated by me (at andresteingress)
09:53 AM
ticket
-
small refactorings while working on [...
was committed by Andre Steingress
09:53 AM
changeset
-
Optimize CandidateChecks and exclude java.lang and groovy.langwas updated by me (at andresteingress) 09:38 AM ticket -
Optimize CandidateChecks and exclude java.lang and groovy.lang
was updated by me (at andresteingress)
09:37 AM
ticket
-
Optimize CandidateChecks and exclude ...
was committed by Andre Steingress
09:37 AM
changeset
-
Optimize CandidateChecks and exclude ...
was created by me (at andresteingress)
09:23 AM
ticket
-
find better way instead of @Contractedwas updated by me (at andresteingress) 09:22 AM ticket -
find better way instead of @Contracte...
was committed by Andre Steingress
09:21 AM
changeset
-
find better way instead of @Contracted
was updated by me (at andresteingress)
09:21 AM
ticket
-
find better way instead of @Contracted
was updated by me (at andresteingress)
08:35 AM
ticket
-
support for private methods
was created by me (at andresteingress)
Wednesday Mar 23
ticket -
Support for static methods
was created by me (at andresteingress)
09:24 AM
ticket
-
support for annotation contracts in i...
was created by me (at andresteingress)
Wednesday Mar 16
ticket -
Annotation contract support for Target.METHODwas updated by me (at andresteingress) 10:33 AM ticket -
Annotation contract support for Target.METHOD
was updated by me (at andresteingress)
Tuesday Mar 15
ticket -
added test case for ElementType.METHO...
was committed by Andre Steingress
11:35 PM
changeset
-
Annotation contract support for Target.METHOD
was updated by me (at andresteingress)
12:37 PM
ticket
-
find better way instead of @Contracted
was created by me (at andresteingress)
12:04 PM
ticket
-
Documentation on Annotation Contracts
was created by me (at andresteingress)
12:03 PM
ticket
-
Annotation contract support for Targe...
was created by me (at andresteingress)
12:02 PM
ticket
-
removed weird fileset position
https:...
was committed by Andre Steingress
Friday Mar 11
changeset -
refactored LifecycleLoader
https://gi...
was committed by Andre Steingress
07:28 AM
changeset
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