Overview - gcontracts-core

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

Support for static methods was updated by me (at andresteingress)
Wednesday May 18

#10 / 1.2.4 / new
ticket
Precondition (@Requires) should be checked before the method, closure is invoked was updated by me (at andresteingress) 11:16 AM
#25 / 1.2.4 / new
ticket
1.2.4 was created by me (at andresteingress) 11:15 AM
No open tickets, 6 total
milestone
~~Invariant not obeyed for private constructor~~ was updated by me (at andresteingress) 11:15 AM
~~#24~~ / ✓hold
ticket
~~A circular call is detected when there isn't.~~ was updated by me (at andresteingress) 11:11 AM
~~#23~~ / 1.2.3 / ✓resolved
ticket
Precondition (@Requires) should be checked before the method, closure is invoked was updated by me (at andresteingress) 11:10 AM
#25 / 1.2.3 / new
ticket
moved HTML template to resources dir ... was committed by Andre Steingress 11:08 AM
Commit [257b3935bbe11364a27bb7ca97f4440f1cc71a9b]
changeset
removed class invariants from read-on... was committed by Andre Steingress 10:38 AM
Commit [3b3b5901e33f521bdf2376a9867b545e9b51e5bf]
changeset
Precondition (@Requires) should be ch... was created by Thomas Han 09:47 AM
#25 / new
ticket
A circular call is detected when there isn't. was updated by Thomas Han 09:06 AM
#23 / new
ticket
Invariant not obeyed for private cons... was created by Thomas Han
Monday May 16

#24 / new
ticket
A circular call is detected when there isn't. was updated by Thomas Han
Saturday May 14

#23 / new
ticket
A circular call is detected when ther... was created by Thomas Han 01:04 PM
#23 / new
ticket
set to 1.2.3-SNAPSHOT https://github.... was committed by Andre Steingress
Thursday May 12

Commit [d967b6ebb6e332355b629156f6b9940167c85230]
changeset
version set to 1.2.2 https://github.c... was committed by Andre Steingress 08:20 PM
Commit [4c12c28c4e823299928cffcc876533db26906104]
changeset
Support for static methods was updated by me (at andresteingress) 08:10 PM
#10 / 1.2.3 / new
ticket
provide better javadoc for SPI classes was updated by me (at andresteingress) 08:09 PM
#1 / 1.2.3 / new
ticket
consistent naming through the core classes was updated by me (at andresteingress) 08:09 PM
#5 / 1.2.3 / new
ticket
old variable generation on inherited instance variables was updated by me (at andresteingress) 08:09 PM
#17 / 1.2.3 / new
ticket
call to super method causes precondition violation was updated by me (at andresteingress) 08:08 PM
#18 / 1.2.3 / new
ticket
accessing private variables from @Invariant was updated by me (at andresteingress) 08:08 PM
#3 / 1.2.3 / new
ticket
support for annotation contracts in interfaces was updated by me (at andresteingress) 08:08 PM
#9 / 1.2.3 / new
ticket
1.2.3 was created by me (at andresteingress) 08:07 PM
No open tickets, 3 total
milestone
~~Support for private contructor~~ was updated by me (at andresteingress)
Monday May 09

