Christiaan Baaij
Christiaan Baaij
We have GitHub actions support for some of our 9.4.1 upgrades of some of our code. See e.g. https://github.com/clash-lang/ghc-typelits-knownnat/runs/7486517906?check_suite_focus=true The GitHub actions configuration was mostly autogenerated using: https://github.com/haskell-CI/haskell-ci I wouldn’t...
Yeah, the plan is to make it work first. Currently everything compiles, but none of the test pass because it doesn’t load the modules. Once that’s sorted I’ll refactor to...
I don’t know, once those packages are upgraded the `cabal.project` file would be redundant.
Right, the issue is that this context storing and restoring: https://github.com/haskell-hint/hint/blob/42afe8197e7cc8b68d0ba005b42efdc027c95b57/src/Hint/Context.hs#L126-L134 is no longer sufficient. And I haven't figure out how to implement it in the GHC 9.4 API. This...
As @XVilka mentions: I'm very interested as to whether the registers generated by FIRRTL have synchronous or asynchronous resets. [Clash](https://clash-lang.org) has support for both reset strategies; given that in FPGA...
You're right... that's a bug. Given they have a `knownDomain` constraint, we can check at "run-time" whether to insert a dual-ff synchronizer.
So all the information currently in the domain affects the simulation behavior, where the `vPeriod` is used in `unsafeSynchronizer`: https://github.com/clash-lang/clash-compiler/blob/dbcc07851e5a99e8feb7485fdb15f9a76dcd3500/clash-prelude/src/Clash/Explicit/Signal.hs#L501-L554 And all the other information is used by `register#` (and...
@thoughtpolice is planning to fold the current backends into `clash-lib`: I think as part of this, seeing what can be shared between the Verilog and SystemVerilog backends would be a...
It pains me to say that you'll need to use template Haskell (tricks) here. The compile time evaluation mechanisms are very poor in the clash compiler right now. It is...
This behaviour is triggered by a data type that has a field with a function type, in this case the `Endo` in the `CPU` data type. Since functions cannot be...