Commits

Commit history

1. Commits on Oct 19, 2026

   • Guards: bound implicit return SSA filtering

     Show description for 64ac667
     

     owen-mc

     and

     Copilot

     committed
     64ac667View commit details

     Copy full SHA for 64ac667

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

   • Go: instantiate the shared guards library

     Show description for 0c0ebf9
     

     owen-mc

     and

     Copilot

     committed
     0c0ebf9View commit details

     Copy full SHA for 0c0ebf9

     View code at this pointBrowse repository at this point
3. Commits on May 7, 2026

   • C#/Java: Adjust Guards instantiations.

     aschackmull

     committed
     072166bView commit details

     Copy full SHA for 072166b

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

   • Java: Delete old deprecated code.

     aschackmull

     committed
     17fded4View commit details

     Copy full SHA for 17fded4

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

   • Java: Make Assignment extend BinaryExpr.

     aschackmull

     committed
     ec1d034View commit details

     Copy full SHA for ec1d034

     View code at this pointBrowse repository at this point
6. Commits on Feb 23, 2026

   • Java: Fix switchcase guards.

     aschackmull

     committed
     7871cd7View commit details

     Copy full SHA for 7871cd7

     View code at this pointBrowse repository at this point

   • Java/Cfg: Introduce new shared CFG library and replace the Java CFG.

     aschackmull

     committed
     48e3724View commit details

     Copy full SHA for 48e3724

     View code at this pointBrowse repository at this point

   • Java: Replace ControlFlowNode.asCall with Call.getControlFlowNode.

     aschackmull

     committed
     4a97a44View commit details

     Copy full SHA for 4a97a44

     View code at this pointBrowse repository at this point
7. Commits on Feb 12, 2026

   • Java: Deprecate UnreachableBlocks.

     aschackmull

     committed
     5c53677View commit details

     Copy full SHA for 5c53677

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

   • Java: Rename ReturnStmt.getResult to getExpr.

     aschackmull

     committed
     6f40ac1View commit details

     Copy full SHA for 6f40ac1

     View code at this pointBrowse repository at this point

   • Java: Rename getTrueExpr/getFalseExpr on ConditionalExpr to getThen/getElse.

     aschackmull

     committed
     36fa0a2View commit details

     Copy full SHA for 36fa0a2

     View code at this pointBrowse repository at this point

   • Java: Rename UnaryExpr.getExpr to getOperand.

     aschackmull

     committed
     5e6e64bView commit details

     Copy full SHA for 5e6e64b

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

   • Java: Simplify instantiation of Guards and ControlFlowReachability.

     aschackmull

     committed
     154f077View commit details

     Copy full SHA for 154f077

     View code at this pointBrowse repository at this point

   • Java: Replace BaseSSA class wrappers with shared code.

     aschackmull

     committed
     942dc2bView commit details

     Copy full SHA for 942dc2b

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

    • ControlFlowReachability: Align the SSA signature with the one from shared SSA.

      aschackmull

      committed
      72d83ccView commit details

      Copy full SHA for 72d83cc

      View code at this pointBrowse repository at this point

    • Guards: Align the SSA signature with the one from shared SSA.

      aschackmull

      committed
      f257c7aView commit details

      Copy full SHA for f257c7a

      View code at this pointBrowse repository at this point

    • Shared/Java: Rename ControlFlowReachability library.

      aschackmull

      committed
      20147cdView commit details

      Copy full SHA for 20147cd

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

    • Shared: Add control flow reachability lib.

      aschackmull

      committed
      4a8ffeaView commit details

      Copy full SHA for 4a8ffea

      View code at this pointBrowse repository at this point

    • Java: Improve precision of SuccessorType labels in CFG.

      aschackmull

      committed
      924a8eaView commit details

      Copy full SHA for 924a8ea

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

    • Java: Consolidate Assertions.qll and Preconditions.qll.

      aschackmull

      committed
      3815503View commit details

      Copy full SHA for 3815503

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

    • Guards: Use shared SuccessorType.

      aschackmull

      committed
      4e70627View commit details

      Copy full SHA for 4e70627

      View code at this pointBrowse repository at this point

    • Shared: Use shared SuccessorType in shared Cfg and BasicBlock libs.

      aschackmull

      committed
      144e34cView commit details

      Copy full SHA for 144e34c

      View code at this pointBrowse repository at this point

    • Java: Use shared SuccessorType.

      aschackmull

      committed
      4685b4fView commit details

      Copy full SHA for 4685b4f

      View code at this pointBrowse repository at this point

    • BasicBlock: Replace entryBlock predicate with subclass.

      aschackmull

      committed
      09b2c5aView commit details

      Copy full SHA for 09b2c5a

      View code at this pointBrowse repository at this point

    • Guards/Java: Use BasicBlock signature in Guards library.

      aschackmull

      committed
      3821f17View commit details

      Copy full SHA for 3821f17

      View code at this pointBrowse repository at this point

    • Languages: Adapt to api changes.

      aschackmull

      committed
      f459ddcView commit details

      Copy full SHA for f459ddc

      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
14. Commits on Aug 22, 2025

    • Java: Teach guards that exceptions in catch-clauses are non-null.

      aschackmull

      committed
      f2352f7View commit details

      Copy full SHA for f2352f7

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

    • Java/Guards: Remove unused.

      aschackmull

      committed
      3b3f4bcView commit details

      Copy full SHA for 3b3f4bc

      View code at this pointBrowse repository at this point

    • Guards: Add support for wrappers that may throw exceptions.

      aschackmull

      committed
      f90b6abView commit details

      Copy full SHA for f90b6ab

      View code at this pointBrowse repository at this point

    • Guards: Generalise wrapper guards.

      aschackmull

      committed
      0c31a80View commit details

      Copy full SHA for 0c31a80

      View code at this pointBrowse repository at this point

    • Java: Simplify Guards instantiation a bit.

      aschackmull

      committed
      1bdaa24View commit details

      Copy full SHA for 1bdaa24

      View code at this pointBrowse repository at this point

    • Guards: Remove CustomGuard nesting in Guards instantiation.

      aschackmull

      committed
      3aaf48dView commit details

      Copy full SHA for 3aaf48d

      View code at this pointBrowse repository at this point
16. Commits on Aug 4, 2025

    • Java: Assume normal termination in post-dominance.

      aschackmull

      committed
      0a27a8cView commit details

      Copy full SHA for 0a27a8c

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

    • Java: Adjust Paths.qll

      aschackmull

      committed
      54775e0View commit details

      Copy full SHA for 54775e0

      View code at this pointBrowse repository at this point