Commits

Commit history

1. Commits on Nov 10, 2026

   • SSA: Rename Expr-named classes.

     aschackmull

     committed
     649c487View commit details

     Copy full SHA for 649c487

     View code at this pointBrowse repository at this point

   • SSA: Remove Expr from df-integration signature.

     aschackmull

     committed
     dcf80b7View commit details

     Copy full SHA for dcf80b7

     View code at this pointBrowse repository at this point

   • SSA: Replace Expr-based member predicates in df-integration.

     aschackmull

     committed
     becc2d8View commit details

     Copy full SHA for becc2d8

     View code at this pointBrowse repository at this point

   • Merge pull request #23051 from aschackmull/ssa/barrierguard-refactor

     Show description for 92c8ce9
     aschackmull

     authored
     92c8ce9View commit details

     Copy full SHA for 92c8ce9

     View code at this pointBrowse repository at this point
2. Commits on Nov 6, 2026

   • SSA: Rename BarrierGuardDefWithState to SsaBarrierGuardWithState

     aschackmull

     committed
     9aaa23fView commit details

     Copy full SHA for 9aaa23f

     View code at this pointBrowse repository at this point
3. Commits on Nov 5, 2026

   • Merge pull request #23022 from MathiasVP/replace-ql-models-with-mad-for-assoc-cleaned-up-step-3

     Show description for 33dfa65
     MathiasVP

     authored
     33dfa65View commit details

     Copy full SHA for 33dfa65

     View code at this pointBrowse repository at this point

   • Merge pull request #23011 from aschackmull/ssa/caching

     Show description for fd83822
     aschackmull

     authored
     fd83822View commit details

     Copy full SHA for fd83822

     View code at this pointBrowse repository at this point

   • Merge pull request #23018 from aschackmull/cpp/iterator-use-use

     Show description for 96852da
     aschackmull

     authored
     96852daView commit details

     Copy full SHA for 96852da

     View code at this pointBrowse repository at this point
4. Commits on Nov 4, 2026

   • C++: Restrict `TypeState` to reachable tuples.

     MathiasVP

     committed
     dacd42aView commit details

     Copy full SHA for dacd42a

     View code at this pointBrowse repository at this point

   • C++: Do not define `typeStep` using `TypeState` columns.

     Show description for 33b8346
     MathiasVP

     committed
     33b8346View commit details

     Copy full SHA for 33b8346

     View code at this pointBrowse repository at this point

   • C++: Add some bindingset annotations.

     MathiasVP

     committed
     a4ca101View commit details

     Copy full SHA for a4ca101

     View code at this pointBrowse repository at this point

   • C++: Move predicates around. This just makes the subsequent diffs smaller.

     MathiasVP

     committed
     4f8f78bView commit details

     Copy full SHA for 4f8f78b

     View code at this pointBrowse repository at this point

   • C/C++: Skip redundant iterator use-use edges.

     aschackmull

     committed
     944f1bcView commit details

     Copy full SHA for 944f1bc

     View code at this pointBrowse repository at this point

   • C++: Support typedef's in forward models.

     Show description for 4018024
     MathiasVP

     committed
     4018024View commit details

     Copy full SHA for 4018024

     View code at this pointBrowse repository at this point

   • SSA: Tie caching of all 3 SSA modules together.

     aschackmull

     committed
     88c24ecView commit details

     Copy full SHA for 88c24ec

     View code at this pointBrowse repository at this point

   • SSA: Cache main computation directly.

     aschackmull

     committed
     8fb484dView commit details

     Copy full SHA for 8fb484d

     View code at this pointBrowse repository at this point
5. Commits on Oct 30, 2026

   • C/C++: Fix faulty iterator flow relying on SSA use-use bug.

     aschackmull

     committed
     f6d51daView commit details

     Copy full SHA for f6d51da

     View code at this pointBrowse repository at this point
6. Commits on Oct 16, 2026

   • Merge pull request #22836 from jketema/refactor-cpp-recursive-string-concats

     Show description for cb5048b
     jketema

     authored
     cb5048bView commit details

     Copy full SHA for cb5048b

     View code at this pointBrowse repository at this point

   • C++: Replace recursive string builders with concat

     Show description for d0c78ca
     

     jketema

     and

     Copilot

     committed
     d0c78caView commit details

     Copy full SHA for d0c78ca

     View code at this pointBrowse repository at this point

   • Merge pull request #22832 from jketema/jketema/builtin

     Show description for 5858ca2
     jketema

     authored
     5858ca2View commit details

     Copy full SHA for 5858ca2

     View code at this pointBrowse repository at this point
7. Commits on Oct 15, 2026

   • C++: Fix QL formatting

     jketema

     committed
     e765146View commit details

     Copy full SHA for e765146

     View code at this pointBrowse repository at this point

   • C++: Add support for more builtin operations

     jketema

     committed
     bee0f97View commit details

     Copy full SHA for bee0f97

     View code at this pointBrowse repository at this point

   • C++: Address review comments

     jketema

     committed
     a00d282View commit details

     Copy full SHA for a00d282

     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
8. Commits on Oct 14, 2026

   • C++: Add support for C23 `_BitInt`s

     jketema

     committed
     097d566View commit details

     Copy full SHA for 097d566

     View code at this pointBrowse repository at this point
9. Commits on Oct 9, 2026

   • Merge pull request #22654 from MathiasVP/fix-forward-interpretation

     Show description for b5b8165
     MathiasVP

     authored
     b5b8165View commit details

     Copy full SHA for b5b8165

     View code at this pointBrowse repository at this point
10. Commits on Oct 8, 2026

    • C++: Fix QLDoc.

      MathiasVP

      committed
      3113489View commit details

      Copy full SHA for 3113489

      View code at this pointBrowse repository at this point

    • Merge pull request #22744 from asgerf/ssa/multiple-reads-v2

      Show description for e8c7105
      asgerf

      authored
      e8c7105View commit details

      Copy full SHA for e8c7105

      View code at this pointBrowse repository at this point

    • cpp: Simplify SsaImpl

      asgerf

      committed
      82c2e5bView commit details

      Copy full SHA for 82c2e5b

      View code at this pointBrowse repository at this point
11. Commits on Oct 6, 2026

    • Merge branch 'main' into ignore-path-dependent-destructors-in-translation-classes

      jketema

      authored
      87f7afaView commit details

      Copy full SHA for 87f7afa

      View code at this pointBrowse repository at this point
12. Commits on Oct 5, 2026

    • C++: Filter out destructor calls of temporaries in the translation classes.

      MathiasVP

      committed
      44536bdView commit details

      Copy full SHA for 44536bd

      View code at this pointBrowse repository at this point
13. Commits on Sep 29, 2026

    • Merge pull request #22300 from jketema/jketema/ecma-regex

      Show description for 4e39cc1
      jketema

      authored
      4e39cc1View commit details

      Copy full SHA for 4e39cc1

      View code at this pointBrowse repository at this point
14. Commits on Sep 22, 2026

    • C++: Add QLDoc.

      MathiasVP

      committed
      0f32801View commit details

      Copy full SHA for 0f32801

      View code at this pointBrowse repository at this point

    • C++: Handle null and boolean conversions.

      MathiasVP

      committed
      70ee2b8View commit details

      Copy full SHA for 70ee2b8

      View code at this pointBrowse repository at this point

    • C++: Handle pointer conversions.

      MathiasVP

      committed
      a82e970View commit details

      Copy full SHA for a82e970

      View code at this pointBrowse repository at this point