Commits

Breadcrumbs

History for

on4c09e55

User selector

All users

All time

Commit History

Commits on Nov 18, 2025

• C++: Remove unnecessary cast.

  MathiasVP

  committed
  4279a97

  Copy full SHA for 4279a97

• C++: Updated expected after Copilot change.

  MathiasVP

  committed
  a27ac9d

  Copy full SHA for a27ac9d

• Update cpp/ql/test/library-tests/types/sizeof/sizeof.ql

  Show description for 6b136e3
  

  MathiasVP

  and

  Copilot

  authored
  6b136e3

  Copy full SHA for 6b136e3

• C++: Slightly modify a test so that we can see the effect of this change.

  MathiasVP

  committed
  d4a8dbb

  Copy full SHA for d4a8dbb

Commits on Nov 14, 2025

• C++: Make sure that nrOfBoundsNEPhi is functional

  paldepind

  committed
  5da73f3

  Copy full SHA for 5da73f3

• C++: Add range analysis tests

  paldepind

  committed
  74b433e

  Copy full SHA for 74b433e

• Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"

  Show description for 69e70d7
  paldepind

  committed
  69e70d7

  Copy full SHA for 69e70d7

Commits on Nov 10, 2025

• Merge branch 'main' into fix-cp-in-external-flow

  MathiasVP

  committed
  7b052e2

  Copy full SHA for 7b052e2

• C++: Bind the columns inside the predicate instead of relying on 'bindingset's. The repeated inlining caused by 'bindiingset's created some #shared predicates with repeated regex matching.

  MathiasVP

  committed
  29a294f

  Copy full SHA for 29a294f

• Merge pull request #20784 from jketema/qual-fail

  Show description for eb3e864
  jketema

  authored
  eb3e864

  Copy full SHA for eb3e864

• C++: Update expected test results after QL changes

  jketema

  committed
  a3f26fd

  Copy full SHA for a3f26fd

Commits on Nov 8, 2025

• C++: Also join on the 'namespace'.

  MathiasVP

  committed
  3d6b3a3

  Copy full SHA for 3d6b3a3

• C++: Use the new predicate to remove a cartesian-like join.

  MathiasVP

  committed
  bfe2b7d

  Copy full SHA for bfe2b7d

• Merge pull request #20769 from MathiasVP/add-more-flow-models

  Show description for 74b774e
  MathiasVP

  authored
  74b774e

  Copy full SHA for 74b774e

Commits on Nov 7, 2025

• Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"

  Show description for e7c029a
  esteffin

  committed
  e7c029a

  Copy full SHA for e7c029a

Commits on Nov 6, 2025

• C++: Accept test changes.

  MathiasVP

  committed
  2b6a75f

  Copy full SHA for 2b6a75f

• C++: Add tests with missing flow.

  MathiasVP

  committed
  0607100

  Copy full SHA for 0607100

Commits on Oct 24, 2025

• C++: Fix typos in tests

  paldepind

  committed
  3af9885

  Copy full SHA for 3af9885

• Merge pull request #20645 from paldepind/cpp/range-analysis-measure

  Show description for a0a6f28
  paldepind

  authored
  a0a6f28

  Copy full SHA for a0a6f28

Commits on Oct 21, 2025

• C++: Accept test changes

  paldepind

  committed
  f207404

  Copy full SHA for f207404

Commits on Oct 16, 2025

• C++: Handle guard phi nodes differently

  paldepind

  committed
  c1f0f3d

  Copy full SHA for c1f0f3d

• C++: Add additional test for range analysis

  paldepind

  committed
  99103a5

  Copy full SHA for 99103a5

• C++: Add number of bounds test to simple range analysis

  paldepind

  committed
  8896a72

  Copy full SHA for 8896a72

• C++: Apply widening based on number of bounds measure

  paldepind

  committed
  7eacd87

  Copy full SHA for 7eacd87

Commits on Oct 15, 2025

• C++: Add range analysis examples that explode

  paldepind

  committed
  70a8c4f

  Copy full SHA for 70a8c4f

Commits on Oct 3, 2025

• C++: Accept qltest change (useless guard tautology removed).

  aschackmull

  committed
  fad49ff

  Copy full SHA for fad49ff

Commits on Oct 2, 2025

• Merge branch 'main' into signature_model_refactor

  bdrodes

  authored
  d251b3f

  Copy full SHA for d251b3f

Commits on Oct 1, 2025

• Merge branch 'main' into use-shared-guards-library

  MathiasVP

  committed
  b0e9238

  Copy full SHA for b0e9238

• C++: Port a test from the experimental directory to show that it works in the non-experimental "new" range analysis.

  MathiasVP

  committed
  353ee8b

  Copy full SHA for 353ee8b

Commits on Sep 25, 2025

• C++: Delete incorrect comment and add a bunch of barrier guard tests.

  MathiasVP

  committed
  c1c1f60

  Copy full SHA for c1c1f60

• C++: Fix fan-out.

  MathiasVP

  committed
  5b5c1de

  Copy full SHA for 5b5c1de

• C++: Update tests after extractor changes

  jketema

  committed
  e41b5f2

  Copy full SHA for e41b5f2

Commits on Sep 24, 2025

• C++: Use the 'StoreInstruction' instead of the 'ReturnValueInstruction' when detecting return expressions.

  MathiasVP

  committed
  a07d03f

  Copy full SHA for a07d03f

• C++: Add failing test demonstrating broken wrapper barrier guards.

  MathiasVP

  committed
  26a8a4b

  Copy full SHA for 26a8a4b

• C++: Add more tests.

  MathiasVP

  committed
  b2269fb

  Copy full SHA for b2269fb