CodePlexProject Hosting for Open Source Software
8:27 AM(5 posts)
first post: YannickMoy wrote: Hi,
I know Spec# is no longer developed, but I'd like to check if...
Oct 7, 2013
4: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
9:05 PM(3 posts)
first post: paolanto wrote: Hello.
I have a question, if anybody has a minute.
The Spec# tu...
Jan 17, 2013
10:28 PM(3 posts)
first post: jagadeest wrote: a
Jan 13, 2013
2:33 PM(3 posts)
first post: AnkitDixit wrote: Does Spec# support nested use of quantifications. If it does, can ...
Jan 4, 2013
9:58 AM(3 posts)
first post: AnkitDixit wrote: When I try to write a simple program postcondition, which should b...
Dec 26, 2012
9: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
2:07 PM(4 posts)
first post: othrez wrote: Hello, My question is related to sorting algorithms, and how to fu...
Oct 17, 2012
9: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
3:24 PM(9 posts)
first post: Ergotron wrote: Hi, I've installed Spec# in Visual Studio. When I create a new Spe...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions