-
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