[Why3-club] Generation of realizations broken

Stefan Berghofer berghofe at in.tum.de
Fri Nov 22 18:16:28 CET 2013


Dear Why3-Club,

On 11/22/2013 04:48 PM, Stefan Berghofer wrote:
> it seems that generation of realizations is currently broken in the development version
> of Why3. [...]

according to "git bisect", the problem was introduced with the following commit:

   3cdc073f78605ac2d52007ac54173e1f76269887  Trans: do not memoize transformations of goals

Greetings,
Stefan



More information about the Why3-club mailing list