Yehowshua/RiscV-Formal
2
0
Fork 1
Code Issues 8 Pull requests Actions Packages Projects Releases Wiki Activity

Add flake #4

Merged
Yehowshua merged 10 commits from Artturin/RiscV-Formal:addnix into main 2025-03-14 15:55:41 +00:00
Conversation 0 Commits 10 Files changed 7 -10
1 changed files with 0 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit c75ad4fa70 - Show all commits

10
stack.yaml
View file

@ -1,10 +0,0 @@
resolver: lts-21.20
extra-deps:
- GenericPretty-1.2.2
- clash-ghc-1.8.1
- clash-prelude-1.8.1
- clash-lib-1.8.1
- concurrent-supply-0.1.8
- prettyprinter-interp-0.2.0.0
- pretty-show-1.10