Commits

Breadcrumbs

History for

on0b4459d

User selector

All users

All time

Commit History

Commits on Jun 27, 2024

• C++: Accept test changes.

  MathiasVP

  committed
  4535043

  Copy full SHA for 4535043

Commits on Jun 26, 2024

• C++: Add tests of internal MaD predicates and accept test changes.

  MathiasVP

  committed
  e845204

  Copy full SHA for e845204

Commits on Jun 21, 2024

• C++: Accept more test changes.

  MathiasVP

  committed
  2e74ae4

  Copy full SHA for 2e74ae4

• C++: Accept test changes. Nothing exciting to see here.

  MathiasVP

  committed
  c8f3c1a

  Copy full SHA for c8f3c1a

• C++: No need for 'decodeUnknownContent' if we specify the MaD summary rows correctly. This avoids a bad join in a compiler-generated predicate.

  MathiasVP

  committed
  3e98623

  Copy full SHA for 3e98623

• C++: Accept test changes.

  MathiasVP

  committed
  6513c33

  Copy full SHA for 6513c33

Commits on Jun 10, 2024

• C++: Accept test changes.

  MathiasVP

  committed
  9e088f3

  Copy full SHA for 9e088f3

• C++: Add testcases using the builtin expect operation.

  MathiasVP

  committed
  d767004

  Copy full SHA for d767004

• Merge pull request #16690 from MathiasVP/better-guards

  Show description for 000a81f
  jketema

  authored
  000a81f

  Copy full SHA for 000a81f

Commits on Jun 6, 2024

• C++: Accept test changes.

  MathiasVP

  committed
  ed525fc

  Copy full SHA for ed525fc

• C++: Make proper use of barrier guards in test.

  MathiasVP

  committed
  b5a3575

  Copy full SHA for b5a3575

• C++: Update expected test results

  jketema

  committed
  4488518

  Copy full SHA for 4488518

• C++: Correctly identify orphaned variables as static

  jketema

  committed
  5ae8fe5

  Copy full SHA for 5ae8fe5

• C++: Add test case that shows that `__func__` is not considered static

  jketema

  committed
  798357f

  Copy full SHA for 798357f

• Merge branch 'main' into better-guards

  MathiasVP

  committed
  7b92554

  Copy full SHA for 7b92554

• Merge pull request #16677 from MathiasVP/phi-input-nodes

  Show description for 9f4c138
  MathiasVP

  authored
  9f4c138

  Copy full SHA for 9f4c138

• C++: Accept more test changes.

  MathiasVP

  committed
  9564ae1

  Copy full SHA for 9564ae1

• C++: Accept test changes.

  MathiasVP

  committed
  528afba

  Copy full SHA for 528afba

• C++: Add a test.

  MathiasVP

  committed
  0298755

  Copy full SHA for 0298755

• C++: Add tests to demonstrate that it's not barrier guard that's buggy. Rather, it's the GuardCondition library.

  MathiasVP

  committed
  f7b2d98

  Copy full SHA for f7b2d98

• Merge pull request #16665 from geoffw0/yml

  Show description for 5deb900
  MathiasVP

  authored
  5deb900

  Copy full SHA for 5deb900

• C++: Remove redundant import.

  geoffw0

  committed
  8acb119

  Copy full SHA for 8acb119

• C++: Permit ':' in models-as-data namespaces.

  geoffw0

  committed
  7aec488

  Copy full SHA for 7aec488

• Shared: Recognize 'remote-sink' in ModelValidation.qll.

  geoffw0

  committed
  8944972

  Copy full SHA for 8944972

• C++: Add dataflow through '__builtin_bit_cast'.

  MathiasVP

  committed
  bd9ece0

  Copy full SHA for bd9ece0

• C++: Accept IR changes.

  MathiasVP

  committed
  48f2fd0

  Copy full SHA for 48f2fd0

• C++: Add an IR test.

  MathiasVP

  committed
  af4d2f1

  Copy full SHA for af4d2f1

Commits on Jun 5, 2024

• C++: Accept test changes.

  MathiasVP

  committed
  97f0c75

  Copy full SHA for 97f0c75

Commits on Jun 4, 2024

• C++: Add a testcase that failed during development.

  MathiasVP

  committed
  ceccc92

  Copy full SHA for ceccc92

• C++: Add a test with spurious flow.

  MathiasVP

  committed
  43c7ac3

  Copy full SHA for 43c7ac3

• C++: An empty models-as-data namespace / type is not 'dubious' in CPP.

  geoffw0

  committed
  79e9198

  Copy full SHA for 79e9198

• C++: Add Boost::Asio models.

  geoffw0

  committed
  f479649

  Copy full SHA for f479649

• C++: Add flow test cases for Boost::Asio.

  geoffw0

  committed
  7e5b734

  Copy full SHA for 7e5b734

• C++: Add source/sink test cases for Boost::Asio.

  geoffw0

  committed
  8a5b5d2

  Copy full SHA for 8a5b5d2

• C++: Ignore `gets`'es with incorrect parameter counts

  jketema

  committed
  66077dc

  Copy full SHA for 66077dc