-
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