Commits

Commit history

1. Commits on Oct 15, 2026

   • C++: Fix QL formatting

     jketema

     committed
     ebb03f0View commit details

     Copy full SHA for ebb03f0

     View code at this pointBrowse repository at this point

   • C++: Introduce `getBitWidth` predicate for `Type`

     Show description for 7a391d8
     jketema

     committed
     7a391d8View commit details

     Copy full SHA for 7a391d8

     View code at this pointBrowse repository at this point
2. Commits on Sep 18, 2025

   • C++: Do not use the deprecated predicate in queries.

     MathiasVP

     committed
     d8f34dbView commit details

     Copy full SHA for d8f34db

     View code at this pointBrowse repository at this point
3. Commits on Sep 3, 2025

   • C++: Fix some Ql4Ql violations.

     michaelnebel

     committed
     83d53baView commit details

     Copy full SHA for 83d53ba

     View code at this pointBrowse repository at this point
4. Commits on Jun 11, 2025

   • C++: mass enable diff-informed data flow

     Show description for 4dd07f4
     d10c

     committed
     4dd07f4View commit details

     Copy full SHA for 4dd07f4

     View code at this pointBrowse repository at this point
5. Commits on Sep 3, 2024

   • use my script to delete outdated deprecations

     erik-krogh

     committed
     0fdd06fView commit details

     Copy full SHA for 0fdd06f

     View code at this pointBrowse repository at this point
6. Commits on May 23, 2023

   • C++: Promote the product-dataflow library out of experimental.

     MathiasVP

     committed
     81dbfecView commit details

     Copy full SHA for 81dbfec

     View code at this pointBrowse repository at this point
7. Commits on May 17, 2023

   • Merge pull request #13139 from MathiasVP/faster-product-flow

     Show description for 06d5a7f
     MathiasVP

     authored
     06d5a7fView commit details

     Copy full SHA for 06d5a7f

     View code at this pointBrowse repository at this point

   • C++: Add forgotten `private` specifiers in product flow

     jketema

     committed
     883ec7aView commit details

     Copy full SHA for 883ec7a

     View code at this pointBrowse repository at this point
8. Commits on May 12, 2023

   • C++: Tweak join orders.

     MathiasVP

     committed
     e1cc7dcView commit details

     Copy full SHA for e1cc7dc

     View code at this pointBrowse repository at this point

   • Revert "C++: Speedup 'isSuccessor'."

     Show description for 3f01a21
     MathiasVP

     committed
     3f01a21View commit details

     Copy full SHA for 3f01a21

     View code at this pointBrowse repository at this point

   • C++: Push conjunct into 'isSuccessor' and rename it to 'fwdIsSuccessor'.

     MathiasVP

     committed
     2458fa0View commit details

     Copy full SHA for 2458fa0

     View code at this pointBrowse repository at this point

   • C++: Speedup 'isSuccessor'.

     MathiasVP

     committed
     594da1aView commit details

     Copy full SHA for 594da1a

     View code at this pointBrowse repository at this point

   • C++: Don't carry the sources around as columns during the main loop of product flow.

     MathiasVP

     committed
     e58b99dView commit details

     Copy full SHA for e58b99d

     View code at this pointBrowse repository at this point
9. Commits on May 10, 2023

   • C++: Fix the location of order-by in experimental `RangeNode`

     jketema

     committed
     a5c7d09View commit details

     Copy full SHA for a5c7d09

     View code at this pointBrowse repository at this point
10. Commits on May 9, 2023

    • C++: Make implicit this receivers explicit

      kaspersv

      committed
      c46898cView commit details

      Copy full SHA for c46898c

      View code at this pointBrowse repository at this point
11. Commits on May 4, 2023

    • C++: Properly handle setter-related flow in IPA injector.

      MathiasVP

      committed
      26206a8View commit details

      Copy full SHA for 26206a8

      View code at this pointBrowse repository at this point

    • C++: Fix accidental cartesian product.

      MathiasVP

      committed
      d3d706dView commit details

      Copy full SHA for d3d706d

      View code at this pointBrowse repository at this point
