This project is read-only.

Old expressions should be allowed in assertions

Old expressions should be allowed in assertions.

Id #10115 | Release: None | Updated: Oct 21, 2013 at 8:38 AM by wuestholz | Created: Oct 21, 2013 at 8:38 AM by wuestholz

website link for z3 on the home page should be updated

z3 has been moved to codeplex, the new uri is http://z3.codeplex.com/

Id #10114 | Release: None | Updated: Jan 29, 2013 at 9:12 PM by cl1motorsports | Created: Jan 29, 2013 at 9:12 PM by cl1motorsports

VS2010 gets very slow

Ok, I decided to try Spec# and created a test project, the problem is that anything I do in VS2010 takes seconds to accomplish, like editing project properties, compiling, etc. I am not sure if tha...

Id #10113 | Release: None | Updated: Sep 23, 2012 at 11:53 PM by aeterna426 | Created: Mar 23, 2012 at 3:35 PM by middlewest

Does not work with VS2010 Ultimate

I'm using Visual Studio 2010 Ultimate and the Spec# Plugin does not work for me - installing it the described way using the Binaries does not change anything. Obviously, I'm not the only one with t...

Id #10112 | Release: None | Updated: Dec 22, 2011 at 6:39 AM by wuestholz | Created: Dec 21, 2011 at 10:10 AM by rindPHI

Unnecessary trace positions for the 'pack' operation of an 'expose' block

Due to the way the trace position filtering currently works, we get unnecessary trace positions for the 'pack' operation of an 'expose' block. In principle, we should never get trace positions for ...

Id #10109 | Release: None | Updated: Jan 11, 2011 at 10:06 AM by wuestholz | Created: Jan 11, 2011 at 10:03 AM by wuestholz

SscBoogie crashes when it is run on .Net 4.0 dll

When I run SscBoogie on a .Net 4.0 dll (e.g. Core.dll from Boogie) it throws an AssumeException. The following command can be used to reproduce the crash: sscboogie /noVerify Core.dll

Id #9789 | Release: None | Updated: Nov 5, 2010 at 2:32 PM by wuestholz | Created: Nov 5, 2010 at 2:29 PM by wuestholz

min/max causes nullpointer exception

The following code results in a Nullreference Exception when built with Visual Studio 2008. <p> I'm not sure whether this syntax of min and max is supported as I have seen some examples only.

Id #9016 | Release: None | Updated: Aug 10, 2010 at 12:46 AM by rustanleino | Created: Jul 21, 2010 at 9:59 AM by borishollas

NoDefaultContract attribute should be allowed for return values

The NoDefaultContract attribute currently "is valid on 'constructor, method, param, property, class' declarations only". It seems useful to allow it for return values as well. Additionally, SscBoo...

Id #8398 | Release: None | Updated: May 19, 2010 at 10:38 AM by wuestholz | Created: May 19, 2010 at 10:38 AM by wuestholz

Error in Delegate creation.

In C# the following should be equivalent -- MyDelegateType d = objRef.MthName; MyDelegateType d = new MyDelegateType(objRef.MthName); the second of these gets a "can't find name" error message. S...

Id #6639 | Release: None | Updated: Dec 16, 2009 at 1:42 AM by k_john_gough | Created: Dec 15, 2009 at 11:27 PM by k_john_gough

Name binding of inherited members

SpecSharp2 incorrectly binds names to private inherited fields that should be inaccessible. This allows incorrect programs to be accepted. For example, the following is compiled without error - p...

Id #6434 | Release: None | Updated: Dec 5, 2009 at 11:50 PM by hermanv | Created: Dec 1, 2009 at 7:20 PM by k_john_gough

  • 1-10 of 10 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • 10
    • Work Items