Repository navigation

Commits

Commits on Nov 6, 2026
- [ty] Reduce redundant work in structural recursive type inference (#29975)
  mtshiba
  authored
  4379270
Commits on Sep 17, 2026
- [ty] Introduce `Recursive` types and fully support recursive implicit type aliases (#28425)
  
  mtshiba
  and
  carljm
  authored
  160ffbf
Commits on Sep 16, 2026
- [ty] Optimize fuel management in the constraint solver (#28568)
  mtshiba
  authored
  9e5ac05
Commits on Sep 12, 2026
- [ty] Preserve recursive metadata in union transformations (#28497)
  mtshiba
  authored
  11dc3e0
Commits on Sep 11, 2026
- [ty] Reuse rendered union elements when displaying types (#28494)
  mtshiba
  authored
  792dbcb
Commits on Aug 27, 2026
- [ty] Only treat recursive types with unbounded specializations as fallback cycles (#27538)
  mtshiba
  authored
  3f5e494
Commits on Jul 25, 2026
- [ty] Avoid cycle when resolving `ModuleType` globals (#27182)
  mtshiba
  authored
  39f006c
Commits on Jul 21, 2026
- [ty] Guard recursive Protocol and TypedDict relations (#26990)
  mtshiba
  authored
  edce301
Commits on Jul 19, 2026
- [ty] Prevent stack overflows in recursive type relation checks (#26503)
  
  mtshiba
  and
  MichaReiser
  authored
  8276d63
Commits on Jul 13, 2026
- [ty] skip `Self` type scans for non-generic instances (#26703)
  mtshiba
  authored
  70e2510
Commits on Jul 8, 2026
- [ty] optimize `TypeCollector` (#26593)
  mtshiba
  authored
  56554d6
Commits on Jun 25, 2026
- [ty] improve variable-length tuple slicing (#26151)
  mtshiba
  authored
  beb85f3
Commits on Jun 24, 2026
- [ty] Use assignability for divergent constraints (#26334)
  mtshiba
  authored
  963ef2a
Commits on Jun 5, 2026
- [ty] fix the divergence of recursive inference due to ambiguous overload (#25548)
  
  mtshiba
  and
  oconnor663
  authored
  dced0e4
Commits on May 8, 2026
- [ty] Lazily initialize `UnionBuilder` when transforming a union type (#24929)
  
  mtshiba
  and
  charliermarsh
  authored
  c79efff
Commits on May 3, 2026
- [ty] implement proper handling of recursive types in `CycleDetector` (#24773)
  
  mtshiba
  and
  charliermarsh
  authored
  b409cbe
Commits on May 1, 2026
- [ty] Fix unbounded type growth in nested-typevar substitutions (#24803)
  mtshiba
  authored
  c6057e0
Commits on Apr 25, 2026
- [ty] Support basic narrowing with aliased conditional expressions (#24302)
  
  mtshiba
  and
  sharkdp
  authored
  d12473e
Commits on Mar 25, 2026
- [ty] implement cycle normalization for more types to prevent too-many-cycle panics (#24061)
  mtshiba
  authored
  65962f6
Commits on Mar 13, 2026
- [ty] fix too-many-cycle panics when inferring literal type loop variables (#23875)
  mtshiba
  authored
  7b67825
Commits on Mar 12, 2026
- Run end-of-file-fixer pre-commit hook on ty corpus test files (#23908)
  mtshiba
  authored
  ce2cb82
Commits on Mar 10, 2026
- [ty] prevent "tainted" unions in cycle normalization (#23563)
  
  mtshiba
  and
  carljm
  authored
  fd9568a
Commits on Feb 27, 2026
- [ty] hash-cons `UseDefMap` fields (#23283)
  mtshiba
  authored
  2104d0a
Commits on Feb 26, 2026
- [ty] defer calculating conjunctions in narrowing constraints (#23552)
  mtshiba
  authored
  0e19fc9
Commits on Feb 25, 2026
Commits on Feb 24, 2026
- [ty] lower `MAX_RECURSIVE_UNION_LITERALS` (#23521)
  mtshiba
  authored
  8710af0
- [ty] Isolate loop header reachability evaluation in tracked function (#23520)
  mtshiba
  authored
  fe0a1d1
Commits on Feb 23, 2026
- Fix libc version conflict (#23508)
  mtshiba
  authored
  32cced4
Commits on Feb 11, 2026
- [ty] disallow type variables within PEP-695 type variable bounds/constraints (#22982)
  
  mtshiba
  and
  ibraheemdev
  authored
  7da7ae0
Commits on Feb 6, 2026
- [ty] relax the attribute narrowing condition (#22440)
  
  mtshiba
  and
  carljm
  authored
  76d9cd4
Commits on Jan 30, 2026
- [ty] remove `static_expression_truthiness` and improve reachability analysis (#22971)
  mtshiba
  authored
  48a4d9d
Commits on Dec 30, 2025
- [ty] increase the max number of diagnostics for `sympy` in `ty_walltime` benchmark (#22296)
  mtshiba
  authored
  77ad107
- [ty] don't expand type aliases via type mappings unless necessary (#22241)
  mtshiba
  authored
  c429ef8

Branch selector

User selector

Datepicker

Commit history

Commits on Nov 6, 2026

Commits on Sep 17, 2026

Commits on Sep 16, 2026

Commits on Sep 12, 2026

Commits on Sep 11, 2026

Commits on Aug 27, 2026

Commits on Jul 25, 2026

Commits on Jul 21, 2026

Commits on Jul 19, 2026

Commits on Jul 13, 2026

Commits on Jul 8, 2026

Commits on Jun 25, 2026

Commits on Jun 24, 2026

Commits on Jun 5, 2026

Commits on May 8, 2026

Commits on May 3, 2026

Commits on May 1, 2026

Commits on Apr 25, 2026

Commits on Mar 25, 2026

Commits on Mar 13, 2026

Commits on Mar 12, 2026

Commits on Mar 10, 2026

Commits on Feb 27, 2026

Commits on Feb 26, 2026

Commits on Feb 25, 2026

Commits on Feb 24, 2026

Commits on Feb 23, 2026

Commits on Feb 11, 2026

Commits on Feb 6, 2026

Commits on Jan 30, 2026

Commits on Dec 30, 2025