-
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