Opening DafnyExtension in VS

May 29, 2015 at 4:35 PM
Dear Dafny experts,

I downloaded the Dafny 1.4.2 sources some time ago, and could happily compile the Dafny project in VisualStudio 2013 (playing around with verification conditions in a different format, ...).

However, when I try to open the DafnyExtension project, VS complains with a 'load failed' error, both in the 2012 and 2013 version. All the recommended extensions (sdk, code contract,... are installed).

Did anyone experience a similar problem? Hints would be very much appreciated.

Sarah