Commits

Commit history

1. 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
2. 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
3. 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
4. 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
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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

    • C++: Match `SemZeroBound` handling of mul case in rem case

      jketema

      committed
      ade02d8View commit details

      Copy full SHA for ade02d8

      View code at this pointBrowse repository at this point
13. Commits on Mar 29, 2023

    • C++: Disable rounding.

      MathiasVP

      committed
      4d8159cView commit details

      Copy full SHA for 4d8159c

      View code at this pointBrowse repository at this point

    • C++: Even more fix'ing QLDoc.

      MathiasVP

      committed
      9d5c785View commit details

      Copy full SHA for 9d5c785

      View code at this pointBrowse repository at this point

    • C++: Fix QLDoc.

      MathiasVP

      committed
      09d0385View commit details

      Copy full SHA for 09d0385

      View code at this pointBrowse repository at this point

    • C++: Fix QLDoc.

      MathiasVP

      committed
      c14bccfView commit details

      Copy full SHA for c14bccf

      View code at this pointBrowse repository at this point

    • C++: Respond to PR reviews.

      MathiasVP

      committed
      fe487a1View commit details

      Copy full SHA for fe487a1

      View code at this pointBrowse repository at this point