Commits

Breadcrumbs

History for

oncodeql-cli/v2.23.7

User selector

All users

All time

Commit History

Commits on Nov 14, 2025

• Merge pull request #20826 from aschackmull/guards/disjunctive-implication

  Show description for 1c93710
  aschackmull

  authored
  1c93710

  Copy full SHA for 1c93710

Commits on Nov 13, 2025

• Guards: Add elaborating comment.

  aschackmull

  committed
  b31dfdd

  Copy full SHA for b31dfdd

Commits on Nov 12, 2025

• Guards: Support disjunctive implications.

  aschackmull

  committed
  d680039

  Copy full SHA for d680039

Commits on Nov 11, 2025

• Guards: Simplify non-linear join.

  aschackmull

  committed
  62e28d2

  Copy full SHA for 62e28d2

• Guards: Replace recursion through universal quantification with rank-iteration.

  aschackmull

  committed
  3c7522c

  Copy full SHA for 3c7522c

• Guards: Rank return expressions.

  aschackmull

  committed
  a5279ec

  Copy full SHA for a5279ec

• Guards: Push forex-range constraint in.

  aschackmull

  committed
  0a4406d

  Copy full SHA for 0a4406d

Commits on Oct 29, 2025

• Guards: Add support for assertions that exit rather than throw.

  aschackmull

  committed
  500fdb8

  Copy full SHA for 500fdb8

• Guards: Minor improvement to implications.

  aschackmull

  committed
  0df0816

  Copy full SHA for 0df0816

• Guards: Only prune actually trivial guards.

  aschackmull

  committed
  8b3e626

  Copy full SHA for 8b3e626

Commits on Oct 23, 2025

• ControlFlowReachability: Align the SSA signature with the one from shared SSA.

  aschackmull

  committed
  72d83cc

  Copy full SHA for 72d83cc

• Guards: Align the SSA signature with the one from shared SSA.

  aschackmull

  committed
  f257c7a

  Copy full SHA for f257c7a

• Shared/Java: Rename ControlFlowReachability library.

  aschackmull

  committed
  20147cd

  Copy full SHA for 20147cd

Commits on Oct 22, 2025

• C#: Fix join-order issue in ConstantCondition.

  aschackmull

  committed
  7d0e4f5

  Copy full SHA for 7d0e4f5

• C#: Qldoc tweaks.

  aschackmull

  committed
  c44e6fc

  Copy full SHA for c44e6fc

Commits on Oct 3, 2025

• C#: Improve ConstantCondition.ql

  aschackmull

  committed
  64810f6

  Copy full SHA for 64810f6

• C#: Instantiate shared Guards.

  aschackmull

  committed
  b52a9a8

  Copy full SHA for b52a9a8

• Guards: Disregard more trivial guards.

  aschackmull

  committed
  c01ac30

  Copy full SHA for c01ac30

• ControlFlow: Rename getAPhiInput to getAnInput.

  aschackmull

  committed
  ca7d560

  Copy full SHA for ca7d560

• Guards: Refactor representation of false.

  aschackmull

  committed
  64caae5

  Copy full SHA for 64caae5

Commits on Oct 1, 2025

• Guards: Improve performance for uniqueValue.

  aschackmull

  committed
  a1028d6

  Copy full SHA for a1028d6

Commits on Sep 26, 2025

• Shared: Address review comments.

  aschackmull

  committed
  2c29f21

  Copy full SHA for 2c29f21

Commits on Sep 25, 2025

• ControlFlow: Split only on relevant values.

  aschackmull

  committed
  109b6a1

  Copy full SHA for 109b6a1

Commits on Sep 17, 2025

• Shared/Cfg: Fix missing JoinBlockPredecessor.

  aschackmull

  committed
  d5a2387

  Copy full SHA for d5a2387

Commits on Sep 16, 2025

• Merge pull request #20438 from MathiasVP/remove-antijoin-in-shared-guards

  Show description for fa36d9f
  MathiasVP

  authored
  fa36d9f

  Copy full SHA for fa36d9f

Commits on Sep 15, 2025

• Shared: Remove antijoin.

  MathiasVP

  committed
  18c96fd

  Copy full SHA for 18c96fd

• Shared: Copy some qldoc from Guards.qll

  aschackmull

  committed
  acb4d9f

  Copy full SHA for acb4d9f

• Shared: Minor precision improvement.

  aschackmull

  committed
  be39c4c

  Copy full SHA for be39c4c

• Java: Add a change note, and a minor ql comment.

  aschackmull

  committed
  b308c54

  Copy full SHA for b308c54

Commits on Sep 12, 2025

• Guards: Include ConditionalExpr in exprHasValue.

  aschackmull

  committed
  2743fc0

  Copy full SHA for 2743fc0

• Shared: Add control flow reachability lib.

  aschackmull

  committed
  4a8ffea

  Copy full SHA for 4a8ffea

• Guards: Support integer ranges.

  aschackmull

  committed
  1ebdcdf

  Copy full SHA for 1ebdcdf

Commits on Sep 2, 2025

• SuccessorType: Address review comments.

  aschackmull

  committed
  3d4d347

  Copy full SHA for 3d4d347

Commits on Sep 1, 2025

• Guards: Use shared SuccessorType.

  aschackmull

  committed
  4e70627

  Copy full SHA for 4e70627

• Cfg: Allow for multiple exception successors.

  aschackmull

  committed
  0d9b8d0

  Copy full SHA for 0d9b8d0