Yehowshua
1 follower · 0 following
Repositories
4
 Projects Packages Public activity Starred repositories
Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-17 02:47:56 +00:00
a58c908763 refactored server functions as well
Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-17 02:34:56 +00:00
2fee6a3bd8 refactored client rules
Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-17 02:10:52 +00:00
1557cf9cc9 working towards re-factoring into functions
Yehowshua commented on pull request ReferenceProjects/riscv-bluespec-classic#7 2025-04-16 22:02:34 +00:00
WIP: Add flake

Oops I waited too long and there are now merge conflicts... @Artturin - can you fix?

Yehowshua deleted branch repair_tag_engine from ReferenceProjects/riscv-bluespec-classic 2025-04-16 22:00:53 +00:00
Yehowshua deleted branch tag_engine_version_3 from ReferenceProjects/riscv-bluespec-classic 2025-04-16 22:00:50 +00:00
Yehowshua deleted branch implement_Bus from ReferenceProjects/riscv-bluespec-classic 2025-04-16 22:00:47 +00:00
Yehowshua deleted branch implement_Bus_alt1 from ReferenceProjects/riscv-bluespec-classic 2025-04-16 22:00:45 +00:00
Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-16 22:00:14 +00:00
7d470fbed0 Merge pull request 'implement_Bus_alt1' (#16) from implement_Bus_alt1 into main
ece1f86574 in theory bus is now complete
c28425f10c first attempt at server rule, also implemented consumeRequest of the server part of the Bus interface
a58c836981 worked on client arbiter but need to consider if starving is possible when multiple client arbiters grant access to the same server
f3acae0c1c potential scaffolding for new approach
Compare 24 commits »
Yehowshua merged pull request ReferenceProjects/riscv-bluespec-classic#16 2025-04-16 22:00:14 +00:00
implement_Bus_alt1
Yehowshua created pull request ReferenceProjects/riscv-bluespec-classic#16 2025-04-16 22:00:06 +00:00
implement_Bus_alt1
ece1f86574 in theory bus is now complete
Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#15 2025-04-16 21:25:23 +00:00
Make 64 and 32 Bit bus Variants
Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#14 2025-04-16 21:21:31 +00:00
Refactor bs/Bus.hs
c28425f10c first attempt at server rule, also implemented consumeRequest of the server part of the Bus interface
a58c836981 worked on client arbiter but need to consider if starving is possible when multiple client arbiters grant access to the same server
f3acae0c1c potential scaffolding for new approach
180eeeefbe we may not need dispatch by client
cd3d728083 some prep work to towards having a server accept a request
373d170c3f notable progress WRT client requests invoking arbiter request