
me (at andresteingress)
-
cyclic method call detection part I h... was committed by Andre Steingress
Tuesday Mar 08
changeset -
added functionality to join multiple ... was committed by Andre Steingress 04:54 PM changeset
-
source code refactorings https://gith... was committed by Andre Steingress 04:54 PM changeset
-
fixed test-case https://github.com/an... was committed by Andre Steingress 04:54 PM changeset
-
fixed checks for @Postcondition meta ... was committed by Andre Steingress 04:54 PM changeset
-
dummy marker to find parent pre/postc... was committed by Andre Steingress 04:54 PM changeset
-
removed legacy code https://github.co... was committed by Andre Steingress 04:54 PM changeset
-
change from InterfaceVisitor to Inter... was committed by Andre Steingress 04:54 PM changeset
-
moved computation of old variable ins... was committed by Andre Steingress 04:54 PM changeset
-
changed internal name for old variabl... was committed by Andre Steingress 04:54 PM changeset