Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 10, 2026

• Update shared/controlflow/codeql/controlflow/ControlFlowGraph.qll

  Show description for efa797a
  

  aschackmull

  and

  Copilot

  authored
  efa797a

  Copy full SHA for efa797a

• Cfg: Update fallsThrough default.

  aschackmull

  committed
  77d4f5a

  Copy full SHA for 77d4f5a

• Cfg: Move Case.getBodyElement to shared code.

  aschackmull

  committed
  edf88b3

  Copy full SHA for edf88b3

• Cfg: Move getCaseControlFlowOrder to shared code.

  aschackmull

  committed
  35ac66d

  Copy full SHA for 35ac66d

Commits on Mar 5, 2026

• Merge pull request #21408 from aschackmull/guards/perf-tweak

  Show description for 3e7a966
  aschackmull

  authored
  3e7a966

  Copy full SHA for 3e7a966

• Guards: Use unique aggregate.

  aschackmull

  committed
  37a8fc8

  Copy full SHA for 37a8fc8

Commits on Mar 4, 2026

• Gaurds: Improve perf of forall in guardDeterminesPhiInput.

  aschackmull

  committed
  ad5ab9f

  Copy full SHA for ad5ab9f

Commits on Mar 3, 2026

• Cfg: Step directly from a failed case guard to the next case.

  aschackmull

  committed
  d9ea78b

  Copy full SHA for d9ea78b

• Cfg: Handle ExprStmt and BlockStmt in defaultStep.

  aschackmull

  committed
  f02abb3

  Copy full SHA for f02abb3

Commits on Mar 2, 2026

• Cfg: A few more review tweaks.

  aschackmull

  committed
  627654c

  Copy full SHA for 627654c

Commits on Feb 27, 2026

• Cfg: Address review comments.

  aschackmull

  committed
  ab94524

  Copy full SHA for ab94524

Commits on Feb 23, 2026

• Guards: Improve join-order.

  aschackmull

  committed
  94121f1

  Copy full SHA for 94121f1

• Java: Fix RangeAnalysis/ModulusAnalysis.

  aschackmull

  committed
  1e9dcea

  Copy full SHA for 1e9dcea

• Java/Cfg: Introduce new shared CFG library and replace the Java CFG.

  aschackmull

  committed
  48e3724

  Copy full SHA for 48e3724

• Cfg: Add getEnclosingCallable to shared BasicBlock

  aschackmull

  committed
  48d7d9c

  Copy full SHA for 48d7d9c

• Cfg: Add ConditionKind and getDual to ConditionalSuccessor.

  aschackmull

  committed
  723a896

  Copy full SHA for 723a896

Commits on Feb 5, 2026

• Cfg: qldoc + overlay fixups.

  aschackmull

  committed
  81977f1

  Copy full SHA for 81977f1

Commits on Feb 4, 2026

• Cfg: Fix compilation.

  aschackmull

  committed
  83adf79

  Copy full SHA for 83adf79

Commits on Feb 3, 2026

• Cfg: Extract CFG pretty-printing code.

  aschackmull

  committed
  389cd5d

  Copy full SHA for 389cd5d

Commits on Jan 15, 2026

• C++: Fix bug and accept test changes.

  MathiasVP

  committed
  2868150

  Copy full SHA for 2868150

Commits on Dec 10, 2025

• Guards: Rename -WithState to Parameterized-.

  aschackmull

  committed
  09058e4

  Copy full SHA for 09058e4

• Guards: Generalise ValidationWrapper to support GuardValue-based BarrierGuards.

  aschackmull

  committed
  ebb9899

  Copy full SHA for ebb9899

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

Pagination

Previous

Next