Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Mar 26, 2026

• Merge remote-tracking branch 'origin/main' into michaelrfairhurst/implement-deadcode-10-rule-0-2-4

  MichaelRFairhurst

  committed
  3e30a6e

  Copy full SHA for 3e30a6e

Commits on Mar 25, 2026

• Bump version to 2.57.0-dev

  knewbury01

  committed
  42a52df

  Copy full SHA for 42a52df

Commits on Mar 17, 2026

• Merge branch 'main' into michaelrfairhurst/implement-deadcode-10-rule-0-2-4

  MichaelRFairhurst

  committed
  b6ea3a9

  Copy full SHA for b6ea3a9

• Merge pull request #986 from github/michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

  Show description for 8071ddb
  MichaelRFairhurst

  authored
  8071ddb

  Copy full SHA for 8071ddb

Commits on Mar 6, 2026

• Bump version to 2.56.0-dev

  knewbury01

  committed
  6fb7d61

  Copy full SHA for 6fb7d61

Commits on Mar 4, 2026

• Merge branch 'main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

  MichaelRFairhurst

  authored
  3d71876

  Copy full SHA for 3d71876

Commits on Mar 1, 2026

• Copilot suggestion: rename testref

  MichaelRFairhurst

  committed
  3ada8df

  Copy full SHA for 3ada8df

Commits on Feb 28, 2026

• Merge remote-tracking branch 'origin/main' into michaelrfairhurst/side-effects-5-rule-8-14-1-rhs-of-and-and-should-have-no-side-effects

  MichaelRFairhurst

  committed
  823fbf1

  Copy full SHA for 823fbf1

• Merge remote-tracking branch 'origin/main' into michaelrfairhurst/implement-deadcode-10-rule-0-2-4

  MichaelRFairhurst

  committed
  5b83957

  Copy full SHA for 5b83957

• Merge branch 'main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

  MichaelRFairhurst

  authored
  4eeadb0

  Copy full SHA for 4eeadb0

Commits on Feb 26, 2026

• Merge pull request #1038 from github/michalrfairhurst/package-dead-code-8

  Show description for 86caf28
  mbaluda

  authored
  86caf28

  Copy full SHA for 86caf28

• Merge remote-tracking branch 'origin/main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

  MichaelRFairhurst

  committed
  b72d975

  Copy full SHA for b72d975

Commits on Feb 25, 2026

• Merge remote-tracking branch 'origin/main' into michaelrfairhurst/deadcode-5-rule-0-1-1

  MichaelRFairhurst

  committed
  d59189c

  Copy full SHA for d59189c

• Merge remote-tracking branch 'origin/main' into michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

  MichaelRFairhurst

  committed
  0d02cef

  Copy full SHA for 0d02cef

Commits on Feb 24, 2026

• Merge branch 'main' into michalrfairhurst/package-dead-code-8

  mbaluda

  authored
  7105e17

  Copy full SHA for 7105e17

• Merge pull request #1049 from github/michaelrfairhurst/sideffects-4-package-4-6-1

  Show description for ea2726c
  mbaluda

  authored
  ea2726c

  Copy full SHA for ea2726c

Commits on Feb 22, 2026

• Move M5-14-1 implementation into shared query with Rule 8.14.1, increase test coverage.

  MichaelRFairhurst

  committed
  4b0b74e

  Copy full SHA for 4b0b74e

Commits on Feb 21, 2026

• Fix test expectations

  MichaelRFairhurst

  committed
  6a48e22

  Copy full SHA for 6a48e22

• Implement Rule 4-6-1, memory operations should be properly sequenced.

  Show description for 01b605b
  MichaelRFairhurst

  committed
  01b605b

  Copy full SHA for 01b605b

Commits on Feb 20, 2026

• Merge remote-tracking branch 'origin/main' into michalrfairhurst/package-dead-code-8

  MichaelRFairhurst

  committed
  f58a6d6

  Copy full SHA for f58a6d6

Commits on Feb 19, 2026

• Merge branch 'main' into michaelrfairhurst/deadcode-5-rule-0-1-1

  mbaluda

  authored
  d0dae90

  Copy full SHA for d0dae90

Commits on Feb 18, 2026

• Remove qlref from 10-1-3 now that its shared.

  MichaelRFairhurst

  committed
  b8d858a

  Copy full SHA for b8d858a

• Implement Rule 0.2.4, unused functions with limited visibility.

  MichaelRFairhurst

  committed
  f1417b0

  Copy full SHA for f1417b0

Commits on Feb 14, 2026

• First draft of RULE-0-2-2

  MichaelRFairhurst

  committed
  3ccd69e

  Copy full SHA for 3ccd69e

Commits on Feb 11, 2026

• Change it to keep query id

  MichaelRFairhurst

  committed
  0560f65

  Copy full SHA for 0560f65

• Implement DeadCode6, RULE-0-1-2, shared with A0-1-2.

  Show description for b9d8b1e
  MichaelRFairhurst

  committed
  b9d8b1e

  Copy full SHA for b9d8b1e

Commits on Feb 6, 2026

• Factor out test codes

  jeongsoolee09

  committed
  5b64360

  Copy full SHA for 5b64360

Commits on Feb 5, 2026

• Add package files and factor out shared code

  jeongsoolee09

  committed
  b9cbb1c

  Copy full SHA for b9cbb1c

Commits on Feb 2, 2026

• Fix <algorithm>, expectations harmlessly changed

  MichaelRFairhurst

  committed
  acc7ee7

  Copy full SHA for acc7ee7

Commits on Jan 30, 2026

• Merge pull request #1018 from knewbury01/knewbury01/Linkage2

  Show description for 262768a
  knewbury01

  authored
  262768a

  Copy full SHA for 262768a

Commits on Jan 27, 2026

• Bump version to 2.55.0-dev

  knewbury01

  committed
  3b66563

  Copy full SHA for 3b66563

• Merge branch 'main' into knewbury01/Linkage2

  mbaluda

  authored
  74fe2e7

  Copy full SHA for 74fe2e7

Commits on Jan 26, 2026

• Add shared rule A3-1-1 for RULE-6-2-4 linkage2 and improve A3-1-1

  knewbury01

  committed
  9f48c75

  Copy full SHA for 9f48c75

• Merge pull request #1016 from knewbury01/knewbury01/Linkage1

  Show description for a53b02c
  knewbury01

  authored
  a53b02c

  Copy full SHA for a53b02c

Commits on Jan 15, 2026

• Implement RULE-6-5-1 as a shared rule with A3-3-1

  knewbury01

  committed
  b321608

  Copy full SHA for b321608