Repository navigation

Introducing `.extend` and `.truncate`, auto static assertions, and more fixes - #477

Merged

soronpo merged 40 commits into

mainfrom

training

Aug 12, 2026

Merged

Introducing `.extend` and `.truncate`, auto static assertions, and more fixes#477
soronpo merged 40 commits into
mainfrom
training

Commits on Aug 9, 2026
- simplify the basic lib playground
  Oron Port
  committed
  1cdeadd
- core+docs: a wildcard `Int`'s minimum width counts as an actual width in `+`/`-`/`*` (#469)
  
  Oron Port
  and
  claude
  committed
  54e549c
- core: revise a sub-design instance's port through its by-name selection (#470)
  
  Oron Port
  and
  claude
  committed
  3548169
Commits on Aug 10, 2026
- ir+lib+compiler_stages: connection flow never defers to parameters (#467, #471)
  
  Oron Port
  and
  claude
  committed
  3b844e7
- ir+compiler_stages: a shared-variable writer emits `always` instead of `always_ff`
  
  Oron Port
  and
  claude
  committed
  a86c482
- compiler_stages+docs: a port-referenced constant is declared in the parameter port list
  
  Oron Port
  and
  claude
  committed
  3e0d457
- skills: record the two backend-legality lessons from #472/#473
  
  Oron Port
  and
  claude
  committed
  3040d5c
- core+plugin: the frontend namespace object is public, named `__hdl`
  
  Oron Port
  and
  claude
  committed
  ec89141
- skills: record the inaccessible-prefix species from #468
  
  Oron Port
  and
  claude
  committed
  734c4e8
- update benchmarks formatting
  Oron Port
  committed
  b123970
Commits on Aug 11, 2026
- ir+core+docs: single-bit arithmetic; bitwise ops check parametric widths (#476, #474)
  
  Oron Port
  and
  claude
  committed
  958e2fb
- skills: record the two width-rule species from #476/#474
  
  Oron Port
  and
  claude
  committed
  dc5ff6f
- compiler: static assertions as concurrent design contracts
  
  Oron Port
  and
  claude
  committed
  e9d50d2
- skill: format before the final full-suite run
  
  Oron Port
  and
  claude
  committed
  10ca4ab
- compiler: name a text output through its `val` binding
  
  Oron Port
  and
  claude
  committed
  7778923
- core+compiler: auto value constraints for unprovable width fits
  
  Oron Port
  and
  claude
  committed
  9c31526
- skill: shut the sbt server down on a GC-time warning
  
  Oron Port
  and
  claude
  committed
  09fbc01
- core+compiler: minimize auto constraints against each other and the design's own assertions
  
  Oron Port
  and
  claude
  committed
  826d215
- compiler+lib: fix the Verilog-95 signed ordering macros and cover them in testApps
  
  Oron Port
  and
  claude
  committed
  0d3695c
- docs: how to compare values of different widths
  
  Oron Port
  and
  claude
  committed
  a322eca
- core: `.extend` and `.truncate` width-adjustment tags for `UInt`/`SInt`
  
  Oron Port
  and
  claude
  committed
  2714d5d
- wip: auto constraints for undecidable wildcard fits, messages via `Check.message`
  
  Oron Port
  and
  claude
  committed
  4610e44
- core: `.extend` and `.truncate` for `Bits`, disambiguated by target name
  
  Oron Port
  and
  claude
  committed
  cc47f27
- core: the width-adjustment permissions relax the checks they cover
  
  Oron Port
  and
  claude
  committed
  2070a06
- test: a width-adjustment permission over a design parameter
  
  Oron Port
  and
  claude
  committed
  447713c
Commits on Aug 12, 2026
- core: a comparison lets its permission-carrying operand adapt, either side
  
  Oron Port
  and
  claude
  committed
  2b19e14
- core+docs: migrate the argument-less `.resize` to `.extend` and `.truncate`
  
  Oron Port
  and
  claude
  committed
  ed3720a
- platforms: bump to the `.truncate` migration
  
  Oron Port
  and
  claude
  committed
  f00dc86
- core+docs: width diagnostics name the adjustment that actually applies
  
  Oron Port
  and
  claude
  committed
  c689fc8
- core: a width-adjustment permission survives the `Bits`/integer conversion
  
  Oron Port
  and
  claude
  committed
  defb89c
- core: deprecate the argument-less `.resize`
  
  Oron Port
  and
  claude
  committed
  4f3d374
- update version dependencies
  Oron Port
  committed
  99e7a0b
- core+docs: a wildcard `Int` operand widens to the target, not to the other operand (#478)
  
  Oron Port
  and
  claude
  committed
  6ee2c3e
- core: a wildcard `Int` parameter states the value bound its adaptation relies on
  
  Oron Port
  and
  claude
  committed
  eb5bc03
- git: line endings are LF in the working tree, not just the index
  
  Oron Port
  and
  claude
  committed
  22ddf00
- submodules: bump to the LF line-ending policy
  
  Oron Port
  and
  claude
  committed
  42cac8f
- scalafmt update
  Oron Port
  committed
  ad5423f
- core: a `.truncate` decides against target-context widening, and a widened `>>` states what it assumed
  
  Oron Port
  and
  claude
  committed
  ce316f4
- internals+options+tools: a console reset and ANSI color need a terminal to land on (#463)
  
  Oron Port
  and
  claude
  committed
  ed7b357
- core: an LHS-dominant operation states the fit it needs rather than rejecting what it cannot prove
  
  Oron Port
  and
  claude
  committed
  0e75838

Commits

Commits on Aug 9, 2026

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026