Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Oct 18, 2015

• Merge pull request #229 from sharwell/clousot-xunit

  Show description for a8887ce
  SergeyTeplyakov

  committed
  a8887ce

  Copy full SHA for a8887ce

• Merge pull request #233 from tom-englert/issue#232

  Show description for 0e6b0d7
  SergeyTeplyakov

  committed
  0e6b0d7

  Copy full SHA for 0e6b0d7

Commits on Oct 15, 2015

• Merge pull request #257 from sharwell/codetools-2015

  Show description for 67ab197
  SergeyTeplyakov

  committed
  67ab197

  Copy full SHA for 67ab197

Commits on Oct 11, 2015

• Merge pull request #263 from tom-englert/issue#262

  Show description for 3701e29
  SergeyTeplyakov

  committed
  3701e29

  Copy full SHA for 3701e29

Commits on Oct 10, 2015

• Exclude contracts for Silverlight5 and .Net3.5 that have no correspondent entry in the reference assemblies.

  tom-englert

  committed
  62e6a03

  Copy full SHA for 62e6a03

Commits on Oct 5, 2015

• Merge pull request #251 from fedotovalex/fix-249

  Show description for b2021fb
  SergeyTeplyakov

  committed
  b2021fb

  Copy full SHA for b2021fb

• Merge pull request #260 from hubuk/issue29

  Show description for ef374ee
  SergeyTeplyakov

  committed
  ef374ee

  Copy full SHA for ef374ee

Commits on Oct 4, 2015

• Added supprot for default(T) expression used in contracts.

  hubuk

  committed
  0e86faa

  Copy full SHA for 0e86faa

• Created test for issue #29

  hubuk

  committed
  8062553

  Copy full SHA for 8062553

Commits on Sep 29, 2015

• Replace references with project references where applicable

  sharwell

  committed
  5918ad2

  Copy full SHA for 5918ad2

• Use VSSDK packages from NuGet

  sharwell

  committed
  678aee7

  Copy full SHA for 678aee7

• Updated CodeTools10 build to support Visual Studio 2015

  sharwell

  committed
  5321f96

  Copy full SHA for 5321f96

Commits on Sep 21, 2015

• Added missing overloads for GetFileSystemEntries, GetFiles, and GetDirectories (fixes #249)

  fedotovalex

  committed
  6d0ded3

  Copy full SHA for 6d0ded3

Commits on Sep 5, 2015

• Merge pull request #237 from sharwell/normalization

  Show description for b75846e
  SergeyTeplyakov

  committed
  b75846e

  Copy full SHA for b75846e

Commits on Sep 1, 2015

• Fix all remaining line endings

  Show description for 746523a
  

  FrancescoLogozzo

  authored and

  sharwell

  committed
  746523a

  Copy full SHA for 746523a

Commits on Aug 31, 2015

• Merge pull request #234 from sharwell/documentation-file

  Show description for d7e0262
  SergeyTeplyakov

  committed
  d7e0262

  Copy full SHA for d7e0262

Commits on Aug 30, 2015

• Move System.Compiler.xml so it stops changing during every build

  sharwell

  committed
  3519ba8

  Copy full SHA for 3519ba8

• Fixed compilation errors in ClousotCacheTests

  sharwell

  committed
  37a88dd

  Copy full SHA for 37a88dd

• Replace email addresses in error message with the github issues page.

  tom-englert

  committed
  487df93

  Copy full SHA for 487df93

Commits on Aug 26, 2015

• Merge pull request #225 from sharwell/unittests-xunit

  Show description for fa425b3
  SergeyTeplyakov

  committed
  fa425b3

  Copy full SHA for fa425b3

• Allow tests to be skipped for .NET 3.5 builds

  Show description for bf68cc6
  sharwell

  committed
  bf68cc6

  Copy full SHA for bf68cc6

• Add some additional test sources to the project

  sharwell

  committed
  b140b61

  Copy full SHA for b140b61

• Update ClousotTests to use xunit

  sharwell

  committed
  5ced52d

  Copy full SHA for 5ced52d

Commits on Aug 25, 2015

• Enable automated execution of UnitTests tests in AppVeyor

  sharwell

  committed
  6bea5c2

  Copy full SHA for 6bea5c2

• Update the UnitTests project to use xUnit.net

  Show description for 66db42c
  sharwell

  committed
  66db42c

  Copy full SHA for 66db42c

• Merge pull request #213 from sharwell/foxtrot-xunit

  Show description for 7b18b15
  SergeyTeplyakov

  committed
  7b18b15

  Copy full SHA for 7b18b15

• Add comment explaining disabled test parallelization

  sharwell

  committed
  a42b261

  Copy full SHA for a42b261

Commits on Aug 24, 2015

• Merge pull request #220 from fedotovalex/fix-204

  Show description for 6c71797
  SergeyTeplyakov

  committed
  6c71797

  Copy full SHA for 6c71797

Commits on Aug 23, 2015

• Improved comment for why cgt.un is treated as "not equal" for nulls on right hand side.

  fedotovalex

  committed
  4f922bf

  Copy full SHA for 4f922bf

Commits on Aug 22, 2015

• Fix for #204.

  

  Alex Fedotov

  committed
  99b23f8

  Copy full SHA for 99b23f8

Commits on Aug 18, 2015

• Merge pull request #202 from yaakov-h/fix-msbuild-14

  Show description for 0eceb0f
  SergeyTeplyakov

  committed
  0eceb0f

  Copy full SHA for 0eceb0f

• Fix data clobbering causing test failures

  sharwell

  committed
  21dc5c4

  Copy full SHA for 21dc5c4

• Improved CRASanitizeTest test separation and output

  sharwell

  committed
  0be3451

  Copy full SHA for 0be3451

• Build with MSBuild 12

  sharwell

  committed
  1503001

  Copy full SHA for 1503001

• Updated Roslyn references to 1.0.0 (stable)

  sharwell

  committed
  817d3c9

  Copy full SHA for 817d3c9

Pagination

Previous

Next