Commits

Breadcrumbs

History for

on3df647f

User selector

All users

All time

Commit History

Commits on May 16, 2025

• C++: Accept test changes.

  MathiasVP

  committed
  bebc077

  Copy full SHA for bebc077

Commits on May 15, 2025

• C++: Accept test changes.

  MathiasVP

  committed
  e75dcd2

  Copy full SHA for e75dcd2

• C++: Add tests to exercise the upcoming behavior of function dispatch when there are model-generated summaries AND source definitions.

  MathiasVP

  committed
  c6df950

  Copy full SHA for c6df950

Commits on May 14, 2025

• C++: Fix IR edge case where there are no function calls taking an argument

  jketema

  committed
  4012813

  Copy full SHA for 4012813

• C++: Add test case for IR edge case

  jketema

  committed
  96bd9a9

  Copy full SHA for 96bd9a9

Commits on May 2, 2025

• C++/C#/Java/Rust: Fixup tests.

  MathiasVP

  committed
  bce5f25

  Copy full SHA for bce5f25

• Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.

  MathiasVP

  committed
  4d2f2b8

  Copy full SHA for 4d2f2b8

• Merge branch 'main' into generate-more-value-preserving-summaries-2

  MathiasVP

  committed
  d5bc95d

  Copy full SHA for d5bc95d

• Merge pull request #19382 from michaelnebel/shared/modelgenrefactor

  Show description for 74669cb
  michaelnebel

  authored
  74669cb

  Copy full SHA for 74669cb

Commits on Apr 30, 2025

• C++: Fixup queries and accept test changes.

  MathiasVP

  committed
  d8eafbb

  Copy full SHA for d8eafbb

• C++: Update expected test results after barrier introduction

  jketema

  committed
  2ed48ae

  Copy full SHA for 2ed48ae

Commits on Apr 29, 2025

• C++: Re-factor implementation to use the new model generator interface.

  michaelnebel

  committed
  c16d913

  Copy full SHA for c16d913

• C++: Turn header variant tests that use PCH files into integration tests

  Show description for 7f90202
  jketema

  committed
  7f90202

  Copy full SHA for 7f90202

Commits on Apr 28, 2025

• C++: Add use-after-free FP tests

  jketema

  committed
  0bb0b5c

  Copy full SHA for 0bb0b5c

• C++: Fix annotations after #19311.

  MathiasVP

  committed
  e942ec9

  Copy full SHA for e942ec9

• Merge branch 'main' into add-missing-predicate-to-mad-generation

  MathiasVP

  committed
  6466a5d

  Copy full SHA for 6466a5d

Commits on Apr 25, 2025

• C++: Update model generator tests.

  michaelnebel

  committed
  a589014

  Copy full SHA for a589014

• C++: Accept test changes.

  MathiasVP

  committed
  79c0310

  Copy full SHA for 79c0310

• C++: Add a test with missing summaries.

  MathiasVP

  committed
  63b0dd6

  Copy full SHA for 63b0dd6

Commits on Apr 24, 2025

• Merge pull request #19290 from jketema/typeof

  Show description for 4093afb
  jketema

  authored
  4093afb

  Copy full SHA for 4093afb

Commits on Apr 23, 2025

• C++: Update expected test results

  jketema

  committed
  e97f949

  Copy full SHA for e97f949

• C++: Add MaD generation test with union content.

  MathiasVP

  committed
  9e9a580

  Copy full SHA for 9e9a580

Commits on Apr 20, 2025

• C++: Move 'InlineMadTest.qll' out of 'lib/utils/test' and into 'test' since C++ has no external packs depending on MaD testing.

  MathiasVP

  committed
  3fd760c

  Copy full SHA for 3fd760c

• C++: Add more tests.

  MathiasVP

  committed
  6fcf56e

  Copy full SHA for 6fcf56e

• C++: Add copy-pasted files from C#.

  MathiasVP

  committed
  1465058

  Copy full SHA for 1465058

• C++: Add tests that will soon succeed.

  MathiasVP

  committed
  f241e4b

  Copy full SHA for f241e4b

Commits on Apr 2, 2025

• C++: update expected test results after extractor changes

  IdrissRio

  committed
  14a84c3

  Copy full SHA for 14a84c3

Commits on Mar 31, 2025

• C++: add test for calling conventions

  IdrissRio

  committed
  9ec7f3c

  Copy full SHA for 9ec7f3c

• C++: add calling convention specifier class

  IdrissRio

  committed
  f83f14b

  Copy full SHA for f83f14b

Commits on Mar 28, 2025

• Merge pull request #19144 from jketema/dollar-escape

  Show description for 86ecef6
  jketema

  authored
  86ecef6

  Copy full SHA for 86ecef6

• Merge pull request #19044 from aschackmull/ssa/useuse-trim

  Show description for 0c74f21
  aschackmull

  authored
  0c74f21

  Copy full SHA for 0c74f21

• C++: Add test for $` escaping

  jketema

  committed
  8dbd81b

  Copy full SHA for 8dbd81b

Commits on Mar 26, 2025

• C++: accept changes after C++ extractor preprocessor fix

  IdrissRio

  committed
  9af6500

  Copy full SHA for 9af6500

• C++: accept changes after C++ extractor preprocessor fix

  IdrissRio

  committed
  148ffe8

  Copy full SHA for 148ffe8

Commits on Mar 25, 2025

• C++: Accept test changes.

  aschackmull

  committed
  8749bdb

  Copy full SHA for 8749bdb