GeezerVison

Commit history

1. Commits on Nov 12, 2026

   • Merge pull request #22804 from SkyCipherr/codex/fix-missing-check-scanf

     Show description for 7cff658
     geoffw0

     authored
     7cff658View commit details

     Copy full SHA for 7cff658

     View code at this pointBrowse repository at this point

   • C++: cover scanf review edge cases and simplify output check

     SkyCipherr

     committed
     2606c67View commit details

     Copy full SHA for 2606c67

     View code at this pointBrowse repository at this point
2. Commits on Nov 11, 2026

   • Merge pull request #22899 from jketema/jketema/fileannotations

     Show description for b517fa7
     jketema

     authored
     b517fa7View commit details

     Copy full SHA for b517fa7

     View code at this pointBrowse repository at this point

   • Merge pull request #23053 from github/rust/lint

     Show description for 8e895bc
     paldepind

     authored
     8e895bcView commit details

     Copy full SHA for 8e895bc

     View code at this pointBrowse repository at this point
3. Commits on Nov 10, 2026

   • Merge branch 'main' into codex/fix-missing-check-scanf

     geoffw0

     authored
     25b0d64View commit details

     Copy full SHA for 25b0d64

     View code at this pointBrowse repository at this point

   • C++: Update stats file

     jketema

     committed
     70cbf30View commit details

     Copy full SHA for 70cbf30

     View code at this pointBrowse repository at this point

   • C++: Add upgrade and downgrade scripts

     jketema

     committed
     dfb9808View commit details

     Copy full SHA for dfb9808

     View code at this pointBrowse repository at this point

   • C++: Update `File.qll`

     jketema

     committed
     dbb7195View commit details

     Copy full SHA for dbb7195

     View code at this pointBrowse repository at this point

   • C++: Add `compilation` column to `fileannotations`

     jketema

     committed
     c497045View commit details

     Copy full SHA for c497045

     View code at this pointBrowse repository at this point

   • Rename Rust dependency vendoring scripts and related files

     Show description for e5e650a
     paldepind

     committed
     e5e650aView commit details

     Copy full SHA for e5e650a

     View code at this pointBrowse repository at this point

   • SSA: Rename Expr-named classes.

     aschackmull

     committed
     649c487View commit details

     Copy full SHA for 649c487

     View code at this pointBrowse repository at this point

   • SSA: Remove Expr from df-integration signature.

     aschackmull

     committed
     dcf80b7View commit details

     Copy full SHA for dcf80b7

     View code at this pointBrowse repository at this point

   • SSA: Replace Expr-based member predicates in df-integration.

     aschackmull

     committed
     becc2d8View commit details

     Copy full SHA for becc2d8

     View code at this pointBrowse repository at this point

   • Merge pull request #23051 from aschackmull/ssa/barrierguard-refactor

     Show description for 92c8ce9
     aschackmull

     authored
     92c8ce9View commit details

     Copy full SHA for 92c8ce9

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

   • C++: Delete lint script

     paldepind

     committed
     6f3e9d6View commit details

     Copy full SHA for 6f3e9d6

     View code at this pointBrowse repository at this point

   • Adapt Bazel configuration to the Rust workspace changes

     Show description for 34101e9
     

     paldepind

     and

     Copilot

     committed
     34101e9View commit details

     Copy full SHA for 34101e9

     View code at this pointBrowse repository at this point

   • Expand root Cargo workspace and add inherited Clippy config

     paldepind

     committed
     df49c8cView commit details

     Copy full SHA for df49c8c

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

   • SSA: Rename BarrierGuardDefWithState to SsaBarrierGuardWithState

     aschackmull

     committed
     9aaa23fView commit details

     Copy full SHA for 9aaa23f

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

   • build(deps): bump the cargo group across 1 directory with 2 updates

     Show description for b1ee233
     dependabot[bot]

     authored
     b1ee233View commit details

     Copy full SHA for b1ee233

     View code at this pointBrowse repository at this point

   • Merge pull request #22688 from github/cpp/bmn-extractor-move

     Show description for 002a731
     paldepind

     authored
     002a731View commit details

     Copy full SHA for 002a731

     View code at this pointBrowse repository at this point

   • Merge pull request #23022 from MathiasVP/replace-ql-models-with-mad-for-assoc-cleaned-up-step-3

     Show description for 33dfa65
     MathiasVP

     authored
     33dfa65View commit details

     Copy full SHA for 33dfa65

     View code at this pointBrowse repository at this point

   • Merge pull request #23011 from aschackmull/ssa/caching

     Show description for fd83822
     aschackmull

     authored
     fd83822View commit details

     Copy full SHA for fd83822

     View code at this pointBrowse repository at this point

   • C++: Add missing newline at end of input

     paldepind

     committed
     6e828c6View commit details

     Copy full SHA for 6e828c6

     View code at this pointBrowse repository at this point

   • C++: Add BMN CI and developer guidance

     Show description for 349253c
     

     paldepind

     and

     Copilot

     committed
     349253cView commit details

     Copy full SHA for 349253c

     View code at this pointBrowse repository at this point

   • C++: Fix BMN Rust lints

     Show description for e8c1d7c
     paldepind

     committed
     e8c1d7cView commit details

     Copy full SHA for e8c1d7c

     View code at this pointBrowse repository at this point

   • C++: Build BMN extractor with Bazel

     Show description for addee64
     paldepind

     committed
     addee64View commit details

     Copy full SHA for addee64

     View code at this pointBrowse repository at this point

   • C++: Add BMN Rust dependency generator

     Show description for b51b6f1
     paldepind

     committed
     b51b6f1View commit details

     Copy full SHA for b51b6f1

     View code at this pointBrowse repository at this point

   • C++: Verbatim import of BMN extractor sources

     Show description for 2b9dee6
     paldepind

     committed
     2b9dee6View commit details

     Copy full SHA for 2b9dee6

     View code at this pointBrowse repository at this point

   • Merge pull request #23018 from aschackmull/cpp/iterator-use-use

     Show description for 96852da
     aschackmull

     authored
     96852daView commit details

     Copy full SHA for 96852da

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

   • C++: Restrict `TypeState` to reachable tuples.

     MathiasVP

     committed
     dacd42aView commit details

     Copy full SHA for dacd42a

     View code at this pointBrowse repository at this point

   • C++: Do not define `typeStep` using `TypeState` columns.

     Show description for 33b8346
     MathiasVP

     committed
     33b8346View commit details

     Copy full SHA for 33b8346

     View code at this pointBrowse repository at this point

   • C++: Add some bindingset annotations.

     MathiasVP

     committed
     a4ca101View commit details

     Copy full SHA for a4ca101

     View code at this pointBrowse repository at this point

   • C++: Move predicates around. This just makes the subsequent diffs smaller.

     MathiasVP

     committed
     4f8f78bView commit details

     Copy full SHA for 4f8f78b

     View code at this pointBrowse repository at this point

   • Merge pull request #23019 from MathiasVP/replace-ql-models-with-mad-for-assoc-cleaned-up-step-2

     Show description for 07502a6
     MathiasVP

     authored
     07502a6View commit details

     Copy full SHA for 07502a6

     View code at this pointBrowse repository at this point

   • C++: Add change note.

     MathiasVP

     committed
     c1402e6View commit details

     Copy full SHA for c1402e6

     View code at this pointBrowse repository at this point