Repository navigation

spec: Typecheck padding - #670

Merged

RobinJadoul merged 16 commits into

spec/typecheck-padding

Jun 23, 2026

Merged

spec: Typecheck padding#670
RobinJadoul merged 16 commits into
spec/mainfrom
spec/typecheck-padding

Commits on Jun 15, 2026
- Check padding for structure/type. Closes #351 and #634
  RobinJadoul
  committed
  6b9e38d
Commits on Jun 16, 2026
- Check padding satisfies as many constraints as we can reasonably check
  RobinJadoul
  committed
  f027614
- Avoid crashing on runs that don't check all chips
  RobinJadoul
  committed
  6f500eb
- Turn push_context into a context manager
  RobinJadoul
  committed
  f089adf
- Check that no template cond is given when it isn't possible
  RobinJadoul
  committed
  ae425a0
- rename type_match to typecheck_binop
  RobinJadoul
  committed
  6566701
- Cleanup some signatures
  RobinJadoul
  committed
  dc81fbc
- Rework template_checkers recursion
  RobinJadoul
  committed
  c537134
Commits on Jun 19, 2026
- Simpler DVRM padding
  RobinJadoul
  committed
  955febd
Commits on Jun 22, 2026
- Different separation of concerns attempt
  RobinJadoul
  committed
  8d73916
- Warn about unavailable templates
  RobinJadoul
  committed
  c0cad81
- spec: Materialize SUB in sub.toml for improved machine-readability
  RobinJadoul
  committed
  edc5618
- Merge branch 'spec/explicit-sub' into spec/typecheck-padding
  RobinJadoul
  committed
  357756f
- Simplify having SUB as a full template
  RobinJadoul
  committed
  859d5af
Commits on Jun 23, 2026
- Address review comments
  RobinJadoul
  committed
  4703a8c
- Make mypy pass
  RobinJadoul
  committed
  fc88d74