-
removed default constructor in BaseVi... was committed by Andre Steingress
Tuesday Mar 08
changeset -
fixed sourceposition of boolean expre... was committed by Andre Steingress 04:54 PM changeset
-
changed author signature https://gith... was committed by Andre Steingress 04:54 PM changeset
-
introduction domain model https://git... was committed by Andre Steingress 04:54 PM changeset
-
some javadocs https://github.com/andr... was committed by Andre Steingress 04:54 PM changeset
-
minor text change https://github.com/... was committed by Andre Steingress 04:54 PM changeset
-
cleanup https://github.com/andrestein... was committed by Andre Steingress 04:54 PM changeset
-
some renamings, more meta annotations... was committed by Andre Steingress 04:54 PM changeset
-
removed annos https://github.com/andr... was committed by Andre Steingress 04:54 PM changeset
-
refactored/remove some meta-annotatio... was committed by Andre Steingress 04:54 PM changeset
-
updated license headers https://githu... was committed by Andre Steingress 04:54 PM changeset
-
removed postcondition marker from @No... was committed by Andre Steingress 04:54 PM changeset
-
changed README.txt https://github.com... was committed by Andre Steingress 04:54 PM changeset
-
ensures and requires annotation proce... was committed by Andre Steingress 04:54 PM changeset
-
changed mail in license headers https... was committed by Andre Steingress 04:54 PM changeset
-
changed to cached method nodes https:... was committed by Andre Steingress 04:54 PM changeset
-
SpringContracts lifecycle implementat... was committed by Andre Steingress 04:54 PM changeset
-
removed pom.xml https://github.com/an... was committed by Andre Steingress 04:54 PM changeset
-
restructuring packages, according to ... was committed by Andre Steingress 04:54 PM changeset
-
annotation processor for @Invariant h... was committed by Andre Steingress 04:54 PM changeset
-
adding handling of class invariants t... was committed by Andre Steingress 04:54 PM changeset
-
lifecylce implementations for pre- an... was committed by Andre Steingress 04:54 PM changeset
-
added javadoc, added constructor para... was committed by Andre Steingress 04:54 PM changeset
-
first step towards new AnnotationProc... was committed by Andre Steingress 04:54 PM changeset
-
moved to multi-project build https://... was committed by Andre Steingress 04:54 PM changeset
-
added license headers https://github.... was committed by Andre Steingress 04:54 PM changeset
-
added uploadArchives task to all sub-... was committed by Andre Steingress 04:41 PM changeset
-
removed StringTokenizer from Contract... was committed by Andre Steingress 02:39 PM changeset
-
consistent naming through the core classes was updated by me (at andresteingress) 02:20 PM ticket
-
partial fix [#5] https://github.com/a... was committed by Andre Steingress 02:20 PM changeset
-
consistent naming through the core cl... was created by me (at andresteingress) 02:20 PM ticket
-
apply gradle changes to sonatype buil... was created by me (at andresteingress) 01:57 PM ticket
-
provide better javadoc for SPI classes was updated by me (at andresteingress) 01:53 PM ticket
-
partial fix for: provide better javad... was committed by Andre Steingress 01:53 PM changeset
-
accessing private variables from @Inv... was created by me (at andresteingress) 01:07 PM ticket
-
update github wiki with new 1.2 features was created by me (at andresteingress) 01:06 PM ticket
-
provide better javadoc for SPI classes was created by me (at andresteingress) 01:05 PM ticket
-
1.2-rc1 was updated by me (at andresteingress) 01:04 PM milestone
-
1.2-rc1 was created by me (at andresteingress) 01:03 PM milestone
-
removed test file https://github.com/... was committed by Andre Steingress 01:01 PM changeset
-
test for lighthouse integration https... was committed by Andre Steingress 01:00 PM changeset
-
Groovy 1.7.8, cleaned up debug statem... was committed by Andre Steingress 12:59 PM changeset
-
Merge branch 'groovy_1_8_changes' htt... was committed by Andre Steingress 12:59 PM changeset
-
updated .gitignore https://github.com... was committed by Andre Steingress 12:59 PM changeset
-
Home was created by me (at andresteingress) 12:47 PM page
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile ยป
core module
1.2.6—44% complete
Completed 4 of 9 tickets