C#: Rewrite nullness queries - #593

Merged

calumgrant merged 8 commits into

github:masterfrom

hvitved:csharp/nullness

Dec 7, 2018

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