me (at andresteingress)'s profile - gcontracts

me (at andresteingress)

Independent Software Dev/ blog.andresteingress.com

cyclic method call detection part I h... was committed by Andre Steingress
Tuesday Mar 08

Commit [788a5f65fda20e5a889997cfa68e37cfe951ad32]
changeset
added functionality to join multiple ... was committed by Andre Steingress 04:54 PM
Commit [e0386ff3ecc7bae369ac89e476d28f8176d9bda0]
changeset
source code refactorings https://gith... was committed by Andre Steingress 04:54 PM
Commit [fddcb0f138770dc8386cc2c52598d0756eeaf91c]
changeset
fixed test-case https://github.com/an... was committed by Andre Steingress 04:54 PM
Commit [fd318be3274f3905f21da72cf664026e4b916662]
changeset
fixed checks for @Postcondition meta ... was committed by Andre Steingress 04:54 PM
Commit [a8b103de6f8355db4601fa81769d0a5e298c61e4]
changeset
dummy marker to find parent pre/postc... was committed by Andre Steingress 04:54 PM
Commit [940e482620f88aa344e8731f222288f3d7896b84]
changeset
removed legacy code https://github.co... was committed by Andre Steingress 04:54 PM
Commit [4228ef5f50c75db55a0041dcae314d5723e264b2]
changeset
change from InterfaceVisitor to Inter... was committed by Andre Steingress 04:54 PM
Commit [3ca2204871353c0eead19f4eaeb198caf6d3b4b7]
changeset
moved computation of old variable ins... was committed by Andre Steingress 04:54 PM
Commit [886b27eff16514e7752dc0361a53a16007835634]
changeset
changed internal name for old variabl... was committed by Andre Steingress 04:54 PM
Commit [7351997bee18c2640ffcf884d1a494fde8219628]
changeset

« Previous 1 2 … 28 29 30 31 32 33 34 35 36 37 38 Next »

me (at andresteingress)'s Projects

5 gcontracts / gcontracts-core