Artturin
0 followers · 1 following
  • Joined on 2025-01-03
Repositories
2
 Projects Packages Public activity Starred repositories
Artturin pushed to addflake at Artturin/riscv-bluespec-classic 2025-04-04 14:23:28 +00:00
23b5de5cd3 flake: Fix bluespec bsc binary
d8ca756e43 flake.lock: Update
Compare 2 commits »
Artturin pushed to addflake at Artturin/riscv-bluespec-classic 2025-04-03 19:28:05 +00:00
8b6ca3accc flake: Install the same file that fpga-starter-project-uart installed
Artturin pushed to addflake at Artturin/riscv-bluespec-classic 2025-04-02 00:15:22 +00:00
7836ac5f3f Make make fpga work
d48621521a Remove all trailing spaces
41c1e910dd Add initial flake
7c32974f7b update readme
76e542ff36 tested and seems to be working
Compare 15 commits »
Artturin created pull request ReferenceProjects/riscv-bluespec-classic#7 2025-04-02 00:11:21 +00:00
WIP: Add flake
Artturin pushed to addflake at Artturin/riscv-bluespec-classic 2025-04-02 00:10:42 +00:00
2308058d33 Make make fpga work
Artturin pushed to addflake at Artturin/riscv-bluespec-classic 2025-04-02 00:05:07 +00:00
3afca5b0f9 Remove all trailing spaces
1c8ebeb238 Add initial flake
Compare 2 commits »
Artturin created branch addflake in Artturin/riscv-bluespec-classic 2025-04-02 00:05:07 +00:00
Artturin created repository Artturin/riscv-bluespec-classic 2025-04-01 23:56:18 +00:00
Artturin commented on issue ReferenceProjects/riscv-bluespec-classic#1 2025-03-19 18:05:08 +00:00
Add Proper Nix Flake

How long does TOPMODULE=mkSim make b_compile b_link b_sim Bluesim simulation phase take for you?

Artturin pushed to addnix at Artturin/RiscV-Formal 2025-03-13 23:44:49 +00:00
8037eeba19 flake.nix: Remove cross glibc
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-03-13 23:40:16 +00:00
1dd246294e flake.nix: Correct glibc location
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-03-13 23:17:30 +00:00
0960ceb53a rv_tests/hello_world: Rename PREFIX var to CROSS_PREFIX and make it configurable
ac8a2ea238 flake.nix: Comments
56a80fe749 Riscv config
2b9895f1cc Use newer ghc
c75ad4fa70 Remove stack.yaml
Compare 37 commits »
Artturin created pull request Yehowshua/RiscV-Formal#4 2025-02-22 20:38:15 +00:00
Add flake
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:37:59 +00:00
fa03829139 Use newer ghc
783ec90a45 Remove stack.yaml
67fcd15f42 After make clean and make, this file changes
Compare 3 commits »
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:33:30 +00:00
a8000f243a Use newer ghc
821a25da8b Remove stack.yaml
14582dc1c3 After make clean and make, this file changes
9c0bc141f0 hello_world: Use nixpkgs target prefix
eb77c50eb2 hello_world: Fix stat with coreutils(linux)
Compare 7 commits »
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:32:41 +00:00
6c97113835 Use newer ghc
3e12f4c164 Remove stack.yaml
4adcca26f0 Add flake
Compare 3 commits »
Artturin created branch addnix in Artturin/RiscV-Formal 2025-02-22 20:17:06 +00:00
Artturin pushed to addnix at Artturin/RiscV-Formal 2025-02-22 20:17:06 +00:00
f9a6acd4b2 Remove stack.yaml
d8e6e6daa2 Add flake
264438ef3a After make clean and make, this file changes
e7cdc3e339 hello_world: Use nixpkgs target prefix
a956a58325 hello_world: Fix stat with coreutils(linux)
Compare 7 commits »
Artturin created repository Artturin/RiscV-Formal 2025-02-21 14:48:46 +00:00
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 16:05:59 +00:00
3a3bc563bf syntax highlight