CodePlexProject Hosting for Open Source Software
May 1
9:05 PM(3 posts)
first post: paolanto wrote: Hello. I have a question, if anybody has a minute. The Spec# tu...
Jan 17
10:28 PM(3 posts)
first post: jagadeest wrote: Is there any possibility to collect the different types of object ...
Jan 13
2:33 PM(3 posts)
first post: AnkitDixit wrote: Does Spec# support nested use of quantifications. If it does, can ...
Jan 4
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...
Sep 25, 2012
6:49 PM(16 posts)
first post: admiristrator wrote: Is a Visual Studio 2010 compatible Spec# package in the works?Why i...
Sep 19, 2012
1:50 PM(2 posts)
first post: bshelajev wrote: Hello, I am reading "Modular Verification of Static Class Invarian...
Sep 12, 2012
6:26 PM(4 posts)
first post: bshelajev wrote: Hello, I am studying spec# tool and got the following problem. Cod...
Mar 2, 2012
6:41 PM(2 posts)
first post: Hyojin wrote: Hi- I'm suffer from tiny problem on spec# programming the subj...
Dec 25, 2011
4:16 PM(2 posts)
first post: mbalves wrote: using System.Collections.Generic;using Microsoft.Contracts;namespa...
Dec 22, 2011
12:04 AM(4 posts)
first post: mbalves wrote: Hello,I'm developing a project in Spec# and I got the warning:Warni...
Dec 14, 2011
8:05 AM(4 posts)
first post: afazeli wrote: Hi,I tried to make a Rep field Additive to use it in one of the inv...
Nov 29, 2011
7:06 PM(9 posts)
first post: afazeli wrote: Hi,I am trying to build my Spec# project but an internal error with...
6:40 PM(6 posts)
first post: afazeli wrote: Hi,I am using DateTime objects in the invariants of a class; they p...
Nov 18, 2011
10:29 AM(4 posts)
first post: afazeli wrote: Hi,When the static verification in Spec# is enough and when the com...
Aug 8, 2011
9:26 AM(4 posts)
first post: dtw0986 wrote: I've been encountering this error with my "swap" method during veri...
Aug 4, 2011
8:42 AM(2 posts)
first post: dtw0986 wrote: I've been attempting to write preconditions and post-conditions for...
Aug 3, 2011
2:58 PM(2 posts)
first post: dtw0986 wrote: I'm attempting to install this using msvs 2010 express and have ext...
May 11, 2011
8:56 AM(4 posts)
first post: DarrkAssassin wrote: Hey So I followed the directions on http://specsharp.codeplex.com/w...
Apr 25, 2011
1:31 AM(1 post)
first post: imansaleh wrote: Question moved to Boogie discussion
Apr 18, 2011
9:38 AM(7 posts)
first post: WesselVS wrote: Hi, Playing with spec#, I am trying to verify my quicksort algorith...
1:57 AM(2 posts)
first post: robimalik wrote: When verifying the following code, I am getting different answers w...
Mar 15, 2011
4:42 PM(17 posts)
first post: borishollas wrote: Hello,to solve the problem described in thread http://specsharp.cod...
Mar 4, 2011
5:21 PM(6 posts)
first post: imansaleh wrote: Hi, I am trying to specify an abstract method and marking it as Pur...
5:01 PM(3 posts)
first post: ruchija wrote: Hi, I installed the latest version of Specsharp (August version) an...
Feb 17, 2011
8:34 PM(2 posts)
first post: afazeli wrote: Hi,I am new to Spec# and I have problem using Linq in spec# project...
Dec 13, 2010
12:49 PM(2 posts)
first post: MountBoot wrote: EDIT: Nvm I solved it just expressed the post condition in another ...
Nov 18, 2010
1:37 PM(9 posts)
first post: kaiser wrote: Hello,I am not sure if this is the right place to ask, but there's ...
Nov 10, 2010
11:01 AM(7 posts)
first post: borishollas wrote: Hi,the following code contains a call to an impure method of a com...
Oct 29, 2010
7:30 PM(3 posts)
first post: hesam wrote: Hi,I'm new to Spec# and I'm confused about a case involving an arra...
Sep 1, 2010
10:40 PM(4 posts)
first post: borishollas wrote: Hi, today, I noticed that I am unable to enter the project propert...
Aug 21, 2010
2:03 AM(3 posts)
first post: ruchija wrote: HiI installed the latest version of Spec Sharp binaries and got the...
Aug 10, 2010
8:09 PM(3 posts)
first post: borishollas wrote: Hi,I have a method call of the formexpose(this) expose(this.obj1) e...
12:36 AM(2 posts)
first post: borishollas wrote: Hi,I just installed Spec# 2010-07-20 and the latest stable release ...
Aug 4, 2010
10:19 PM(7 posts)
first post: ruchija wrote: There are two issues here that i am facing. One is that i am not ge...
Jul 21, 2010
5:40 AM(6 posts)
first post: SimonFuller wrote: Hello,I am trying to use specsharp with the z3 v2 verifier.I am uns...
Jul 20, 2010
7:34 PM(3 posts)
first post: borishollas wrote: Hello,in the code below, I use a call to a pure method in an object...
Jul 15, 2010
9:42 AM(1 post)
first post: simonfuller wrote: Hi, I am having trouble establishing invariants for inherited class...
9:06 AM(3 posts)
first post: borishollas wrote: Hello,in the following code, Spec# complains that "A.a" is inaccesi...
Jun 10, 2010
8:52 PM(5 posts)
first post: chrisjones07 wrote: Hi there,The following class produces the error given belowpublic c...
May 30, 2010
3:09 AM(2 posts)
first post: justinc wrote: I have downloaded the source and built it and referenced the result...
May 13, 2010
11:40 AM(3 posts)
first post: sophiaImperial wrote: Apologies in advance for the ingorant question.I tried out Rustan's...
Apr 19, 2010
8:27 PM(4 posts)
first post: imansaleh wrote: Hi,I am doing some experimentation with sscBoogie. I use it to veri...
Mar 31, 2010
9:03 PM(2 posts)
first post: imansaleh wrote: Hi,I am trying to define some pure abstract methods to use later in...
Mar 14, 2010
5:30 AM(2 posts)
first post: jssyjrm wrote: Hi! Been trying to find out if you're projecting the code to CCI co...
Sign in to display notification settings.
Keep up with what's going on in this project's discussions