specsharp Source Code Rss Feedhttp://specsharp.codeplex.com/SourceControl/ListDownloadableCommits.aspxspecsharp Source Code Rss DescriptionSource code checked in, #9ded16cfa629http://specsharp.codeplex.com/SourceControl/changeset/changes/9ded16cfa629Changed non-null types in ctor signatures to be checked internally to the methods, thereby avoiding the try block with the ContractMarkerException that is causing problems with PEVerify.Rustan LeinoSat, 09 Feb 2013 00:12:05 GMTSource code checked in, #9ded16cfa629 20130209121205ASource code checked in, #a025f4e6cb71http://specsharp.codeplex.com/SourceControl/changeset/changes/a025f4e6cb71SpecSharp build succeededCodeplexBotFri, 23 Nov 2012 06:03:09 GMTSource code checked in, #a025f4e6cb71 20121123060309ASource code checked in, #837b161b3297http://specsharp.codeplex.com/SourceControl/changeset/changes/837b161b3297SpecSharp: Added call to "devenv /setup" after registering the dlls for VS.wuestholzThu, 22 Nov 2012 15:26:32 GMTSource code checked in, #837b161b3297 20121122032632PSource code checked in, #94d7fe8fb945http://specsharp.codeplex.com/SourceControl/changeset/changes/94d7fe8fb945Migrated Spec# to Visual Studio 2012.wuestholzThu, 22 Nov 2012 09:41:56 GMTSource code checked in, #94d7fe8fb945 20121122094156ASource code checked in, #394202217a94http://specsharp.codeplex.com/SourceControl/changeset/changes/394202217a94SscBoogie build succeededCodeplexBotFri, 28 Sep 2012 10:33:57 GMTSource code checked in, #394202217a94 20120928103357ASource code checked in, #6649fff01012http://specsharp.codeplex.com/SourceControl/changeset/changes/6649fff01012SscBoogie build succeededCodeplexBotWed, 22 Aug 2012 06:59:10 GMTSource code checked in, #6649fff01012 20120822065910ASource code checked in, #5f64084327c6http://specsharp.codeplex.com/SourceControl/changeset/changes/5f64084327c6SscBoogie build succeededCodeplexBotWed, 15 Aug 2012 06:59:23 GMTSource code checked in, #5f64084327c6 20120815065923ASource code checked in, #5d915815c776http://specsharp.codeplex.com/SourceControl/changeset/changes/5d915815c776SscBoogie build succeededCodeplexBotSat, 04 Aug 2012 07:01:18 GMTSource code checked in, #5d915815c776 20120804070118ASource code checked in, #16a7afdeb53fhttp://specsharp.codeplex.com/SourceControl/changeset/changes/16a7afdeb53fSscBoogie build succeededCodeplexBotTue, 10 Jul 2012 06:57:59 GMTSource code checked in, #16a7afdeb53f 20120710065759ASource code checked in, #d78c1f490bc8http://specsharp.codeplex.com/SourceControl/changeset/changes/d78c1f490bc8SpecSharp build succeededCodeplexBotTue, 03 Jul 2012 08:28:37 GMTSource code checked in, #d78c1f490bc8 20120703082837ASource code checked in, #97e1237fff06http://specsharp.codeplex.com/SourceControl/changeset/changes/97e1237fff06SpecSharp: Made a test less flaky.wuestholzTue, 03 Jul 2012 08:18:50 GMTSource code checked in, #97e1237fff06 20120703081850ASource code checked in, #84065885bc53http://specsharp.codeplex.com/SourceControl/changeset/changes/84065885bc53SpecSharp build failedCodeplexBotTue, 03 Jul 2012 05:03:11 GMTSource code checked in, #84065885bc53 20120703050311ASource code checked in, #b89abea4d0f8http://specsharp.codeplex.com/SourceControl/changeset/changes/b89abea4d0f8SpecSharp build failedCodeplexBotMon, 02 Jul 2012 08:20:02 GMTSource code checked in, #b89abea4d0f8 20120702082002ASource code checked in, #ca35832e464ahttp://specsharp.codeplex.com/SourceControl/changeset/changes/ca35832e464aSpecSharp build failedCodeplexBotMon, 02 Jul 2012 05:03:40 GMTSource code checked in, #ca35832e464a 20120702050340ASource code checked in, #89d929c810edhttp://specsharp.codeplex.com/SourceControl/changeset/changes/89d929c810edSscBoogie build succeededCodeplexBotSun, 01 Jul 2012 07:09:55 GMTSource code checked in, #89d929c810ed 20120701070955ASource code checked in, #1870aa27eec6http://specsharp.codeplex.com/SourceControl/changeset/changes/1870aa27eec6SpecSharp build succeededCodeplexBotSun, 01 Jul 2012 05:03:26 GMTSource code checked in, #1870aa27eec6 20120701050326ASource code checked in, #5a36a96934efhttp://specsharp.codeplex.com/SourceControl/changeset/changes/5a36a96934efSpecSharp build failedCodeplexBotFri, 29 Jun 2012 05:05:14 GMTSource code checked in, #5a36a96934ef 20120629050514ASource code checked in, #72bbb1808b12http://specsharp.codeplex.com/SourceControl/changeset/changes/72bbb1808b12SpecSharp build failedCodeplexBotThu, 28 Jun 2012 07:51:31 GMTSource code checked in, #72bbb1808b12 20120628075131ASource code checked in, #d16e9dec06d9http://specsharp.codeplex.com/SourceControl/changeset/changes/d16e9dec06d9SscBoogie build succeededCodeplexBotThu, 28 Jun 2012 07:11:26 GMTSource code checked in, #d16e9dec06d9 20120628071126ASource code checked in, #c5e115b716fbhttp://specsharp.codeplex.com/SourceControl/changeset/changes/c5e115b716fbSscBoogie build succeededCodeplexBotSat, 23 Jun 2012 07:10:28 GMTSource code checked in, #c5e115b716fb 20120623071028A