Repository navigation

C#: Rewrite nullness queries - #593

Merged

calumgrant merged 8 commits into

github:masterfrom

hvitved:csharp/nullness

Dec 7, 2018

Merged

C#: Rewrite nullness queries#593
calumgrant merged 8 commits into
github:masterfrom
hvitved:csharp/nullness

Commits on Nov 30, 2018
- C#: Add more nullness tests
  hvitved
  committed
  d2a431e
- C#: Update nullness analyses
  hvitved
  committed
  80144a0
- C#: Teach guards library about conditional assignments
  hvitved
  committed
  ab9aa7d
- C#: Teach guards library about unique assignments
  hvitved
  committed
  3b0d159
- C#: Add change note
  hvitved
  committed
  d25bd59
Commits on Dec 3, 2018
- C#: Fix a bug and generalize guards implication logic
  hvitved
  committed
  4739a63
Commits on Dec 4, 2018
- C#: Update change note
  hvitved
  committed
  3bb3de2
Commits on Dec 7, 2018
- C#: Address review comments
  hvitved
  committed
  fce8058