VS2015

May 10, 2016 at 5:53 AM
Hi,

any idea to get it running with VS2015?

With best regards


Gerhard
Coordinator
May 11, 2016 at 10:06 PM
I haven't tried (and haven't run Spec# for a long time), so I'm afraid I can't say. Perhaps someone else knows?

Though, I can't resist this question: Would it make sense for you to consider switching to Dafny instead?

Rustan
May 12, 2016 at 4:30 AM

.. ah.

I just struggled over Spec# (again) and only want to see whats new.

But for playing around Dafny is good, I think.

I have to check Dafny out, never heard about before.

Thanks.

With best regards

Gerhard

Von: rustanleino [email removed]
Gesendet: Donnerstag, 12. Mai 2016 00:06
An: [email removed]
Betreff: Re: VS2015 [specsharp:654483]

From: rustanleino

I haven't tried (and haven't run Spec# for a long time), so I'm afraid I can't say. Perhaps someone else knows?

Though, I can't resist this question: Would it make sense for you to consider switching to Dafny instead?

Rustan

May 12, 2016 at 4:32 AM

.. oops, forgotten.

Maybe you have some links which can help a Dafny quickstart.

With best regards

Gerhard

Von: rustanleino [email removed]
Gesendet: Donnerstag, 12. Mai 2016 00:06
An: [email removed]
Betreff: Re: VS2015 [specsharp:654483]

From: rustanleino

I haven't tried (and haven't run Spec# for a long time), so I'm afraid I can't say. Perhaps someone else knows?

Though, I can't resist this question: Would it make sense for you to consider switching to Dafny instead?

Rustan