Artturin/RiscV-Formal
1
0
Fork 0
forked from Yehowshua/RiscV-Formal
Code Pull requests Activity
6 commits 2 branches 0 tags 149 KiB
Commit graph

3 commits

Author SHA1 Message Date
Artturin 507afc2c02 Rename rv_formal.cabal to rvFormal 
It appears that the convention is to use the package name as the
filename

```
error: path '/nix/store/3bljihq1ighvsr9ghaw5fvflcdapsrff-haskell-project-plan-to-nix-pkgs/.plan.nix/rvFormal.nix' does not exist
```
 2025-02-21 23:13:45 +02:00
Yehowshua Immanuel 32932f4816 added basic decoding 2025-02-19 01:21:02 -05:00
Yehowshua Immanuel ef58d5b07e first commit 2025-02-12 23:54:15 -05:00