-
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