me (at andresteingress)'s profile - gcontracts

me (at andresteingress)

Independent Software Dev/ blog.andresteingress.com

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 / gcontracts-core / 1.2.4 / new
ticket
~~use locks to avoid concurrency issues when checking contracts~~ was updated by me (at andresteingress) 04:37 PM
~~#28~~ / gcontracts-core / 1.2.4 / ✓resolved
ticket
fixed [#28] - added try/catch with un... was committed by Andre Steingress 04:36 PM
Commit [37bab03d8fa8d89918c271973ea7dbf0ca7499be]
changeset
use locks to avoid concurrency issues when checking contracts was updated by me (at andresteingress) 04:36 PM
#28 / gcontracts-core / 1.2.4 / new
ticket
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 / gcontracts-core / 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

« Previous 1 2 … 14 15 16 17 18 19 20 21 22 … 37 38 Next »

me (at andresteingress)'s Projects

5 gcontracts / gcontracts-core