Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Nov 19, 2025

• Model cryptographic operations

  owen-mc

  committed
  f34a625

  Copy full SHA for f34a625

Commits on Aug 5, 2025

• Shared: Use `final` aliases in `ConcentsShared.qll`

  hvitved

  committed
  11dcd90

  Copy full SHA for 11dcd90

Commits on Jul 23, 2025

• Shared: Fix after merge.

  geoffw0

  committed
  68f0dfe

  Copy full SHA for 68f0dfe

• Merge branch 'main' into moresensitive2

  geoffw0

  committed
  4f6b698

  Copy full SHA for 4f6b698

Commits on Jul 16, 2025

• Shared: Add missing QLDoc and change note

  jketema

  committed
  24bea73

  Copy full SHA for 24bea73

Commits on Jul 14, 2025

• Add overlay annotations

  jketema

  committed
  1995870

  Copy full SHA for 1995870

• Properly share `ConceptsShared.qll`

  jketema

  committed
  cbde11d

  Copy full SHA for cbde11d

• Properly share `CryptoAlgorithms` and `CryptoAlgorithmNames`

  jketema

  committed
  f4ba2e1

  Copy full SHA for f4ba2e1

• Shared: Add shared concepts library

  jketema

  committed
  01ee3f7

  Copy full SHA for 01ee3f7

Loading