Yehowshua

1 follower · 0 following

• https://yehowshuaimmanuel.com
• Joined on 2024-12-29

Repositories

4

Projects Packages Public activity Starred repositories

Yehowshua created branch master in GPUResearch/rust_tiny_rast 2025-04-29 13:15:18 +00:00

Yehowshua pushed to master at GPUResearch/rust_tiny_rast 2025-04-29 13:15:18 +00:00

145d5f3d5f first commit

Yehowshua created repository GPUResearch/rust_tiny_rast 2025-04-29 12:48:57 +00:00

Yehowshua created branch main in GPUResearch/Planning 2025-04-29 12:42:16 +00:00

Yehowshua pushed to main at GPUResearch/Planning 2025-04-29 12:42:16 +00:00

02cf934c4f Update README.md

a02983509e Add Plan/phaseI.md

41fe321250 Add README.md

Yehowshua created repository GPUResearch/Planning 2025-04-29 12:41:08 +00:00

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-22 16:00:00 +00:00

51b96c9ea7 simplify C BSV Bindings wrappers

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#19 2025-04-22 15:50:57 +00:00

Convert BDPI from bsv to bs

This is apparently not currently possible: https://groups.io/g/b-lang-discuss/message/874

Yehowshua closed issue ReferenceProjects/riscv-bluespec-classic#19 2025-04-22 15:50:57 +00:00

Convert BDPI from bsv to bs

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-21 12:59:01 +00:00

1b62021029 more work on uart server now with diagram

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#21 2025-04-21 11:30:31 +00:00

Explicitly Enumerate Server Semantics

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#20 2025-04-21 00:30:07 +00:00

Explicitly qualify more identifiers in Bus.bs

Need to ask on mailing list how to do this... compiler doesn't like my first attempt:

[nix-shell:~/git/riscv-bluespec-classic]$ bsv2bsc bsv/CBindings.bsv 
package CBindings(initTermina…

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#20 2025-04-20 23:26:48 +00:00

Explicitly qualify more identifiers in Bus.bs

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-20 22:06:21 +00:00

842c19d441 make server map, normalize uart interfaces

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#19 2025-04-20 21:57:50 +00:00

Convert BDPI from bsv to bs

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-20 19:22:19 +00:00

7290af88fb scaffolding for new uart interface in place

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-20 02:04:44 +00:00

89664a01f6 reduce noise in tag engine unit test as well as make results apparent

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-20 01:51:39 +00:00

2d9bc945c5 improve simulation egornomics a bit

Yehowshua merged pull request ReferenceProjects/riscv-bluespec-classic#18 2025-04-20 00:48:04 +00:00

flake: Add missing input

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-20 00:48:04 +00:00

f2a464b090 Merge pull request 'flake: Add missing input' (#18) from Artturin/riscv-bluespec-classic:fix-compat into main

9d897fccdc flake: Add missing input

Compare 2 commits »