-
Support for static methods was updated by me (at andresteingress)
Wednesday May 18
ticket -
Precondition (@Requires) should be checked before the method, closure is invoked was updated by me (at andresteingress) 11:16 AM ticket
-
1.2.4 was created by me (at andresteingress) 11:15 AM milestone
-
Invariant not obeyed for private constructorwas updated by me (at andresteingress) 11:15 AM ticket -
A circular call is detected when there isn't.was updated by me (at andresteingress) 11:11 AM ticket -
Precondition (@Requires) should be checked before the method, closure is invoked was updated by me (at andresteingress) 11:10 AM ticket
-
moved HTML template to resources dir ... was committed by Andre Steingress 11:08 AM changeset
-
removed class invariants from read-on... was committed by Andre Steingress 10:38 AM changeset
-
Precondition (@Requires) should be ch... was created by Thomas Han 09:47 AM ticket
-
A circular call is detected when there isn't. was updated by Thomas Han 09:06 AM ticket
-
Invariant not obeyed for private cons... was created by Thomas Han
Monday May 16
ticket -
A circular call is detected when there isn't. was updated by Thomas Han
Saturday May 14
ticket -
A circular call is detected when ther... was created by Thomas Han 01:04 PM ticket
-
set to 1.2.3-SNAPSHOT https://github.... was committed by Andre Steingress
Thursday May 12
changeset -
version set to 1.2.2 https://github.c... was committed by Andre Steingress 08:20 PM changeset
-
Support for static methods was updated by me (at andresteingress) 08:10 PM ticket
-
provide better javadoc for SPI classes was updated by me (at andresteingress) 08:09 PM ticket
-
consistent naming through the core classes was updated by me (at andresteingress) 08:09 PM ticket
-
old variable generation on inherited instance variables was updated by me (at andresteingress) 08:09 PM ticket
-
call to super method causes precondition violation was updated by me (at andresteingress) 08:08 PM ticket
-
accessing private variables from @Invariant was updated by me (at andresteingress) 08:08 PM ticket
-
support for annotation contracts in interfaces was updated by me (at andresteingress) 08:08 PM ticket
-
1.2.3 was created by me (at andresteingress) 08:07 PM milestone
-
Support for private contructorwas updated by me (at andresteingress)Monday May 09
ticket -
support for private methodswas updated by me (at andresteingress) 11:46 AM ticket -
support for private methods was updated by me (at andresteingress) 11:44 AM ticket
-
Support for private contructor was updated by me (at andresteingress) 11:44 AM ticket
-
fixed [#22] and [#11] https://github.... was committed by Andre Steingress 11:44 AM changeset
-
added testcase for [#3] https://githu... was committed by Andre Steingress 11:08 AM changeset
-
accessing private variables from @Invariant was updated by me (at andresteingress) 11:08 AM ticket
-
fixed class invariant check on return... was committed by Andre Steingress 10:09 AM changeset
-
Support for private contructor was updated by me (at andresteingress) 09:39 AM ticket
-
Support for private contructor was created by Thomas Han
Friday May 06
ticket -
changed circularassertion call detect... was committed by Andre Steingress
Thursday May 05
changeset -
missing return causes wrong method behaviorwas updated by me (at andresteingress)Thursday Apr 14
ticket -
test-case for [#16] https://github.co... was committed by Andre Steingress 11:14 AM changeset
-
missing return causes wrong method behavior was updated by me (at andresteingress) 11:14 AM ticket
-
cyclic method calls when querying property in class invariantwas updated by me (at andresteingress) 11:10 AM ticket -
multiple return statements cause missing postcondition validationwas updated by me (at andresteingress) 11:08 AM ticket -
multiple return statements cause missing postcondition validation was updated by me (at andresteingress) 11:07 AM ticket
-
multiple return statements cause miss... was committed by Andre Steingress 11:07 AM changeset
-
cyclic method calls when querying pro... was created by me (at andresteingress)
Tuesday Apr 12
ticket -
fixed a comment https://github.com/an... was committed by Andre Steingress 06:40 PM changeset
-
precondition specification on constructor with default value failswas updated by me (at andresteingress) 11:23 AM ticket -
precondition specification on constru... was committed by Andre Steingress 11:23 AM changeset
-
changed to 1.2.2-SNAPSHOT https://git... was committed by Andre Steingress 11:13 AM changeset
-
precondition specification on constructor with default value failswas updated by me (at andresteingress) 11:11 AM ticket -
precondition specification on constru... was committed by Andre Steingress 11:11 AM changeset
-
precondition specification on constru... was created by me (at andresteingress) 11:11 AM ticket
-
multiple return statements cause miss... was created by me (at andresteingress)
Monday Apr 11
ticket
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