Commit history

1. Commits on Jun 30, 2023

   • Remove pragma[assume_small_delta]

     cklin

     committed
     ce464a7View commit details

     Copy full SHA for ce464a7

     View code at this pointBrowse repository at this point

   • Merge pull request #13502 from rvermeulen/rvermeulen/compare-using-integer-precision

     Show description for 95ddc01
     MathiasVP

     authored
     95ddc01View commit details

     Copy full SHA for 95ddc01

     View code at this pointBrowse repository at this point

   • Merge pull request #13635 from MathiasVP/dont-barrier-on-valid-state-config

     Show description for 32045f8
     MathiasVP

     authored
     32045f8View commit details

     Copy full SHA for 32045f8

     View code at this pointBrowse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     518a372View commit details

     Copy full SHA for 518a372

     View code at this pointBrowse repository at this point

   • Merge pull request #13603 from MathiasVP/implement-is-unreachable-in-call-2

     MathiasVP

     authored
     42356a8View commit details

     Copy full SHA for 42356a8

     View code at this pointBrowse repository at this point

   • Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp

     Show description for a4d0337
     

     MathiasVP

     and

     jketema

     authored
     a4d0337View commit details

     Copy full SHA for a4d0337

     View code at this pointBrowse repository at this point

   • C++: Revert the barrier added in #13623.

     MathiasVP

     committed
     67e3ef7View commit details

     Copy full SHA for 67e3ef7

     View code at this pointBrowse repository at this point
2. Commits on Jun 29, 2023

   • Add changenote

     rvermeulen

     committed
     a6469e4View commit details

     Copy full SHA for a6469e4

     View code at this pointBrowse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     9791640View commit details

     Copy full SHA for 9791640

     View code at this pointBrowse repository at this point

   • C++: Use the pruning stage in the product-flow configuration.

     MathiasVP

     committed
     59d9c6eView commit details

     Copy full SHA for 59d9c6e

     View code at this pointBrowse repository at this point

   • C++: Accept test changes after merge.

     MathiasVP

     committed
     9033670View commit details

     Copy full SHA for 9033670

     View code at this pointBrowse repository at this point

   • Merge pull request #13617 from jketema/pointer-deref-barrier-fps

     Show description for f8b1dc9
     jketema

     authored
     f8b1dc9View commit details

     Copy full SHA for f8b1dc9

     View code at this pointBrowse repository at this point

   • Merge branch 'main' into implement-is-unreachable-in-call-2

     MathiasVP

     committed
     e4126aeView commit details

     Copy full SHA for e4126ae

     View code at this pointBrowse repository at this point

   • Merge pull request #13598 from MathiasVP/add-constant-size-array-fp

     Show description for e428502
     

     Robert Marsh

     authored
     e428502View commit details

     Copy full SHA for e428502

     View code at this pointBrowse repository at this point

   • C++: Add more `cpp/invalid-pointer-deref` FP test cases

     jketema

     committed
     2c8d472View commit details

     Copy full SHA for 2c8d472

     View code at this pointBrowse repository at this point
3. Commits on Jun 28, 2023

   • C++: Fix test annotation for `cpp/invalid-pointer-deref` test

     jketema

     committed
     527b908View commit details

     Copy full SHA for 527b908

     View code at this pointBrowse repository at this point

   • Merge pull request #13591 from jketema/pointer-deref-barrier

     Show description for 43a8119
     jketema

     authored
     43a8119View commit details

     Copy full SHA for 43a8119

     View code at this pointBrowse repository at this point

   • Merge pull request #13596 from MathiasVP/fix-join-in-argumentnode

     Show description for 34abab0
     MathiasVP

     authored
     34abab0View commit details

     Copy full SHA for 34abab0

     View code at this pointBrowse repository at this point

   • C++: Accept test changes.

     MathiasVP

     committed
     655f1feView commit details

     Copy full SHA for 655f1fe

     View code at this pointBrowse repository at this point

   • C++: Implement 'isUnreachableInCall'.

     MathiasVP

     committed
     9e82ce8View commit details

     Copy full SHA for 9e82ce8

     View code at this pointBrowse repository at this point

   • C++: Add tests with FPs that need call contexts.

     MathiasVP

     committed
     25be9d4View commit details

     Copy full SHA for 25be9d4

     View code at this pointBrowse repository at this point

   • C++: Add barrier to `InvalidPointerToDerefConfig` in `cpp/invalid-pointer-deref`

     jketema

     committed
     14609a9View commit details

     Copy full SHA for 14609a9

     View code at this pointBrowse repository at this point

   • C++: Add 'cpp/constant-array-overflow' FP.

     MathiasVP

     committed
     ae09882View commit details

     Copy full SHA for ae09882

     View code at this pointBrowse repository at this point

   • C++: Fix join in 'argumentOf'.

     Show description for 78f2fe8
     MathiasVP

     committed
     78f2fe8View commit details

     Copy full SHA for 78f2fe8

     View code at this pointBrowse repository at this point

   • Merge pull request #13117 from rdmarsh2/rdmarsh2/cpp/cobo-handle-array-casts

     Show description for 2c99009
     MathiasVP

     authored
     2c99009View commit details

     Copy full SHA for 2c99009

     View code at this pointBrowse repository at this point
4. Commits on Jun 27, 2023

   • C++: fix irreducible control flow logic

     

     Robert Marsh

     authored and

     Robert Marsh

     committed
     e90153fView commit details

     Copy full SHA for e90153f

     View code at this pointBrowse repository at this point

   • Merge pull request #13574 from kaspersv/kaspersv/cpp-remaining-implicit-this

     Show description for 656b4fc
     kaspersv

     authored
     656b4fcView commit details

     Copy full SHA for 656b4fc

     View code at this pointBrowse repository at this point

   • CPP: Enable implicit this warnings for remaining packs

     kaspersv

     committed
     d197919View commit details

     Copy full SHA for d197919

     View code at this pointBrowse repository at this point

   • C++: Add Geoffrey's testcases.

     MathiasVP

     committed
     51176bdView commit details

     Copy full SHA for 51176bd

     View code at this pointBrowse repository at this point

   • Merge remote-tracking branch 'upstream/main' into clears-content

     jketema

     committed
     b1ae3a0View commit details

     Copy full SHA for b1ae3a0

     View code at this pointBrowse repository at this point

   • Merge branch 'main' into rdmarsh2/cpp/cobo-handle-array-casts

     MathiasVP

     committed
     f2cbbabView commit details

     Copy full SHA for f2cbbab

     View code at this pointBrowse repository at this point

   • Merge pull request #13559 from MathiasVP/add-barrier-to-invalid-deref-query

     Show description for 985650c
     MathiasVP

     authored
     985650cView commit details

     Copy full SHA for 985650c

     View code at this pointBrowse repository at this point

   • C++: Fix join-order problem in `clearsContent`

     jketema

     committed
     2628552View commit details

     Copy full SHA for 2628552

     View code at this pointBrowse repository at this point

   • Merge pull request #13528 from rdmarsh2/rdmarsh2/cpp/range-analysis-back-edge

     Show description for 06bc460
     MathiasVP

     authored
     06bc460View commit details

     Copy full SHA for 06bc460

     View code at this pointBrowse repository at this point
5. Commits on Jun 26, 2023

   • C++: fix comment formatting

     

     Robert Marsh

     authored and

     Robert Marsh

     committed
     dcb3494View commit details

     Copy full SHA for dcb3494

     View code at this pointBrowse repository at this point