Lucas Bollen

This pull requests adds a wrapper to generate the [LogiCORE IP Ethernet 1000BASE-X PCS/PMA or SGMII](https://docs.amd.com/v/u/en-US/gig_eth_pcs_pma_ds264) as a GMII to SGMII bridge. It generates a `.tcl` file to be used...

`Natural` is not exported from `clash-prelude-1.9.0`'s `Clash.Prelude` GHC 9.0.2 (and lower?)

3

Found on the `clash-vexriscv` repo: https://github.com/clash-lang/clash-vexriscv/actions/runs/8615733120/job/23611920320 9.2.8 and 9.4.8 do pass. 9.0.2: ``` [4 of 8] Compiling VexRiscv.Random ( src/VexRiscv/Random.hs, /__w/clash-vexriscv/clash-vexriscv/dist-newstyle/build/x86_64-linux/ghc-9.0.2/clash-vexriscv-0.1/build/VexRiscv/Random.o, /__w/clash-vexriscv/clash-vexriscv/dist-newstyle/build/x86_64-linux/ghc-9.0.2/clash-vexriscv-0.1/build/VexRiscv/Random.dyn_o ) src/VexRiscv/Random.hs:42:16: error: Not in scope: type constructor...

Clash fails to generate a hdl for designs that contain newtype wrappers of e.g. records Reproducer: ```hs import Clash.Prelude import Clash.Annotations.TH data Foo a = Foo a data Bar =...

Change mutability of `RxToken`'s `consume` argument.

1

This pull request drops the requirement that we can mutate the receive buffer. I noticed issue #443 already discussed this, but was closed without making the change. Even though the...

Using intermediate type variables prevents deducing (1 <= 2^n)

2

Using an intermediate type variable in your function and binding it to ` 2^n` prevents the deduction that it is greater or equal to 1. This reproducer: ```Haskell {-# LANGUAGE...

Derive 1 <= Max a b when (1 <= a ) or (1 <= b)

1

I'm not sure of this is possible, but it's trival that `1 < = Max a b` holds when `1

Add `uDisplay` for `String` and inline `ufmt` functions

5

Most likely the compiler already inlines the function calls, but afaik adding the annotation makes it more likely. I could not build it locally due to: ``` Compiling heapless v0.8.0...

Adjust `BiSignalDefault` doc to clarify affects simulation only

1

No logic is added here, it only represents the state of the wire when no-one is driving it.

Add `Max` types to `PeriodToHz`

12

This satisfies the `1

This parameter does not exist and causes parsing failures and fixes #182