Commits

Breadcrumbs

History for

on73810a6

User selector

All users

All time

Commit History

Commits on Jun 26, 2025

• Shared: Try caching.

  aschackmull

  committed
  5a34a1a

  Copy full SHA for 5a34a1a

• Shared: Bugfix for unique value implication.

  aschackmull

  committed
  22d5dc9

  Copy full SHA for 22d5dc9

• Shared: Simplify and improve joins.

  aschackmull

  committed
  378209a

  Copy full SHA for 378209a

• Shared: Switch case guards to be the case statements.

  aschackmull

  committed
  b19bff9

  Copy full SHA for b19bff9

• Shared: Elaborate qldoc.

  aschackmull

  committed
  f772493

  Copy full SHA for f772493

• Shared: Many tweaks to Guards.

  aschackmull

  committed
  73ae613

  Copy full SHA for 73ae613

• Shared: Improve shared guards lib.

  aschackmull

  committed
  c212d0a

  Copy full SHA for c212d0a

• Shared: Extend the shared Guards library with support for exception branch points.

  aschackmull

  committed
  16c5b57

  Copy full SHA for 16c5b57

• Shared: Extend the shared Guards library with support for custom wrappers.

  aschackmull

  committed
  14b87f9

  Copy full SHA for 14b87f9

• Shared: Add a shared Guards library inspired by the Java and C# versions.

  aschackmull

  committed
  1d75008

  Copy full SHA for 1d75008

Commits on Jun 25, 2025

• Ruby: generate overlay discard predicates

  nickrolfe

  committed
  a9ddf00

  Copy full SHA for a9ddf00

• Merge branch 'main' into nickrolfe/ruby-overlay-extraction

  nickrolfe

  authored
  c6ff07a

  Copy full SHA for c6ff07a

Commits on Jun 24, 2025

• Post-release preparation for codeql-cli-2.22.1

  

  github-actions[bot]

  committed
  6972c7a

  Copy full SHA for 6972c7a

• Release preparation for version 2.22.1

  

  github-actions[bot]

  committed
  3e074b2

  Copy full SHA for 3e074b2

Commits on Jun 23, 2025

• Merge pull request #19524 from github/redsun82/cargo-upgrade-3

  Show description for 29b37a4
  redsun82

  authored
  29b37a4

  Copy full SHA for 29b37a4

• Rust: Address PR feedback

  paldepind

  committed
  60c27f8

  Copy full SHA for 60c27f8

• Shared: Refactor type inference and expose `SatisfiesConstraint` module

  paldepind

  committed
  a367388

  Copy full SHA for a367388

Commits on Jun 20, 2025

• Cargo: run upgrade

  redsun82

  committed
  ce29d8a

  Copy full SHA for ce29d8a

Commits on Jun 19, 2025

• Ruby: add minimal path transformer support

  Show description for 665df4b
  nickrolfe

  committed
  665df4b

  Copy full SHA for 665df4b

• Ruby: add databaseMetadata relation to dbscheme

  Show description for 1bd7c4f
  nickrolfe

  committed
  1bd7c4f

  Copy full SHA for 1bd7c4f

Commits on Jun 17, 2025

• Merge branch 'main' into pawel_signatures_conversion

  bdrodes

  authored
  b2765a2

  Copy full SHA for b2765a2

Commits on Jun 16, 2025

• Crypto: Further ql-for-ql alert alert fixes.

  bdrodes

  committed
  7c18686

  Copy full SHA for 7c18686

• Shared: Make sure `getMadRepresentation` is unique

  hvitved

  committed
  41f7138

  Copy full SHA for 41f7138

Commits on Jun 15, 2025

• Merge branch 'main' into pawel_signatures_conversion

  nicolaswill

  authored
  db0bc47

  Copy full SHA for db0bc47

Commits on Jun 12, 2025

• Crypto: Further simplify test caes to only use edges/nodes/properties. Update model to account for MAC algorithms.

  bdrodes

  committed
  eb20955

  Copy full SHA for eb20955

• Merge pull request #19727 from hvitved/shared/type-inference-doc

  Show description for 70c3ae4
  hvitved

  authored
  70c3ae4

  Copy full SHA for 70c3ae4

• Update shared/typeinference/codeql/typeinference/internal/TypeInference.qll

  Show description for 1ec3760
  

  hvitved

  and

  geoffw0

  authored
  1ec3760

  Copy full SHA for 1ec3760

Commits on Jun 11, 2025

• Crypto: Consolidate tests to use node, edges, and properties.

  bdrodes

  committed
  8f25380

  Copy full SHA for 8f25380

• Crypto: Add support to trace keys, add support to find prior key gen properties that configure downstream operations. Add key size tests

  bdrodes

  committed
  d3cff2d

  Copy full SHA for d3cff2d

• Rust: Also apply `adjustedAccessType` in `RelevantAccess`

  hvitved

  committed
  18392a0

  Copy full SHA for 18392a0

• Update shared/typeinference/codeql/typeinference/internal/TypeInference.qll

  Show description for eeaccc5
  

  hvitved

  and

  Copilot

  authored
  eeaccc5

  Copy full SHA for eeaccc5

• Shared: Add elaborate QL doc to `TypeInference.qll`

  hvitved

  committed
  b90e867

  Copy full SHA for b90e867

• Rust: Fix bad join in `typeParametersEqualFromIndex`

  Show description for 3c9cbf1
  hvitved

  committed
  3c9cbf1

  Copy full SHA for 3c9cbf1

• Rust: Fix bad join in `satisfiesConstraintTypeMention`

  Show description for 79e1af0
  hvitved

  committed
  79e1af0

  Copy full SHA for 79e1af0

• Rust: Fix bad join in `satisfiesConcreteTypesFromIndex`

  Show description for f9915e6
  hvitved

  committed
  f9915e6

  Copy full SHA for f9915e6