12. Commits on May 3, 2023

    • C++: Also account for setter-related flow and jump steps.

      MathiasVP

      committed
      0d6fdc6View commit details

      Copy full SHA for 0d6fdc6

      View code at this pointBrowse repository at this point
13. Commits on May 2, 2023

    • C++: Ensure that product dataflow library enters/leaves through the same call.

      MathiasVP

      committed
      7fa6894View commit details

      Copy full SHA for 7fa6894

      View code at this pointBrowse repository at this point
14. Commits on Apr 6, 2023

    • C++: Fix deprecation warning

      jketema

      committed
      12702b5View commit details

      Copy full SHA for 12702b5

      View code at this pointBrowse repository at this point

    • C++: Update product flow to match data flow naming

      jketema

      committed
      9123657View commit details

      Copy full SHA for 9123657

      View code at this pointBrowse repository at this point

    • C++: Use `Unit` instead of `string` in product flow

      jketema

      committed
      a38c317View commit details

      Copy full SHA for a38c317

      View code at this pointBrowse repository at this point

    • C++: Simplify the flow-state-less product flow module

      jketema

      committed
      9b89a30View commit details

      Copy full SHA for 9b89a30

      View code at this pointBrowse repository at this point

    • C++: Refactor `ProductFlow` to have a `DataFlow::ConfigSig`-like interface

      jketema

      committed
      4e12924View commit details

      Copy full SHA for 4e12924

      View code at this pointBrowse repository at this point
15. Commits on Apr 3, 2023

    • C++: Alias the experimental 'Bound.qll' with the non-experimental one.

      MathiasVP

      committed
      f6e774eView commit details

      Copy full SHA for f6e774e

      View code at this pointBrowse repository at this point

    • C++: Delete the experimental range-analysis library.

      MathiasVP

      committed
      4c5ca08View commit details

      Copy full SHA for 4c5ca08

      View code at this pointBrowse repository at this point

    • Merge pull request #12719 from jketema/typebound-size

      MathiasVP

      authored
      9a34a7bView commit details

      Copy full SHA for 9a34a7b

      View code at this pointBrowse repository at this point
16. Commits on Mar 31, 2023

    • C++: Drop the bit size restriction in `typeBound` and use `float`

      jketema

      committed
      8d9b96bView commit details

      Copy full SHA for 8d9b96b

      View code at this pointBrowse repository at this point

    • Merge pull request #11921 from gsingh93/range-node

      Show description for cc841a6
      geoffw0

      authored
      cc841a6View commit details

      Copy full SHA for cc841a6

      View code at this pointBrowse repository at this point
17. Commits on Mar 30, 2023

    • Merge pull request #12622 from MathiasVP/skip-safe-conversions-in-range-analysis

      Show description for d03dd49
      

      Robert Marsh

      authored
      d03dd49View commit details

      Copy full SHA for d03dd49

      View code at this pointBrowse repository at this point

    • Merge pull request #12714 from jketema/rem-cleanup

      Show description for 9173e08
      jketema

      authored
      9173e08View commit details

      Copy full SHA for 9173e08

      View code at this pointBrowse repository at this point

    • Merge branch 'main' into skip-safe-conversions-in-range-analysis

      MathiasVP

      committed
      4043aa9View commit details

      Copy full SHA for 4043aa9

      View code at this pointBrowse repository at this point

    • C++: Ensure that equiv instructions are in the same block.

      MathiasVP

      committed
      d9b2a72View commit details

      Copy full SHA for d9b2a72

      View code at this pointBrowse repository at this point

    • C++: Simplify 'converts'.

      MathiasVP

      committed
      4602a8aView commit details

      Copy full SHA for 4602a8a

      View code at this pointBrowse repository at this point