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 »

cyclic class in preconditions was updated by me (at andresteingress)
Sunday Jun 19

#31 / 1.2.5 / new
ticket
classpath refactorings, about plugin ... was committed by Andre Steingress 08:35 PM
Commit [c26c130e070164b159627dcfa761c43a81053fb1]
changeset
cyclic class in preconditions was created by me (at andresteingress)
Monday Jun 13

#31 / 1.2.5 / new
ticket
1.2.5 snapshot https://github.com/and... was committed by Andre Steingress
Sunday Jun 12

Commit [e98f8d1047bc17fedd2b3656a4691048dc73dc63]
changeset
version 1.2.4 https://github.com/andr... was committed by Andre Steingress 10:12 PM
Commit [f314f5b481cb5f6a69e6f50b655aadc353d1f508]
changeset
provide better javadoc for SPI classes was updated by me (at andresteingress) 10:05 PM
#1 / 1.2.5 / new
ticket
consistent naming through the core classes was updated by me (at andresteingress) 10:05 PM
#5 / 1.2.5 / new
ticket
call to super method causes precondition violation was updated by me (at andresteingress) 10:05 PM
#18 / 1.2.5 / new
ticket
support for annotation contracts in interfaces was updated by me (at andresteingress) 10:04 PM
#9 / 1.2.5 / new
ticket
accessing private variables from @Invariant was updated by me (at andresteingress) 10:04 PM
#3 / 1.2.5 / new
ticket
1.2.5 was created by me (at andresteingress) 10:03 PM
No open tickets, 3 total
milestone
~~ReturnStatementVisitor does not ignore closure expressions~~ was updated by me (at andresteingress) 09:59 PM
~~#30~~ / 1.2.4 / ✓resolved
ticket
fixed [#30] - ReturnStatementVisitor ... was committed by Andre Steingress 09:57 PM
Commit [ad5003bca92a1e43298bd5a36113532071400913]
changeset
ReturnStatementVisitor does not ignore closure expressions was updated by me (at andresteingress) 09:57 PM
#30 / 1.2.4 / new
ticket
ReturnStatementVisitor does not ignor... was created by me (at andresteingress) 09:57 PM
#30 / 1.2.4 / new
ticket
~~no explicit return returns null~~ was updated by me (at andresteingress) 09:36 PM
~~#29~~ / 1.2.4 / ✓resolved
ticket
no explicit return returns null was updated by me (at andresteingress) 09:36 PM
#29 / 1.2.4 / open
ticket
new test-cases, fixed [#29] https://g... was committed by Andre Steingress 09:36 PM
Commit [fbd6982cb69fd4541e4eea56bc87103cca3c8f7b]
changeset
no explicit return returns null was created by me (at andresteingress) 08:40 PM
#29 / 1.2.4 / open
ticket
added stack.pop() as replacement for ... was committed by Andre Steingress
Monday May 30

Commit [df901e6cff2637320254dc2d62490ba879a4858a]
changeset
~~Precondition (@Requires) should be checked before the method, closure is invoked~~ was updated by me (at andresteingress) 12:40 PM
~~#25~~ / 1.2.4 / ✓resolved
ticket
~~Support for static methods~~ was updated by me (at andresteingress) 12:39 PM
~~#10~~ / 1.2.4 / ✓resolved
ticket
Support for static methods was updated by me (at andresteingress) 12:38 PM
#10 / 1.2.4 / new
ticket
Precondition (@Requires) should be checked before the method, closure is invoked was updated by me (at andresteingress) 12:38 PM
#25 / 1.2.4 / new
ticket
fixed [#10] Support for static method... was committed by Andre Steingress 12:38 PM
Commit [4b7cc2161b9ff744c368aaea0a476a0d07475cd7]
changeset
~~old variable generation on inherited instance variables~~ was updated by me (at andresteingress)
Monday May 23

~~#17~~ / 1.2.4 / ✓resolved
ticket
old variable generation on inherited instance variables was updated by me (at andresteingress) 09:17 PM
#17 / 1.2.4 / new
ticket
fixed [#17] old variable generation o... was committed by Andre Steingress 09:17 PM
Commit [ae3ced841930f2e1a20bfc9b62bc97292d02ea3e]
changeset
fixed recursive calls from contract a... was committed by Andre Steingress
Saturday May 21

Commit [aa50e827fa07b2332ec3b3b973dc011874bec08d]
changeset
ContractExecutionTracker for recursiv... was committed by Andre Steingress
Friday May 20

Commit [142c4ef87e54a457fa22dde398a8fc04123d20ba]
changeset
accessing private variables from @Invariant was updated by me (at andresteingress)
Thursday May 19

#3 / 1.2.4 / new
ticket
~~use locks to avoid concurrency issues when checking contracts~~ was updated by me (at andresteingress) 04:37 PM
~~#28~~ / 1.2.4 / ✓resolved
ticket
use locks to avoid concurrency issues when checking contracts was updated by me (at andresteingress) 04:36 PM
#28 / 1.2.4 / new
ticket
fixed [#28] - added try/catch with un... was committed by Andre Steingress 04:36 PM
Commit [37bab03d8fa8d89918c271973ea7dbf0ca7499be]
changeset
reentrant locks to avoid concurrency ... was committed by Andre Steingress 04:36 PM
Commit [58826bf08204d3d90db9de6d04a68122f1a7a241]
changeset
use locks to avoid concurrency issues... was created by me (at andresteingress) 04:22 PM
#28 / 1.2.4 / new
ticket
added test-case for violating the pos... was committed by Andre Steingress 11:26 AM
Commit [3d41b815c1a5a2ca566f455a97eed11eaff16b9a]
changeset
tweaked try-finally post-condition ch... was committed by Andre Steingress 11:18 AM
Commit [35ff5b5b418f869df8e820283cd16591668fbb62]
changeset
adding test-case for try-finally retu... was committed by Andre Steingress 11:07 AM
Commit [5e05b7ebff51e15e6083f24c4faefb0bea2dab71]
changeset
~~Invariant not obeyed for private constructor~~ was updated by Thomas Han
Wednesday May 18

~~#24~~ / ✓hold
ticket
1.2.3 was updated by me (at andresteingress) 11:26 AM
No open tickets, 3 total
milestone
1.2.3 release https://github.com/andr... was committed by Andre Steingress 11:24 AM
Commit [17dae3ecbd86cd49d1bb6f3d66fabdabb8d7a56f]
changeset
~~avoid class invariant on read-only pr...~~ was created by me (at andresteingress) 11:18 AM
~~#27~~ / 1.2.3 / ✓resolved
ticket
~~doc template not in classpath~~ was created by me (at andresteingress) 11:18 AM
~~#26~~ / 1.2.3 / ✓resolved
ticket
support for annotation contracts in interfaces was updated by me (at andresteingress) 11:18 AM
#9 / 1.2.4 / new
ticket
accessing private variables from @Invariant was updated by me (at andresteingress) 11:18 AM
#3 / 1.2.4 / new
ticket
call to super method causes precondition violation was updated by me (at andresteingress) 11:17 AM
#18 / 1.2.4 / new
ticket
old variable generation on inherited instance variables was updated by me (at andresteingress) 11:17 AM
#17 / 1.2.4 / new
ticket
consistent naming through the core classes was updated by me (at andresteingress) 11:17 AM
#5 / 1.2.4 / new
ticket
provide better javadoc for SPI classes was updated by me (at andresteingress) 11:16 AM
#1 / 1.2.4 / 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