Old expressions should be allowed in assertions.
Id #10115 | Release:
| Updated: Oct 21 at 8:38 AM by wuestholz | Created: Oct 21 at 8:38 AM by wuestholz
z3 has been moved to codeplex, the new uri is http://z3.codeplex.com/
Id #10114 | Release:
| Updated: Jan 29 at 9:12 PM by cl1motorsports | Created: Jan 29 at 9:12 PM by cl1motorsports
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:
| Updated: Sep 23, 2012 at 11:53 PM by aeterna426 | Created: Mar 23, 2012 at 3:35 PM by middlewest
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:
| Updated: Dec 22, 2011 at 6:39 AM by wuestholz | Created: Dec 21, 2011 at 10:10 AM by rindPHI
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:
| Updated: Jan 11, 2011 at 10:06 AM by wuestholz | Created: Jan 11, 2011 at 10:03 AM by wuestholz
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:
| Updated: Nov 5, 2010 at 2:32 PM by wuestholz | Created: Nov 5, 2010 at 2:29 PM by wuestholz
The following code results in a Nullreference Exception when built with Visual Studio 2008.
I'm not sure whether this syntax of min and max is supported as I have seen some examples only.
Id #9016 | Release:
| Updated: Aug 10, 2010 at 12:46 AM by rustanleino | Created: Jul 21, 2010 at 9:59 AM by borishollas
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.
Id #8398 | Release:
| Updated: May 19, 2010 at 10:38 AM by wuestholz | Created: May 19, 2010 at 10:38 AM by wuestholz
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.
Id #6639 | Release:
| Updated: Dec 16, 2009 at 1:42 AM by k_john_gough | Created: Dec 15, 2009 at 11:27 PM by k_john_gough
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 -
Id #6434 | Release:
| Updated: Dec 5, 2009 at 11:50 PM by hermanv | Created: Dec 1, 2009 at 7:20 PM by k_john_gough