-
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