Commits

Commit history

1. Commits on Aug 11, 2026

   • feat: lean-walk positional parameter-slot extractors for Java, C#, Rust, and C (#1195)

     vitali87

     committed
     7ad998eView commit details

     Copy full SHA for 7ad998e

     View code at this pointBrowse repository at this point
2. Commits on Jul 22, 2026

   • Merge remote-tracking branch 'origin/main' into fix/cpp-header-prototype-dedupe

     Show description for 152e03b
     vitali87

     committed
     152e03bView commit details

     Copy full SHA for 152e03b

     View code at this pointBrowse repository at this point

   • fix(cpp): lambda init-captures count as evidence

     vitali87

     committed
     55bfad2View commit details

     Copy full SHA for 55bfad2

     View code at this pointBrowse repository at this point

   • fix(cpp): lambda captures and default captures count as evidence

     vitali87

     committed
     7f2c828View commit details

     Copy full SHA for 7f2c828

     View code at this pointBrowse repository at this point

   • fix(cpp): exempt internal-linkage prototypes from the dedupe

     vitali87

     committed
     eeea6a6View commit details

     Copy full SHA for eeea6a6

     View code at this pointBrowse repository at this point

   • fix(cpp): collect lambda parameters and walk lambda bodies for constructions

     vitali87

     committed
     228a8e4View commit details

     Copy full SHA for 228a8e4

     View code at this pointBrowse repository at this point

   • fix(cpp): count condition-clause declarations as construction evidence

     vitali87

     committed
     3d7f6e8View commit details

     Copy full SHA for 3d7f6e8

     View code at this pointBrowse repository at this point
3. Commits on Jul 21, 2026

   • chore: contract comments and drop (H) markers in core library

     vitali87

     committed
     6f9b85dView commit details

     Copy full SHA for 6f9b85d

     View code at this pointBrowse repository at this point

   • chore: drop (H) comment markers and the no-docs enforcement hook

     vitali87

     committed
     ddfb6bcView commit details

     Copy full SHA for ddfb6bc

     View code at this pointBrowse repository at this point
4. Commits on Jul 19, 2026

   • feat(flow): switch-family branch sensitivity with fallthrough-aware entries and shared mandatory loop

     vitali87

     committed
     6b07048View commit details

     Copy full SHA for 6b07048

     View code at this pointBrowse repository at this point
5. Commits on Jul 18, 2026

   • test: RED for member-initializer-list base and delegating ctor CALLS

     vitali87

     committed
     03e1aabView commit details

     Copy full SHA for 03e1aab

     View code at this pointBrowse repository at this point

   • fix(cpp): emit constructor edges for braced-init returns of a declared class type

     vitali87

     committed
     584e554View commit details

     Copy full SHA for 584e554

     View code at this pointBrowse repository at this point
6. Commits on Jul 17, 2026

   • fix(cpp): resolve constructor-temporary chains and macro-attributed definition names

     vitali87

     committed
     3080447View commit details

     Copy full SHA for 3080447

     View code at this pointBrowse repository at this point
7. Commits on Jul 16, 2026

   • feat(flow): branch-merge loops, try, and Rust if/match in the lean flat walk with Go conversion and Rust borrow taint unwraps

     vitali87

     committed
     3e8875dView commit details

     Copy full SHA for 3e8875d

     View code at this pointBrowse repository at this point

   • feat(io): handle-aware lean I/O walk for Go, JS/TS, Java, Rust, C++ plus Python cursor derive (#714)

     vitali87

     committed
     dc8cc94View commit details

     Copy full SHA for dc8cc94

     View code at this pointBrowse repository at this point
8. Commits on Jul 14, 2026

   • feat(io): direct READS_FROM/WRITES_TO sinks for C++ (#714)

     vitali87

     committed
     9a2894bView commit details

     Copy full SHA for 9a2894b

     View code at this pointBrowse repository at this point
9. Commits on Jul 11, 2026

   • fix(cpp): reject reserved keywords as definition names and direct operator binding by operand type

     vitali87

     committed
     f9aa073View commit details

     Copy full SHA for f9aa073

     View code at this pointBrowse repository at this point

   • fix(cpp): blank unbalanced preprocessor branches to recover whole-file parse collapse

     vitali87

     committed
     c758778View commit details

     Copy full SHA for c758778

     View code at this pointBrowse repository at this point
10. Commits on Jul 9, 2026

    • refactor(constants): reorganize split into themed per language and per concern submodules

      vitali87

      committed
      63cb798View commit details

      Copy full SHA for 63cb798

      View code at this pointBrowse repository at this point
11. Loading