Artturin
0 followers · 1 following
  • Joined on 2025-01-03
Repositories Projects Packages Public activity Starred repositories
Artturin deleted branch flakeandtheme from Yehowshua/bluespec-docs 2025-08-10 14:24:42 +00:00
Artturin pushed to main at Yehowshua/bluespec-docs 2025-08-10 14:24:42 +00:00
bc6e0d46d8 Merge pull request 'Add flake' (#3) from flakeandtheme into main
679d8a4023 flake.lock: Update
32a0e09123 Add flake and fix config.toml
Compare 3 commits »
Artturin merged pull request Yehowshua/bluespec-docs#3 2025-08-10 14:24:41 +00:00
Add flake
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-08-04 21:46:12 +00:00
679d8a4023 flake.lock: Update
Artturin closed issue NixPackages/tt-flake#1 2025-06-25 22:03:29 +00:00
metal and umd prefetch CPM dependencies before compiling
Artturin commented on issue NixPackages/tt-flake#1 2025-06-25 22:03:29 +00:00
metal and umd prefetch CPM dependencies before compiling

@Artturin , can this issue be close?

Yes, you wanted me to open this as a note

Artturin commented on issue Yehowshua/bluespec-docs#2 2025-04-29 19:52:10 +00:00
Nixify and Host on bluespec.dev

https://git.joyofhardware.com/Yehowshua/bluespec-docs/pulls/3 and already being hosted using that url

Artturin closed issue Yehowshua/bluespec-docs#2 2025-04-29 19:52:10 +00:00
Nixify and Host on bluespec.dev
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-04-29 19:16:04 +00:00
32a0e09123 Add flake and fix config.toml
Artturin created pull request ReferenceProjects/riscv-bluespec-classic#18 2025-04-19 10:55:55 +00:00
flake: Add missing input
Artturin created pull request ReferenceProjects/riscv-bluespec-classic#7 2025-04-02 00:11:21 +00:00
WIP: Add flake
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 created pull request Yehowshua/RiscV-Formal#4 2025-02-22 20:38:15 +00:00
Add flake
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 16:05:59 +00:00
3a3bc563bf syntax highlight
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 16:03:49 +00:00
3566b059d0 syntax highlight
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:27:34 +00:00
Artturin created pull request Yehowshua/bluespec-docs#3 2025-02-13 15:22:52 +00:00
WIP: Flake and Theme
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:19:56 +00:00
e6d1f4d10f Use archie-zola and add script to update it
cec4c4f0bf Add archie-zola
be87b388ab Add flake and fix config.toml
218f422b9a Mark themes vendored
Compare 4 commits »
Artturin pushed to main at Yehowshua/bluespec-docs 2025-02-13 15:19:07 +00:00
218f422b9a Mark themes vendored
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:18:02 +00:00
dc0f5068b2 Use archie-zola and add script to update it