- 
      
      added functionality to join multiple ... 
      was committed by Andre Steingress
    
      Friday Mar 04
 - 
      
      fixed wrong precondition assumption i... 
      was committed by Andre Steingress
    
      07:56 AM
      
     - 
      
      fixed precondition inheritance test-c... 
      was committed by Andre Steingress
    
      12:10 AM
      
     - 
      
      complete switch to annotation closure... 
      was committed by Andre Steingress
    
      12:06 AM
      
     - 
      
      default return value of true in gener... 
      was committed by Andre Steingress
    
      Thursday Mar 03
 - 
      
      introduced AssertionMap in domain mod... 
      was committed by Andre Steingress
    
      02:18 PM
      
     - 
      
      cleanup, fixed source position of ren... 
      was committed by Andre Steingress
    
      01:34 PM
      
     - 
      
      fixes from abstract pre/postcondition... 
      was committed by Andre Steingress
    
      12:20 PM
      
     - 
      
      change from InterfaceVisitor to Inter... 
      was committed by Andre Steingress
    
      12:00 PM
      
     - 
      
      dummy marker to find parent pre/postc... 
      was committed by Andre Steingress
    
      Tuesday Mar 01
 - 
      
      fixed checks for @Postcondition meta ... 
      was committed by Andre Steingress
    
      03:27 PM
      
     - 
      
      moved computation of old variable ins... 
      was committed by Andre Steingress
    
      03:05 PM
      
     - 
      
      changed internal name for old variabl... 
      was committed by Andre Steingress
    
      02:41 PM
      
     - 
      
      removed legacy code
https://github.co... 
      was committed by Andre Steingress
    
      02:37 PM
      
     - 
      
      fixed generation of old variable
http... 
      was committed by Andre Steingress
    
      02:33 PM
      
     - 
      
      added support for simple interface in... 
      was committed by Andre Steingress
    
      02:11 PM
      
     - 
      
      fixed NP with annotation without clos... 
      was committed by Andre Steingress
    
      01:22 PM
      
     - 
      
      first step for interface contract sup... 
      was committed by Andre Steingress
    
      01:19 PM
      
     - 
      
      first part for interface contracts
ht... 
      was committed by Andre Steingress
    
      Monday Feb 28
 - 
      
      renamed from ExpressionUtil to Expres... 
      was committed by Andre Steingress
    
      11:28 AM
      
     - 
      
      new test-case for @NotNull merged wit... 
      was committed by Andre Steingress
    
      10:27 AM
      
     - 
      
      made @NotNull annotation processor wo... 
      was committed by Andre Steingress
    
      09:50 AM
      
     - 
      
      changed author signature
https://gith... 
      was committed by Andre Steingress
    
      09:36 AM
      
     - 
      
      fixed some headers
https://github.com... 
      was committed by Andre Steingress
    
      09:34 AM
      
     - 
      
      fixed sourceposition of boolean expre... 
      was committed by Andre Steingress
    
      09:29 AM
      
     - 
      
      removed default constructor in BaseVi... 
      was committed by Andre Steingress
    
      08:39 AM
      
     - 
      
      introduction domain model
https://git... 
      was committed by Andre Steingress
    
      08:32 AM
      
     - 
      
      minor text change
https://github.com/... 
      was committed by Andre Steingress
    
      Saturday Feb 26
 - 
      
      some renamings, more meta annotations... 
      was committed by Andre Steingress
    
      08:57 PM
      
     - 
      
      cleanup
https://github.com/andrestein... 
      was committed by Andre Steingress
    
      Friday Feb 25
 - 
      
      some javadocs
https://github.com/andr... 
      was committed by Andre Steingress
    
      09:06 PM
      
     - 
      
      removed annos
https://github.com/andr... 
      was committed by Andre Steingress
    
      01:55 PM
      
     - 
      
      refactored/remove some meta-annotatio... 
      was committed by Andre Steingress
    
      01:52 PM
      
     - 
      
      removed postcondition marker from @No... 
      was committed by Andre Steingress
    
      01:47 PM
      
     - 
      
      changed README.txt
https://github.com... 
      was committed by Andre Steingress
    
      01:29 PM
      
     - 
      
      changed mail in license headers
https... 
      was committed by Andre Steingress
    
      01:28 PM
      
     - 
      
      updated license headers
https://githu... 
      was committed by Andre Steingress
    
      01:26 PM
      
     - 
      
      removed pom.xml
https://github.com/an... 
      was committed by Andre Steingress
    
      01:02 PM
      
     - 
      
      SpringContracts lifecycle implementat... 
      was committed by Andre Steingress
    
      01:01 PM
      
     - 
      
      adding handling of class invariants t... 
      was committed by Andre Steingress
    
      12:05 PM
      
     - 
      
      restructuring packages, according to ... 
      was committed by Andre Steingress
    
      12:00 PM
      
     - 
      
      changed to cached method nodes
https:... 
      was committed by Andre Steingress
    
      11:48 AM
      
     - 
      
      lifecylce implementations for pre- an... 
      was committed by Andre Steingress
    
      11:37 AM
      
     - 
      
      annotation processor for @Invariant
h... 
      was committed by Andre Steingress
    
      10:06 AM
      
     - 
      
      ensures and requires annotation proce... 
      was committed by Andre Steingress
    
      Thursday Feb 24
 - 
      
      added javadoc, added constructor para... 
      was committed by Andre Steingress
    
      10:56 PM
      
     - 
      
      moved to multi-project build
https://... 
      was committed by Andre Steingress
    
      10:43 PM
      
     - 
      
      added license headers
https://github.... 
      was committed by Andre Steingress
    
      10:02 PM
      
     - 
      
      first step towards new AnnotationProc... 
      was committed by Andre Steingress
    
      09:00 PM
      
     - 
      
      updated .gitignore
https://github.com... 
      was committed by Andre Steingress
    
      03:07 PM
      
     - 
      
      Groovy 1.7.8, cleaned up debug statem... 
      was committed by Andre Steingress
    
      02:58 PM
      
     - 
      
      Merge branch 'groovy_1_8_changes'
htt... 
      was committed by Andre Steingress
    
      02:48 PM
      
     
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module