-
added static path to contracts class ... was committed by Andre Steingress
Thursday Mar 10
changeset -
introduced @Contracted annotation htt... was committed by Andre Steingress 09:33 PM changeset
-
Merge branch '1.2' of github.com:andr... was committed by Andre Steingress 09:33 PM changeset
-
fixed illegal access to AstStringComp... was committed by Andre Steingress
Wednesday Mar 09
changeset -
changed to 1.2.0 https://github.com/a... was committed by Andre Steingress 10:41 AM changeset
-
fixed blog web address https://github... was committed by Andre Steingress
Tuesday Mar 08
changeset -
1.2-rc1 was updated by me (at andresteingress) 11:41 PM milestone
-
update github wiki with new 1.2 featureswas updated by me (at andresteingress) 11:41 PM ticket -
accessing private variables from @Invariant was updated by me (at andresteingress) 11:41 PM ticket
-
provide better javadoc for SPI classes was updated by me (at andresteingress) 11:40 PM ticket
-
apply gradle changes to sonatype build stepswas updated by me (at andresteingress) 11:40 PM ticket -
consistent naming through the core classes was updated by me (at andresteingress) 11:40 PM ticket
-
1.2.1 was created by me (at andresteingress) 11:39 PM milestone
-
updated readme.txt https://github.com... was committed by Andre Steingress 11:37 PM changeset
-
renamed cyclic* classes https://githu... was committed by Andre Steingress 10:44 PM changeset
-
replaced all places with mail in @aut... was committed by Andre Steingress 08:43 PM changeset
-
added javadoc, updated license header... was committed by Andre Steingress 04:54 PM changeset
-
added @AssertionsEnabled to spring te... was committed by Andre Steingress 04:54 PM changeset
-
fixed interface/abstract class assert... was committed by Andre Steingress 04:54 PM changeset
-
added @AssertionsEnabled https://gith... was committed by Andre Steingress 04:54 PM changeset
-
fixed generation of default precondit... was committed by Andre Steingress 04:54 PM changeset
-
removed gcontracts-sample submodule h... was committed by Andre Steingress 04:54 PM changeset
-
cyclic method call detection part I h... was committed by Andre Steingress 04:54 PM changeset
-
introduced ContractGroovyDoc with cus... was committed by Andre Steingress 04:54 PM changeset
-
cleanup, fixed source position of ren... was committed by Andre Steingress 04:54 PM changeset
-
upgraded to JUnit 4.8.2 https://githu... was committed by Andre Steingress 04:54 PM changeset
-
fixed test-case https://github.com/an... was committed by Andre Steingress 04:54 PM changeset
-
source code refactorings https://gith... was committed by Andre Steingress 04:54 PM changeset
-
added functionality to join multiple ... was committed by Andre Steingress 04:54 PM changeset
-
fixed wrong precondition assumption i... was committed by Andre Steingress 04:54 PM changeset
-
complete switch to annotation closure... was committed by Andre Steingress 04:54 PM changeset
-
fixed precondition inheritance test-c... was committed by Andre Steingress 04:54 PM changeset
-
fixes from abstract pre/postcondition... was committed by Andre Steingress 04:54 PM changeset
-
default return value of true in gener... was committed by Andre Steingress 04:54 PM changeset
-
introduced AssertionMap in domain mod... was committed by Andre Steingress 04:54 PM changeset
-
changed internal name for old variabl... was committed by Andre Steingress 04:54 PM changeset
-
moved computation of old variable ins... was committed by Andre Steingress 04:54 PM changeset
-
change from InterfaceVisitor to Inter... was committed by Andre Steingress 04:54 PM changeset
-
removed legacy code https://github.co... was committed by Andre Steingress 04:54 PM changeset
-
dummy marker to find parent pre/postc... was committed by Andre Steingress 04:54 PM changeset
-
fixed checks for @Postcondition meta ... was committed by Andre Steingress 04:54 PM changeset
-
fixed generation of old variable http... was committed by Andre Steingress 04:54 PM changeset
-
added support for simple interface in... was committed by Andre Steingress 04:54 PM changeset
-
first step for interface contract sup... was committed by Andre Steingress 04:54 PM changeset
-
renamed from ExpressionUtil to Expres... was committed by Andre Steingress 04:54 PM changeset
-
new test-case for @NotNull merged wit... was committed by Andre Steingress 04:54 PM changeset
-
fixed NP with annotation without clos... was committed by Andre Steingress 04:54 PM changeset
-
first part for interface contracts ht... was committed by Andre Steingress 04:54 PM changeset
-
fixed some headers https://github.com... was committed by Andre Steingress 04:54 PM changeset
-
made @NotNull annotation processor wo... was committed by Andre Steingress 04:54 PM 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