Commits

Commit history

1. Commits on Mar 6, 2024

   • Shared: Correct and clarify doc for SemBound.getExpr.

     geoffw0

     committed
     0edfafeView commit details

     Copy full SHA for 0edfafe

     View code at this pointBrowse repository at this point
2. Commits on Mar 4, 2024

   • Shared: Add an example for SemBound.getExpr.

     geoffw0

     committed
     5def288View commit details

     Copy full SHA for 5def288

     View code at this pointBrowse repository at this point
3. Commits on Mar 1, 2024

   • Update shared/rangeanalysis/codeql/rangeanalysis/RangeAnalysis.qll

     Show description for c663809
     

     geoffw0

     and

     aschackmull

     authored
     c663809View commit details

     Copy full SHA for c663809

     View code at this pointBrowse repository at this point

   • Apply suggestions from code review

     Show description for 0e24ed1
     

     geoffw0

     and

     aschackmull

     authored
     0e24ed1View commit details

     Copy full SHA for 0e24ed1

     View code at this pointBrowse repository at this point

   • Apply suggestions from code review

     Show description for 1fece75
     

     geoffw0

     and

     aschackmull

     authored
     1fece75View commit details

     Copy full SHA for 1fece75

     View code at this pointBrowse repository at this point
4. Commits on Feb 29, 2024

   • Shared: Explain 'guard'.

     geoffw0

     committed
     445b82bView commit details

     Copy full SHA for 445b82b

     View code at this pointBrowse repository at this point

   • Shared: Remove @ annotations.

     geoffw0

     committed
     70465b2View commit details

     Copy full SHA for 70465b2

     View code at this pointBrowse repository at this point

   • Shared: Explain SsaPhiNode a bit more.

     geoffw0

     committed
     98289b5View commit details

     Copy full SHA for 98289b5

     View code at this pointBrowse repository at this point

   • Shared: Pinch better doc for isEquality from a related Guards class in csharp.

     geoffw0

     committed
     8151f30View commit details

     Copy full SHA for 8151f30

     View code at this pointBrowse repository at this point
5. Commits on Feb 22, 2024

   • Shared: More revisions, manual and aided by further discussion with Copilot.

     geoffw0

     committed
     573763aView commit details

     Copy full SHA for 573763a

     View code at this pointBrowse repository at this point
6. Commits on Feb 21, 2024

   • Shared: Autoformat.

     geoffw0

     committed
     7b85bb4View commit details

     Copy full SHA for 7b85bb4

     View code at this pointBrowse repository at this point

   • Shared: Use more standard QLDoc phrasing.

     geoffw0

     committed
     4367b78View commit details

     Copy full SHA for 4367b78

     View code at this pointBrowse repository at this point

   • Shared: Delete hallucinated return values.

     geoffw0

     committed
     d1c0294View commit details

     Copy full SHA for d1c0294

     View code at this pointBrowse repository at this point

   • Shared: Undo changes to existing QLDoc.

     geoffw0

     committed
     5e401abView commit details

     Copy full SHA for 5e401ab

     View code at this pointBrowse repository at this point

   • Shared: Generate some QLDoc using the "GitHub Copilot: Generate Docs" command.

     geoffw0

     committed
     2f1d4b9View commit details

     Copy full SHA for 2f1d4b9

     View code at this pointBrowse repository at this point
7. Commits on Dec 11, 2023

   • Rangeanalysis: Focus pre-bound calculation.

     aschackmull

     committed
     3bf6c0fView commit details

     Copy full SHA for 3bf6c0f

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Prune range calculation.

     aschackmull

     committed
     c14d917View commit details

     Copy full SHA for c14d917

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Minor refactor for bound steps.

     aschackmull

     committed
     58d463dView commit details

     Copy full SHA for 58d463d

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Refactor base bounds.

     aschackmull

     committed
     73671b6View commit details

     Copy full SHA for 73671b6

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Preparatory refactor for bounds sharing.

     aschackmull

     committed
     6b178fbView commit details

     Copy full SHA for 6b178fb

     View code at this pointBrowse repository at this point
8. Commits on Nov 13, 2023

   • Rangeanalysis: Simplify api.

     aschackmull

     committed
     bf6cfd3View commit details

     Copy full SHA for bf6cfd3

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Rename predicate.

     aschackmull

     committed
     30aefabView commit details

     Copy full SHA for 30aefab

     View code at this pointBrowse repository at this point

   • Rangeanalysis: RIP standard order.

     aschackmull

     committed
     f05b75eView commit details

     Copy full SHA for f05b75e

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove superfluous pragmas. These appear useless after the abolishment of the different delta orders.

     aschackmull

     committed
     c28f54aView commit details

     Copy full SHA for c28f54a

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Use SsaReadPositionBlock.getAnSsaRead.

     aschackmull

     committed
     71e2552View commit details

     Copy full SHA for 71e2552

     View code at this pointBrowse repository at this point

   • Rangeanalysis: Remove unused getAlternateType predicates.

     aschackmull

     committed
     3a73fafView commit details

     Copy full SHA for 3a73faf

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

   • Java/C++: Share valueFlowStep.

     aschackmull

     committed
     657c29fView commit details

     Copy full SHA for 657c29f

     View code at this pointBrowse repository at this point

   • Java/C++: Share ssaUpdateStep.

     aschackmull

     committed
     b8e7e1dView commit details

     Copy full SHA for b8e7e1d

     View code at this pointBrowse repository at this point

   • Java/C++: Share eqFlowCond.

     aschackmull

     committed
     daffae0View commit details

     Copy full SHA for daffae0

     View code at this pointBrowse repository at this point
10. Commits on Nov 8, 2023

    • Java/C++: Move SsaReadPosition to shared qlpack.

      aschackmull

      committed
      1f4cd74View commit details

      Copy full SHA for 1f4cd74

      View code at this pointBrowse repository at this point
11. Commits on Nov 7, 2023

    • Java/C++: Move range util guard-controls predicates to shared pack.

      aschackmull

      committed
      12cba79View commit details

      Copy full SHA for 12cba79

      View code at this pointBrowse repository at this point

    • Java/C++: Move range util backEdge predicate to shared pack.

      aschackmull

      committed
      f2ca52dView commit details

      Copy full SHA for f2ca52d

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

    • Rangeanalysis: Filter useless modulo results.

      aschackmull

      committed
      f2b5265View commit details

      Copy full SHA for f2b5265

      View code at this pointBrowse repository at this point

    • RangeAnalysis: Improve bounds that rely on relative modulus.

      aschackmull

      committed
      7bf271fView commit details

      Copy full SHA for 7bf271f

      View code at this pointBrowse repository at this point

    • RangeAnalysis: Rename semExprModulus to exprModulus.

      aschackmull

      committed
      7c3684dView commit details

      Copy full SHA for 7c3684d

      View code at this pointBrowse repository at this point