CatsAreFluffy

I get an error message when I go to [http://opetopic.net/](http://opetopic.net/).

Fix long function names

1

Fixes #303. The threshold for truncating names is 31, not 32, since you need a byte for a null terminator.

https://github.com/HigherOrderCO/HVM/blob/542ca9884428924c559beeeda2786abaec81defa/src/hvm.rs#L930 underflows for function names longer than 32 bytes, causing an immediate crash if HVM is compiled in debug mode, and inscrutable errors later if it's compiled in release mode.

Add multiply-high operation

3

**Is your feature request related to a problem? Please describe.** Currently, multiplying numbers with more than 24 bits is awkward, since you can only access the lower 24 bits of...

Recent versions of yosys renamed the `read_ilang` command to `read_rtlil`, so none of the .sby files in this repository work anymore.

Tighter bounds for integer negation of 1-bit signals

1

```python3 >>> from amaranth import * >>> (-Signal(unsigned(1))).shape() signed(2) >>> (-Signal(signed(1))).shape() signed(2) ``` The first one can be signed(1), and the second one can be unsigned(1).