Yehowshua
1 follower · 0 following
Repositories
4
 Projects Packages Public activity Starred repositories
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
Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#1 2025-03-14 16:31:04 +00:00
Add Proper Nix Flake
Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-03-14 16:30:47 +00:00
66464daf0c Update README.md
Yehowshua renamed repository from main to ReferenceProjects/riscv-bluespec-classic 2025-03-14 16:29:42 +00:00
Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-14 15:55:42 +00:00
966fd30fa2 Merge pull request 'Add flake' (#4) from Artturin/RiscV-Formal:addnix into main
8037eeba19 flake.nix: Remove cross glibc
0960ceb53a rv_tests/hello_world: Rename PREFIX var to CROSS_PREFIX and make it configurable
ac8a2ea238 flake.nix: Comments
56a80fe749 Riscv config
Compare 11 commits »
Yehowshua merged pull request Yehowshua/RiscV-Formal#4 2025-03-14 15:55:41 +00:00
Add flake
Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-13 20:26:08 +00:00
a76d6e24ec correct behavior of R type in execute
Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-13 18:31:43 +00:00
4428f7f196 fixed execution of R type instructions
Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-11 03:00:28 +00:00
7066df0936 Grok mostly wrote execute - will test later...
Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-11 02:26:42 +00:00
69f5cdee6a added needed context and getting ready to implement execute
Yehowshua pushed to main at Yehowshua/RiscV-Formal 2025-03-10 21:46:12 +00:00
b95b2b962a read seemingly complete