ethereum/cpp-ethereum — pull request #468 by CJentzsch (2014-11-04 12:53:42+00:00)
Title: bugfix jumps after push

In the Etherpad it is stated "If a jump is preceded by a push, no jumpdest required". This did not work because the counter looked at the wrong index for the value to be pushed (the new PC). Therefore the value p always was 0x60 (JUMP) or 0x61 (JUMPI), but never the correct value of the new PC.