Peter Lebbing

Use config api.api_domain for API hostname

1

**WARNING: The actual patch in this PR is intended as a suggestion from someone with no experience with the Go language** So I merely grepped the source, made some changes,...

Use absolute domain name in message

2

When we tell the user which CNAME record to add, make the entry absolute by ending it with a dot. This prevents that the user accidentally adds a record for...

Partially fix topological sort of files

1

We don't track dependency information for include files and memory files. Include files are generated from `Clash.Netlist.BlackBox.Types.bbIncludes` or YAML/JSON `includes` keys, and memory files are generated from `~TEMPLATE` holes in...

As can already be seen from the type signature: ```haskell assert :: (KnownDomain dom, Eq a, ShowX a) => Clock dom -> Reset dom -> String -- ^ Additional message...

Port names in `Synthesize` annotations should be acccounted for in unique name generation

1

One would hope that names Clash generates will not overlap with port names in `Synthesize` annotations, but alas: ```haskell f :: Signal System (Unsigned 8) -> Signal System (Unsigned 8)...

Test bench needs `INLINE` when passing down top entity

1

Normally, when a function recognised as a test bench makes use of a function recognised as a top entity, these two end up in separate directories (and VHDL libraries). However,...

Document changelog best practices

3

This is a discussion piece to improve our developer documentation on writing entries for the CHANGELOG. Please propose any changes you'd like. Since we want to automate changelog file processing...

Some warnings should not be suppressed for test benches

1

The warnings of the form ``` Integers are dynamically sized in simulation, but fixed-length after synthesis. Use carefully. ``` are suppressed if they occur in a testbench (`ANN TestBench`). But...

`DomainConfigurationPeriod` type family apparently breaks inequality solver

5

This code does not typecheck: ```haskell proxyInEq :: ( KnownDomain dom , KnownNat (DomainPeriod dom) , 1 Proxy (dom :: Domain) -> () proxyInEq _ = () proxyInEq' :: (...

Memories and `Vec`: better exceptions

2

Some memories return an `XException` when addressed out-of-bounds whereas others return `ErrorCall`. They should all return an `XException`, including `Vector.!!` and `Vector.replace`. Furthermore, all of these should have `HasCallStack` so...