Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Oct 1, 2025

• 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 Nov 7, 2023

• C++: Add comment as suggested in the PR review for #14708.

  MathiasVP

  committed
  1c8f474

  Copy full SHA for 1c8f474

• C++: Add a testcase that fails to terminate in modulus analysis when we don't have IR operands as SSA variables.

  MathiasVP

  committed
  9dca669

  Copy full SHA for 9dca669

Commits on Oct 25, 2023

• Rangeanalysis: Bugfix division with float representation.

  aschackmull

  committed
  06fe10b

  Copy full SHA for 06fe10b

• C++: Add division test

  aschackmull

  committed
  7b214a2

  Copy full SHA for 7b214a2

• C++: Convert to qlpack version of core range analysis.

  aschackmull

  committed
  ec39de2

  Copy full SHA for ec39de2

Commits on Aug 15, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  e145b81

  Copy full SHA for e145b81

• C++: Add a FP caused by bad range analysis for subtraction.

  MathiasVP

  committed
  3fb0241

  Copy full SHA for 3fb0241

Commits on Jun 27, 2023

• C++: fix irreducible control flow logic

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  e90153f

  Copy full SHA for e90153f

Commits on Jun 21, 2023

• C++: fix range analysis back edge detection for irreducible CFGs

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  ba7cb8f

  Copy full SHA for ba7cb8f

Commits on May 26, 2023

• C++: Change separator from ':' to '|'.

  MathiasVP

  committed
  9828af4

  Copy full SHA for 9828af4

Commits on May 25, 2023

• C++: Change range-analysis test to not use 'getAst'. This was creating confusing test expectation annotations.

  MathiasVP

  committed
  0d1d20c

  Copy full SHA for 0d1d20c

Commits on May 24, 2023

• Merge branch 'main' into rdmarsh2/cpp/cobo-neq-refinement

  

  Robert Marsh

  authored
  7404bd9

  Copy full SHA for 7404bd9

Commits on May 22, 2023

• C++: add neq refinement test for range analysis

  

  Robert Marsh

  authored and

  Robert Marsh

  committed
  681cc4c

  Copy full SHA for 681cc4c

Commits on May 12, 2023

• C++: Add FP test case for `cpp/invalid-pointer-deref`

  Show description for eb493a1
  jketema

  committed
  eb493a1

  Copy full SHA for eb493a1

Commits on Apr 4, 2023

• C++: More fixes to overflow detection

  

  Robert Marsh

  committed
  e4ae957

  Copy full SHA for e4ae957

Commits on Mar 27, 2023

• C++: Accept test changes.

  MathiasVP

  committed
  1a61864

  Copy full SHA for 1a61864

Commits on Sep 30, 2022

• C++: Fix database inconsistency issue from ODR violation.

  MathiasVP

  committed
  cd65e73

  Copy full SHA for cd65e73

Commits on Mar 15, 2022

• Working range analysis for C++

  

  Dave Bartolomeo

  committed
  c9fbf83

  Copy full SHA for c9fbf83

Loading