-
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