Yehowshua
1 follower · 0 following
Repositories
4
 Projects Packages Public activity Starred repositories
5efef8b19c quieter builds, more type uniformity, full compiles
548a2f26bd don't commit bkp files
71fbb7d2e5 add bus diagram and further work on Bus
Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#11 2025-04-10 14:55:53 +00:00
Architect Bus
c9356eecfd client methods presumably finished
Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#8 2025-04-10 04:52:11 +00:00
Add Unit Tests

Current good sim output for TagEngine is:

$cat sim4
Bluesim simulation ...
./mkSim_b_sim
tagUsage: <V False False False False False  >
                  20 got tag : 4
               …
979adf3660 preliminary work on client methods and some type repair
Yehowshua created branch implement_Bus_alt1 in ReferenceProjects/riscv-bluespec-classic 2025-04-10 02:31:33 +00:00
ca02c88be3 stubbed out mkBus for now - awaits full implementation
Yehowshua created branch implement_Bus in ReferenceProjects/riscv-bluespec-classic 2025-04-10 00:59:27 +00:00
Yehowshua pushed to implement_Bus at ReferenceProjects/riscv-bluespec-classic 2025-04-10 00:59:27 +00:00
076d3aed43 shoudl probably rethink approach...
b4c7537a85 things still typecheck
989c4e9616 Bus types typecheck!!!
fe2fa21fcc skeletons of Bus module slowly forming
da761f6e4e Type system progress on bus design
Compare 5 commits »
Yehowshua deleted branch implement_Bus from ReferenceProjects/riscv-bluespec-classic 2025-04-10 00:59:21 +00:00
Yehowshua created branch implement_Bus in ReferenceProjects/riscv-bluespec-classic 2025-04-09 23:04:00 +00:00
Yehowshua pushed to implement_Bus at ReferenceProjects/riscv-bluespec-classic 2025-04-09 23:04:00 +00:00
f6d44f1277 step by step - building the rule
b4c7537a85 things still typecheck
989c4e9616 Bus types typecheck!!!
fe2fa21fcc skeletons of Bus module slowly forming
da761f6e4e Type system progress on bus design
Compare 5 commits »
Yehowshua deleted branch implement_Bus from ReferenceProjects/riscv-bluespec-classic 2025-04-09 23:03:09 +00:00
Yehowshua pushed to implement_Bus at ReferenceProjects/riscv-bluespec-classic 2025-04-09 20:30:00 +00:00
9332675e48 step by step - building the rule
Yehowshua pushed to implement_Bus at ReferenceProjects/riscv-bluespec-classic 2025-04-09 05:08:47 +00:00
b4c7537a85 things still typecheck
Yehowshua pushed to implement_Bus at ReferenceProjects/riscv-bluespec-classic 2025-04-09 03:37:16 +00:00
989c4e9616 Bus types typecheck!!!
Yehowshua pushed to implement_Bus at ReferenceProjects/riscv-bluespec-classic 2025-04-09 03:11:37 +00:00
fe2fa21fcc skeletons of Bus module slowly forming
Yehowshua pushed to main at ReferenceProjects/riscv-bluespec-classic 2025-04-08 23:36:10 +00:00
b326ac894e Add LICENSE