Artturin
0 followers · 1 following
  • Joined on 2025-01-03
Repositories Projects Packages Public activity Starred repositories
Artturin closed issue Yehowshua/bluespec-docs#2 2025-04-29 19:52:10 +00:00
Nixify and Host on bluespec.dev
Artturin commented on issue Yehowshua/bluespec-docs#2 2025-04-29 19:52:10 +00:00
Nixify and Host on bluespec.dev

Yehowshua/bluespec-docs#3 and already being hosted using that url

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
Artturin pushed to flakeandtheme at Yehowshua/bluespec-docs 2025-02-13 15:14:45 +00:00
ff6f6916b3 Use archie-zola and add script to update it
ae394178c3 Add archie-zola
231731cd6d Add flake and fix config.toml
Compare 3 commits »
Artturin created branch flakeandtheme in Yehowshua/bluespec-docs 2025-02-13 15:14:45 +00:00
Artturin commented on pull request ReferenceProjects/example-spa-elm-app#6 2025-01-31 15:13:36 +00:00
Hot reload for Elm application
  • Hot reload is exposed at port 8000 (different from rust backend running at port 8080)
  • Only available in debug mode i.e. make serve DEBUG=1

The is not ideal as web sockets…

Artturin commented on pull request ReferenceProjects/example-spa-elm-app#6 2025-01-31 15:09:20 +00:00
Hot reload for Elm application

So you're technically not supposed to install things inside nix build files that require internet access. To fix this, we should either use [elmPackages.elm-live](https://search.nixos.org/package…

Artturin pushed to master at NixPackages/tt-flake 2025-01-29 18:07:21 +00:00
65d7bef16d {smi,tools-common}: pin textual
2245c9c5ea smi: Add test
Compare 2 commits »
Artturin pushed to master at NixPackages/tt-flake 2025-01-29 17:34:47 +00:00
f18aa5fee2 tools-common: Use version needed by tt-smi