diff THIRD_PARTY_README @ 13673:bd94d77af2c1

SpeculationLog: split maySpeculate into maySpeculate (check only) and speculate (register)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 17 Jan 2014 14:07:06 +0100
parents f6ba9007b2c6
children 9a48187fef5e
line wrap: on
line diff