-
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