-
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