Commits

Breadcrumbs

History for

onb116a3e

User selector

All users

All time

Commit History

Commits on May 28, 2020

• Merge from master

  

  Dave Bartolomeo

  committed
  476f27e

  Copy full SHA for 476f27e

• Merge pull request #3528 from hvitved/csharp/cfg/cs6-initializers

  Show description for 2b90b50
  calumgrant

  authored
  2b90b50

  Copy full SHA for 2b90b50

Commits on May 27, 2020

• C++: Fix `MemoryLocation` with multiple `VirtualVariables`

  Show description for 533eeff
  

  Dave Bartolomeo

  committed
  533eeff

  Copy full SHA for 533eeff

Commits on May 20, 2020

• C#: Fix extracted type for nested object initializers

  hvitved

  committed
  011a95d

  Copy full SHA for 011a95d

• C#: Add test for the type of an object initializer

  hvitved

  committed
  70d47b7

  Copy full SHA for 70d47b7

• C#: Fix CFG for C# 6 initializers

  hvitved

  committed
  7a54a90

  Copy full SHA for 7a54a90

• C#: Add CFG tests for C# 6 initializers

  hvitved

  committed
  36e29e0

  Copy full SHA for 36e29e0

• Merge pull request #3484 from calumgrant/cs/index-initializers

  Show description for e983919
  hvitved

  authored
  e983919

  Copy full SHA for e983919

Commits on May 18, 2020

• C++/C#: Remove `UnmodeledDefinition` instruction

  

  Dave Bartolomeo

  committed
  42c659b

  Copy full SHA for 42c659b

• C++/C#: Change dump of unmodeled use to `m?`

  Show description for 35868d4
  

  Dave Bartolomeo

  committed
  35868d4

  Copy full SHA for 35868d4

Commits on May 15, 2020

• C#: Update test output.

  calumgrant

  committed
  da6c37d

  Copy full SHA for da6c37d

• Merge pull request #3351 from hvitved/csharp/unification-nested-types

  Show description for 5787871
  calumgrant

  authored
  5787871

  Copy full SHA for 5787871

• Merge pull request #3365 from hvitved/csharp/format-queries-path-problem

  Show description for cc84464
  calumgrant

  authored
  cc84464

  Copy full SHA for cc84464

• C#: Extract indexed initializers correctly.

  calumgrant

  committed
  84bce9f

  Copy full SHA for 84bce9f

Commits on May 13, 2020

• C++/C#: Remove `UnmodeledUse` instruction

  

  Dave Bartolomeo

  committed
  5d3f252

  Copy full SHA for 5d3f252

Commits on May 11, 2020

• C++/C#: Rename `sanity` -> `consistency`

  Show description for 09d1da2
  

  Dave Bartolomeo

  committed
  09d1da2

  Copy full SHA for 09d1da2

Commits on May 6, 2020

• C#: Teach `Implements.qll` about nested types

  hvitved

  committed
  0466e36

  Copy full SHA for 0466e36

• C#: Add `implements` test for nested types

  hvitved

  committed
  f9ece0a

  Copy full SHA for f9ece0a

• C#: Teach unification library about nested types

  hvitved

  committed
  4c1a9b2

  Copy full SHA for 4c1a9b2

• C#: Add type unification tests for nested types

  hvitved

  committed
  851fc98

  Copy full SHA for 851fc98

Commits on May 5, 2020

• C#: Refine `UnboundGeneric` and `ConstructedGeneric`

  hvitved

  committed
  c324c38

  Copy full SHA for c324c38

• C#: Add more generics tests

  hvitved

  committed
  8a01023

  Copy full SHA for 8a01023

• C#: Restructure existing generics tests

  hvitved

  committed
  4f77430

  Copy full SHA for 4f77430

• Merge pull request #3110 from hvitved/dataflow/no-more-summaries

  Show description for b745809
  aschackmull

  authored
  b745809

  Copy full SHA for b745809

Commits on May 4, 2020

• Merge pull request #3270 from hvitved/csharp/dataflow/library-field-flow

  Show description for a01ef83
  calumgrant

  authored
  a01ef83

  Copy full SHA for a01ef83

• C#: Address review comments

  hvitved

  committed
  32b4192

  Copy full SHA for 32b4192

Commits on Apr 28, 2020

• C#: Convert `string.format()` queries to path queries

  hvitved

  committed
  7cbf37c

  Copy full SHA for 7cbf37c

Commits on Apr 23, 2020

• C#: Add missing CFG edge from generic `catch` block to `finally` block

  hvitved

  committed
  5b5f9ad

  Copy full SHA for 5b5f9ad

• C#: Add CFG test

  hvitved

  committed
  bd075a7

  Copy full SHA for bd075a7

Commits on Apr 22, 2020

• Revert "C#: Improve db consistency by removing assembly id"

  hvitved

  authored
  8c0c283

  Copy full SHA for 8c0c283

Commits on Apr 21, 2020

• Merge pull request #2814 from calumgrant/cs/unqualify-trap-ids

  Show description for 7d86cce
  hvitved

  authored
  7d86cce

  Copy full SHA for 7d86cce

Commits on Apr 20, 2020

• C#: Take nullability into account when creating symbol entities. Otherwise, an entity with the wrong (cached) nullability could be created.

  calumgrant

  committed
  ead9167

  Copy full SHA for ead9167

• C#: Update data-flow collection test method names

  hvitved

  committed
  e186c9d

  Copy full SHA for e186c9d

• C#: Rename `arrays` data-flow test to `collections`

  hvitved

  committed
  161093b

  Copy full SHA for 161093b

Commits on Apr 17, 2020

• C#: Add more data-flow tests

  hvitved

  committed
  f91af7d

  Copy full SHA for f91af7d