|
4 |
✓resolved |
apply gradle changes to sonatype build steps |
1.2-rc1 |
me (at andresteingress) |
over 13 years old |
|
2 |
✓resolved |
update github wiki with new 1.2 features |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
6 |
✓invalid |
Annotation contract support for Target.METHOD |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
7 |
✓resolved |
Documentation on Annotation Contracts |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
8 |
✓resolved |
find better way instead of @Contracted |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
12 |
✓resolved |
Optimize CandidateChecks and exclude java.lang and groovy.lang |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
13 |
✓resolved |
Automtically infer @Retention and @Target into Annotation Contracts |
1.2.1 |
me (at andresteingress) |
over 13 years old |
|
11 |
✓resolved |
support for private methods |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
14 |
✓resolved |
Allow Labels in Annotation Closures |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
15 |
✓resolved |
Allow multiple labels in contracts |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
16 |
✓resolved |
missing return causes wrong method behavior |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
19 |
✓resolved |
multiple return statements cause missing postcondition validation |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
20 |
✓resolved |
precondition specification on constructor with default value fails |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
21 |
✓hold |
cyclic method calls when querying property in class invariant |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
22 |
✓resolved |
Support for private contructor |
1.2.2 |
me (at andresteingress) |
over 13 years old |
|
23 |
✓resolved |
A circular call is detected when there isn't. |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
26 |
✓resolved |
doc template not in classpath |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
27 |
✓resolved |
avoid class invariant on read-only properties |
1.2.3 |
me (at andresteingress) |
over 13 years old |
|
17 |
✓resolved |
old variable generation on inherited instance variables |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
10 |
✓resolved |
Support for static methods |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
25 |
✓resolved |
Precondition (@Requires) should be checked before the method, closure is invoked |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
28 |
✓resolved |
use locks to avoid concurrency issues when checking contracts |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
29 |
✓resolved |
no explicit return returns null |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
30 |
✓resolved |
ReturnStatementVisitor does not ignore closure expressions |
1.2.4 |
me (at andresteingress) |
over 13 years old |
|
31 |
✓hold |
cyclic class in preconditions |
1.2.5 |
me (at andresteingress) |
over 13 years old |
|
33 |
✓resolved |
Unable to apply GContracts annotation on Spock methods |
1.2.5 |
me (at andresteingress) |
about 12 years old |
|
34 |
✓resolved |
support for Groovy 1.8.x |
1.2.5 |
me (at andresteingress) |
almost 13 years old |
|
32 |
new |
Check for support of @Requires and @Ensures on Groovy properties |
1.2.6 |
me (at andresteingress) |
over 4 years old |
|
1 |
new |
provide better javadoc for SPI classes |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
|
9 |
new |
support for annotation contracts in interfaces |
1.2.6 |
me (at andresteingress) |
almost 13 years old |
Create new ticket