Yehowshua

1 follower · 0 following

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

Repositories

5

Projects Packages Public activity Starred repositories

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#4 2025-03-23 12:14:53 +00:00

Unable to use method argument in when guard

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-23 12:12:49 +00:00

e6b002f70e added informative comment

c5ad62aaed Greatly simpliflied tag engine to use stack implementation. Having trouble guarding on interface argument...

Compare 2 commits »

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#3 2025-03-23 11:26:13 +00:00

Tag Engine Notes

Try and add StackPtr type to improve legibility

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#3 2025-03-23 10:52:43 +00:00

Tag Engine Notes

Ask on groups.io how to convert ` (\i -> mkReg

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#3 2025-03-23 10:14:08 +00:00

Tag Engine Notes

After talking a bit to Grok, I realized that what I wanted to actually implement is called a FreeList. So scratch the above comments and we're going to implement a stack based FreeList.

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-20 21:00:18 +00:00

8e27ca877f beginning of a linked list in hardware

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#3 2025-03-20 20:53:35 +00:00

Tag Engine Notes

refactor function into getPtr and getHead

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-20 17:27:05 +00:00

7ad812d3da refactor a bit

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-20 10:29:01 +00:00

5f2d9456ae Tag engine building

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

ac48f5a4ad unable to display fshow for tagVec

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-20 03:09:06 +00:00

6359ab833d tag types and moodularity improving

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-20 02:10:18 +00:00

4422947f9a TageEngine now typechecks

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#1 2025-03-19 18:50:15 +00:00

Add Proper Nix Flake

To halt the simulated system, press CTRL+C

Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#1 2025-03-19 18:49:59 +00:00

Add Proper Nix Flake

Its a simulations of a CPU, it doesn't stop util you halt the system...

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-17 16:31:54 +00:00

a3afd66715 begun work on tag engine

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#3 2025-03-17 16:04:23 +00:00

Tag Engine Notes

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#2 2025-03-17 16:02:23 +00:00

Replace instances of $ operator with `

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-17 13:16:27 +00:00

550b3731b4 still workikng on Bus types

Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-14 23:46:11 +00:00

21a3ee7f7a initial support for Bus types

Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-14 16:40:49 +00:00

39780a1ac2 Add prep_for_llm.sh