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

Merged

soronpo merged 40 commits into

mainfrom

Aug 12, 2026

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