- 
      
      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