Mar 2

6:41 PM
(2 posts)

After loop iteration problem in Spec#

first post: Hyojin wrote: Hi- I'm suffer from tiny problem on spec# programming the subj...

latest post: RustanLeino wrote: There are a number of problems with your program. For example, cons...

Dec 25 2011

4:16 PM
(2 posts)

List Invariant

first post: mbalves wrote: using System.Collections.Generic; using Microsoft.Contracts; na...

latest post: mbalves wrote: I ran the example with arrays and I added one new invariant. The w...

Dec 22 2011

12:04 AM
(4 posts)

Method may violate modifies clause of the enclosing method

first post: mbalves wrote: Hello, I'm developing a project in Spec# and I got the warning: Wa...

latest post: RustanLeino wrote: I think these warnings are just what you'd expect. The first warnin...

Dec 14 2011

8:05 AM
(4 posts)

Rep and Additive

first post: afazeli wrote: Hi, I tried to make a Rep field Additive to use it in one of the i...

latest post: mueller wrote: Hi Adnan, Spec# checks the admissibility of invariants syntacticall...

Nov 29 2011

7:06 PM
(9 posts)

Internal Compiler Error: System.ApplicationException: unimplemented

first post: afazeli wrote: Hi, I am trying to build my Spec# project but an internal error wi...

latest post: afazeli wrote: Thanks, I didn't notice that.

Nov 29 2011

6:40 PM
(6 posts)

DateTime type

first post: afazeli wrote: Hi, I am using DateTime objects in the invariants of a class; they...

latest post: afazeli wrote: Hi, Unfortunately the same problem returned back, I don't know what...

Nov 18 2011

10:29 AM
(4 posts)

Question about run-time checks

first post: afazeli wrote: Hi, When the static verification in Spec# is enough and when the c...

latest post: wuestholz wrote: Hi Adnan, generally static verification can't fully replace testing...

Aug 8 2011

9:26 AM
(4 posts)

"Target array ... not allowed to be committed"

first post: dtw0986 wrote: I've been encountering this error with my "swap" method during ver...

latest post: wuestholz wrote: Hi, I know of three interesting options that allow you to see what ...

Aug 4 2011

8:42 AM
(2 posts)

Conditionals possible inside requires clauses?

first post: dtw0986 wrote: I've been attempting to write preconditions and post-conditions fo...

latest post: wuestholz wrote: Hi! syntactically there is no if-then construct in Spec#. However, ...

Aug 3 2011

2:58 PM
(2 posts)

Quick Installation Question

first post: dtw0986 wrote: I'm attempting to install this using msvs 2010 express and have ex...

latest post: mikebarnett wrote: Unfortunately, I believe VS Express does not provide the extensibil...