Commits

Commit history

1. Commits on Nov 4, 2026

   • 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
2. Commits on Oct 29, 2026

   • SSA: Switch consistency counts to strictcount.

     aschackmull

     committed
     51690fdView commit details

     Copy full SHA for 51690fd

     View code at this pointBrowse repository at this point

   • SSA: Switch DataflowIntegration to use the new post-update api.

     aschackmull

     committed
     d5079efView commit details

     Copy full SHA for d5079ef

     View code at this pointBrowse repository at this point

   • SSA: Insert postupdates in AdjacentSsaRefs calculation.

     Show description for 263094f
     aschackmull

     committed
     263094fView commit details

     Copy full SHA for 263094f

     View code at this pointBrowse repository at this point

   • SSA: Remove superfluous line (see the readWithoutDef consistency check).

     aschackmull

     committed
     0706bc9View commit details

     Copy full SHA for 0706bc9

     View code at this pointBrowse repository at this point

   • SSA: Add missing private annotations.

     aschackmull

     committed
     a15d1a4View commit details

     Copy full SHA for a15d1a4

     View code at this pointBrowse repository at this point

   • SSA: Extend signature to cover post-updates.

     aschackmull

     committed
     137a568View commit details

     Copy full SHA for 137a568

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

   • ssa: Only materialise if Expr is reachable (for some variable)

     asgerf

     committed
     9ea99f8View commit details

     Copy full SHA for 9ea99f8

     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

   • ssa: Grammar fix

     asgerf

     committed
     b34d384View commit details

     Copy full SHA for b34d384

     View code at this pointBrowse repository at this point

   • ssa: Create TExprNode even if its read has no reaching def

     Show description for fc2d9f3
     asgerf

     committed
     fc2d9f3View commit details

     Copy full SHA for fc2d9f3

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

   • ssa: Update some uses of ExprNode to bind the variable

     asgerf

     committed
     32e5525View commit details

     Copy full SHA for 32e5525

     View code at this pointBrowse repository at this point

   • ssa: Fix bad join order

     Show description for cbd6d35
     asgerf

     committed
     cbd6d35View commit details

     Copy full SHA for cbd6d35

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

   • ssa: Associate ExprNode with a variable

     asgerf

     committed
     8957cdaView commit details

     Copy full SHA for 8957cda

     View code at this pointBrowse repository at this point

   • Ssa: Add consistency check for ambiguous read

     asgerf

     committed
     f906f8dView commit details

     Copy full SHA for f906f8d

     View code at this pointBrowse repository at this point
6. Commits on Sep 17, 2026

   • unified: Sharpen CFG node for post-updates

     asgerf

     committed
     1b9cc61View commit details

     Copy full SHA for 1b9cc61

     View code at this pointBrowse repository at this point

   • ssa: Split a line (no behaviour change)

     asgerf

     committed
     5c00811View commit details

     Copy full SHA for 5c00811

     View code at this pointBrowse repository at this point
7. Commits on Jun 18, 2026

   • Add QLDoc to MakeSsa to silence CI

     owen-mc

     committed
     db5fac1View commit details

     Copy full SHA for db5fac1

     View code at this pointBrowse repository at this point
8. Commits on Apr 30, 2026

   • C#: Reinstate toString for SSA data flow nodes.

     aschackmull

     committed
     e0421dbView commit details

     Copy full SHA for e0421db

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

   • Shared: Remove deprecated code

     hvitved

     committed
     90ae086View commit details

     Copy full SHA for 90ae086

     View code at this pointBrowse repository at this point
10. Commits on Jan 12, 2026

    • SSA: Use fastTC for even better performance.

      aschackmull

      committed
      aae8ec2View commit details

      Copy full SHA for aae8ec2

      View code at this pointBrowse repository at this point
11. Commits on Jan 8, 2026

    • SSA: Improve performance of finding relevant phi input nodes.

      aschackmull

      committed
      af5adbaView commit details

      Copy full SHA for af5adba

      View code at this pointBrowse repository at this point
12. Commits on Nov 12, 2025

    • SSA: Improve toString.

      aschackmull

      committed
      289d337View commit details

      Copy full SHA for 289d337

      View code at this pointBrowse repository at this point

    • SSA: Fix phi defs.

      aschackmull

      committed
      79b2f21View commit details

      Copy full SHA for 79b2f21

      View code at this pointBrowse repository at this point
13. Commits on Oct 21, 2025

    • SSA: Remove variable capture reference from shared class.

      aschackmull

      committed
      242f12dView commit details

      Copy full SHA for 242f12d

      View code at this pointBrowse repository at this point
14. Commits on Oct 20, 2025

    • SSA: Address some review comments.

      aschackmull

      committed
      be626bfView commit details

      Copy full SHA for be626bf

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

    • SSA: Add a shared signature for SSA and a module to implement it.

      aschackmull

      committed
      b196714View commit details

      Copy full SHA for b196714

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

    • SSA/VariableCapture: Use shared BasicBlock signature.

      aschackmull

      committed
      e53b22dView commit details

      Copy full SHA for e53b22d

      View code at this pointBrowse repository at this point

    • SSA: Update input to use member predicates.

      aschackmull

      committed
      bb3abc8View commit details

      Copy full SHA for bb3abc8

      View code at this pointBrowse repository at this point
17. Commits on Jul 28, 2025

    • SSA: Update data flow integration and BarrierGuard interface to use GuardValue.

      aschackmull

      committed
      3b8234eView commit details

      Copy full SHA for 3b8234e

      View code at this pointBrowse repository at this point
18. Commits on Jun 24, 2025

    • Overlay: Add overlay annotations to Java & shared libraries

      kaspersv

      committed
      c207cfdView commit details

      Copy full SHA for c207cfd

      View code at this pointBrowse repository at this point
19. Commits on May 23, 2025

    • SSA: Elaborate qldoc a bit.

      aschackmull

      committed
      893cb59View commit details

      Copy full SHA for 893cb59

      View code at this pointBrowse repository at this point

    • SSA: Distinguish between has and controls branch edge.

      aschackmull

      committed
      1d30103View commit details

      Copy full SHA for 1d30103

      View code at this pointBrowse repository at this point
20. Commits on Apr 7, 2025

    • Shared: Implement getInconsistencyCounts for SSA.

      geoffw0

      committed
      9c15673View commit details

      Copy full SHA for 9c15673

      View code at this pointBrowse repository at this point