~~#22~~ / 1.2.2 / ✓resolved
ticket
~~support for private methods~~ was updated by me (at andresteingress) 11:46 AM
~~#11~~ / 1.2.2 / ✓resolved
ticket
support for private methods was updated by me (at andresteingress) 11:44 AM
#11 / 1.2.2 / new
ticket
Support for private contructor was updated by me (at andresteingress) 11:44 AM
#22 / 1.2.2 / new
ticket
fixed [#22] and [#11] https://github.... was committed by Andre Steingress 11:44 AM
Commit [18c82949d01f706051664a4c6e1e526b22cab920]
changeset
added testcase for [#3] https://githu... was committed by Andre Steingress 11:08 AM
Commit [6370eff908b60883d98d65df754d181444ccc5ec]
changeset
accessing private variables from @Invariant was updated by me (at andresteingress) 11:08 AM
#3 / 1.2.2 / new
ticket
fixed class invariant check on return... was committed by Andre Steingress 10:09 AM
Commit [8cf2baa0fa1b78418c9d433ee615165e92e22d90]
changeset
Support for private contructor was updated by me (at andresteingress) 09:39 AM
#22 / 1.2.2 / new
ticket
Support for private contructor was created by Thomas Han
Friday May 06

#22 / new
ticket
changed circularassertion call detect... was committed by Andre Steingress
Thursday May 05

Commit [73e8e48908c781385920cc8bce2163c0c318ac30]
changeset
~~missing return causes wrong method behavior~~ was updated by me (at andresteingress)
Thursday Apr 14

~~#16~~ / 1.2.2 / ✓resolved
ticket
test-case for [#16] https://github.co... was committed by Andre Steingress 11:14 AM
Commit [6a8a09ef78b5761337a9d594e22ffb726e9918f6]
changeset
missing return causes wrong method behavior was updated by me (at andresteingress) 11:14 AM
#16 / 1.2.2 / new
ticket
~~cyclic method calls when querying property in class invariant~~ was updated by me (at andresteingress) 11:10 AM
~~#21~~ / 1.2.2 / ✓hold
ticket
~~multiple return statements cause missing postcondition validation~~ was updated by me (at andresteingress) 11:08 AM
~~#19~~ / 1.2.2 / ✓resolved
ticket
multiple return statements cause missing postcondition validation was updated by me (at andresteingress) 11:07 AM
#19 / 1.2.2 / new
ticket
multiple return statements cause miss... was committed by Andre Steingress 11:07 AM
Commit [3a5962765b6baf077e0395beffeac5fabdba51fb]
changeset
cyclic method calls when querying pro... was created by me (at andresteingress)
Tuesday Apr 12

#21 / 1.2.2 / new
ticket
fixed a comment https://github.com/an... was committed by Andre Steingress 06:40 PM
Commit [e6efcda53cdd5dabfd17afe3a37ffd4598899978]
changeset
~~precondition specification on constructor with default value fails~~ was updated by me (at andresteingress) 11:23 AM
~~#20~~ / 1.2.2 / ✓resolved
ticket
precondition specification on constru... was committed by Andre Steingress 11:23 AM
Commit [1bef314b0d4a872b53069e247eb91a94b88f74ce]
changeset
changed to 1.2.2-SNAPSHOT https://git... was committed by Andre Steingress 11:13 AM
Commit [449c902d7a732452761b9fadb6fe9602810e686c]
changeset
~~precondition specification on constructor with default value fails~~ was updated by me (at andresteingress) 11:11 AM
~~#20~~ / 1.2.2 / ✓resolved
ticket
precondition specification on constru... was committed by Andre Steingress 11:11 AM
Commit [88df45de9607f46d3cdb8454c15f6abb4752c3b3]
changeset
precondition specification on constru... was created by me (at andresteingress) 11:11 AM
#20 / 1.2.2 / new
ticket
multiple return statements cause miss... was created by me (at andresteingress)
Monday Apr 11

#19 / 1.2.2 / new
ticket

« Previous 1 2 3 4 5 6 7 8 Next »

Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

core module

Shared Ticket Bins (Sort)

↓↑ drag 5 Open tickets
↓↑ drag 29 Resolved tickets
↓↑ drag 0 This week's tickets

1.2.6—44% complete

Completed 4 of 9 tickets

Gcontracts gcontracts-core

Create your profile

Shared Ticket Bins (Sort)

1.2.6—44% complete

Pages

Tags

Gcontracts gcontracts-core

Keyword searching

Create your profile

Shared Ticket Bins (Sort)

1.2.6—44% complete

Pages

Tags