-
ContractExecutionTracker for recursiv... was committed by Andre Steingress
Friday May 20
-
fixed [#28] - added try/catch with un... was committed by Andre Steingress
Thursday May 19
-
reentrant locks to avoid concurrency ... was committed by Andre Steingress 04:18 PM
-
added test-case for violating the pos... was committed by Andre Steingress 11:26 AM
-
tweaked try-finally post-condition ch... was committed by Andre Steingress 11:18 AM
-
adding test-case for try-finally retu... was committed by Andre Steingress 11:00 AM
-
1.2.3 release https://github.com/andr... was committed by Andre Steingress
Wednesday May 18
-
moved HTML template to resources dir ... was committed by Andre Steingress 11:07 AM
-
removed class invariants from read-on... was committed by Andre Steingress 10:38 AM
-
set to 1.2.3-SNAPSHOT https://github.... was committed by Andre Steingress
Thursday May 12
-
version set to 1.2.2 https://github.c... was committed by Andre Steingress 08:20 PM
-
fixed [#22] and [#11] https://github.... was committed by Andre Steingress
Monday May 09
-
added testcase for [#3] https://githu... was committed by Andre Steingress 11:08 AM
-
fixed class invariant check on return... was committed by Andre Steingress 10:09 AM
-
changed circularassertion call detect... was committed by Andre Steingress
Thursday May 05
-
test-case for [#16] https://github.co... was committed by Andre Steingress
Thursday Apr 14
-
multiple return statements cause miss... was committed by Andre Steingress 11:07 AM
-
fixed a comment https://github.com/an... was committed by Andre Steingress
Tuesday Apr 12
-
precondition specification on constru... was committed by Andre Steingress 11:22 AM
-
changed to 1.2.2-SNAPSHOT https://git... was committed by Andre Steingress 11:13 AM
-
precondition specification on constru... was committed by Andre Steingress 11:11 AM
-
additional test-case form malformatte... was committed by Andre Steingress
Thursday Apr 07
-
allow multiple labels in contracts [#... was committed by Andre Steingress 12:42 PM
-
fixed usage of labels in @Requires, @... was committed by Andre Steingress 09:54 AM
-
changed version to 1.2.1 https://gith... was committed by Andre Steingress
Thursday Mar 31
-
removed check for enabled/disable pre... was committed by Andre Steingress 11:46 AM
-
added test-case for @AnnotationContra... was committed by Andre Steingress 11:45 AM
-
Automtically infer @Retention and @Ta... was committed by Andre Steingress 11:19 AM
-
small refactorings while working on [... was committed by Andre Steingress 09:53 AM
-
Optimize CandidateChecks and exclude ... was committed by Andre Steingress 09:37 AM
-
find better way instead of @Contracte... was committed by Andre Steingress 09:21 AM
-
added test case for ElementType.METHO... was committed by Andre Steingress
Tuesday Mar 15
-
removed weird fileset position https:... was committed by Andre Steingress
Friday Mar 11
-
refactored LifecycleLoader https://gi... was committed by Andre Steingress 07:28 AM
-
added static path to contracts class ... was committed by Andre Steingress
Thursday Mar 10
-
Merge branch '1.2' of github.com:andr... was committed by Andre Steingress 09:32 PM
-
introduced @Contracted annotation htt... was committed by Andre Steingress 09:31 PM
-
fixed illegal access to AstStringComp... was committed by Andre Steingress
Wednesday Mar 09
-
changed to 1.2.0 https://github.com/a... was committed by Andre Steingress 10:41 AM
-
fixed blog web address https://github... was committed by Andre Steingress
Tuesday Mar 08
-
updated readme.txt https://github.com... was committed by Andre Steingress 11:37 PM
-
renamed cyclic* classes https://githu... was committed by Andre Steingress 10:44 PM
-
replaced all places with mail in @aut... was committed by Andre Steingress 08:43 PM
-
added uploadArchives task to all sub-... was committed by Andre Steingress 04:41 PM
-
removed StringTokenizer from Contract... was committed by Andre Steingress 02:39 PM
-
partial fix [#5] https://github.com/a... was committed by Andre Steingress 02:20 PM
-
partial fix for: provide better javad... was committed by Andre Steingress 01:53 PM
-
removed test file https://github.com/... was committed by Andre Steingress 01:01 PM
-
test for lighthouse integration https... was committed by Andre Steingress 12:59 PM
-
added javadoc, updated license header... was committed by Andre Steingress 11:15 AM
-
added @AssertionsEnabled to spring te... was committed by Andre Steingress
Monday Mar 07
-
added @AssertionsEnabled https://gith... was committed by Andre Steingress 11:47 PM
-
cyclic method call detection part I h... was committed by Andre Steingress 08:41 PM
-
fixed generation of default precondit... was committed by Andre Steingress
Friday Mar 04
-
fixed interface/abstract class assert... was committed by Andre Steingress 01:38 PM
-
introduced ContractGroovyDoc with cus... was committed by Andre Steingress 12:35 PM
-
removed gcontracts-sample submodule h... was committed by Andre Steingress 11:26 AM
-
upgraded to JUnit 4.8.2 https://githu... was committed by Andre Steingress 11:24 AM
-
source code refactorings https://gith... was committed by Andre Steingress 10:59 AM
-
fixed test-case https://github.com/an... was committed by Andre Steingress 10:06 AM
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module