Repository navigation

SCIP indexer - #5504

Open

yangdanny97 wants to merge 25 commits into

meta:mainfrom

yangdanny97:main

Open

SCIP indexer#5504
yangdanny97 wants to merge 25 commits into
meta:mainfrom
yangdanny97:main

Commits on Oct 17, 2026
- add deps and scaffolding
  yangdanny97
  committed
  c017e7e
Commits on Oct 18, 2026
- port over snapshot tests
  yangdanny97
  committed
  b4d37b3
- symbol table and definitions
  yangdanny97
  committed
  73900cf
- handle package name/version from pyproject.toml
  yangdanny97
  committed
  26125d4
- name references
  yangdanny97
  committed
  f2e88b0
Commits on Oct 19, 2026
- handle imports
  yangdanny97
  committed
  53c45e6
- attribute references
  yangdanny97
  committed
  c7b3745
- enclosing ranges
  yangdanny97
  committed
  5a4f60f
Commits on Oct 22, 2026
- override relationships
  yangdanny97
  committed
  36a23ed
- docstrings
  yangdanny97
  committed
  c541ae6
- perf
  yangdanny97
  committed
  9f18673
Commits on Oct 26, 2026
- more perf
  yangdanny97
  committed
  6943331
Commits on Oct 28, 2026
- special forms and installed distribution priority
  yangdanny97
  committed
  91aecca
- more parity fixes
  yangdanny97
  committed
  7d7aa3a
- handle implicit globals
  yangdanny97
  committed
  dd6601d
Commits on Nov 2, 2026
- perf improvements
  yangdanny97
  committed
  354696c
- adds reproductions snapshots for a few minor bugs
  christoph-sg
  committed
  3b944fa
- Merge branch 'scip-13' into ch/bug-reproductions
  christoph-sg
  authored
  d00da78
Commits on Nov 3, 2026
- emit data as files are solved, evict answers when no longer needed
  yangdanny97
  committed
  9a45db4
- Merge pull request #14 from christoph-sg/ch/bug-reproductions
  yangdanny97
  authored
  2a17242
- fix more bugs and format
  yangdanny97
  committed
  19a180f
- Merge pull request #15 from yangdanny97/scip-13
  yangdanny97
  authored
  740a7b6
- Name the SCIP indexer scip-pyrefly
  
  yangdanny97
  and
  claude
  committed
  23d9053
Commits on Nov 4, 2026
- Merge meta/pyrefly main into main
  
  yangdanny97
  and
  claude
  committed
  adf0e70
- fix line endings for windows
  yangdanny97
  committed
  98aedc6

Commits

Commits on Oct 17, 2026

Commits on Oct 18, 2026

Commits on Oct 19, 2026

Commits on Oct 22, 2026

Commits on Oct 26, 2026

Commits on Oct 28, 2026

Commits on Nov 2, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026