CodePlexProject Hosting for Open Source Software
Oct 7, 2013
5:29 PM(2 posts)
first post: TheodoreNorvell wrote: The subject says it all: Is there a way to run Spec# under VS 2012...
May 1, 2013
10:05 PM(3 posts)
first post: paolanto wrote: Hello.
I have a question, if anybody has a minute.
The Spec# tu...
Jan 17, 2013
11:28 PM(3 posts)
first post: jagadeest wrote: a
Jan 13, 2013
3:33 PM(3 posts)
first post: AnkitDixit wrote: Does Spec# support nested use of quantifications. If it does, can ...
Jan 4, 2013
10:58 AM(3 posts)
first post: AnkitDixit wrote: When I try to write a simple program postcondition, which should b...
Dec 26, 2012
10:48 PM(1 post)
first post: JoanVenge wrote: Are there anyone who feels the same way? Spec# seems like it's tho...
Nov 27, 2012
3:07 PM(4 posts)
first post: othrez wrote: Hello, My question is related to sorting algorithms, and how to fu...
Oct 17, 2012
10:59 PM(5 posts)
first post: Ergotron wrote: Thanks for your help in an earlier thread. I do now have Spec# ins...
Oct 16, 2012
4:24 PM(9 posts)
first post: Ergotron wrote: Hi, I've installed Spec# in Visual Studio. When I create a new Spe...
Sep 25, 2012
7:49 PM(16 posts)
first post: admiristrator wrote: Is a Visual Studio 2010 compatible Spec# package in the works?Why i...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions