Yehowshua
1 follower · 0 following
Repositories
5
 Projects Packages Public activity Starred repositories
cd3d728083 some prep work to towards having a server accept a request
373d170c3f notable progress WRT client requests invoking arbiter request
Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#9 2025-04-14 02:39:42 +00:00
Dont Put Request And Retire in The Same Rule - Could Deadloc

I should further investigate an example case like the following:
Yehowshua commented on issue ReferenceProjects/riscv-bluespec-classic#11 2025-04-14 02:36:36 +00:00
Architect Bus

I should eventually ask grok to help me clean up the code once I'm done.

Yehowshua opened issue ReferenceProjects/riscv-bluespec-classic#12 2025-04-12 02:38:36 +00:00
Add Callback to Restore Terminal in bdpi/uart_sim_device.c When Interrupted by $finish
98f2f5cdfd having trouble with type constraints around clientIdx
813f543b42 request server from client rule in client issue
628319709e stopping point
45191a2abd WIP : client request should handle unmapped case
cffbadd1cc incomplete but need to come to stopping point
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 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 »