Repository navigation

C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness - #20558

Merged

aschackmull merged 17 commits into

github:mainfrom

aschackmull:csharp/guards3

Oct 23, 2025

Merged

C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness#20558
aschackmull merged 17 commits into
github:mainfrom
aschackmull:csharp/guards3

Commits on Oct 3, 2025
- Guards: Refactor representation of false.
  aschackmull
  committed
  64caae5
- ControlFlow: Rename getAPhiInput to getAnInput.
  aschackmull
  committed
  ca7d560
- Guards: Disregard more trivial guards.
  aschackmull
  committed
  c01ac30
- C#: Instantiate shared Guards.
  aschackmull
  committed
  b52a9a8
- C#: Disable FinallySplit, BooleanSplit, and LoopSplit
  aschackmull
  committed
  449059f
- C#: Instantiate ControlFlowReachability and implement new nullness.
  aschackmull
  committed
  c2d21e9
- C#: Clean up.
  aschackmull
  committed
  6cfadbf
- C#: Replace NullMaybe.ql implementation.
  aschackmull
  committed
  587901b
- C#: Improve ConstantCondition.ql
  aschackmull
  committed
  64810f6
- C#: Update nullness qltest
  aschackmull
  committed
  df6172b
- C#: Accept qltest changes.
  aschackmull
  committed
  b392767
- C#: Remove some obsolete tests.
  aschackmull
  committed
  613c789
- C++: Accept qltest change (useless guard tautology removed).
  aschackmull
  committed
  fad49ff
- C#: Add change note.
  aschackmull
  committed
  84a65be
Commits on Oct 22, 2025
- C#: Qldoc tweaks.
  aschackmull
  committed
  c44e6fc
- C#: Address more review comments.
  aschackmull
  committed
  f172e36
- C#: Fix join-order issue in ConstantCondition.
  aschackmull
  committed
  7d0e4f5