Yehowshua Immanuel
180eeeefbe
we may not need dispatch by client
2025-04-15 13:50:50 -04:00
Yehowshua Immanuel
cd3d728083
some prep work to towards having a server accept a request
2025-04-14 14:33:13 -04:00
Yehowshua Immanuel
373d170c3f
notable progress WRT client requests invoking arbiter request
2025-04-13 22:40:59 -04:00
Yehowshua Immanuel
98f2f5cdfd
having trouble with type constraints around clientIdx
2025-04-11 20:35:26 -04:00
Yehowshua Immanuel
813f543b42
request server from client rule in client issue
2025-04-11 14:26:40 -04:00
Yehowshua Immanuel
628319709e
stopping point
2025-04-11 12:36:43 -04:00
Yehowshua Immanuel
45191a2abd
WIP : client request should handle unmapped case
2025-04-11 07:54:47 -04:00
Yehowshua Immanuel
cffbadd1cc
incomplete but need to come to stopping point
2025-04-10 21:42:15 -04:00
Yehowshua Immanuel
5efef8b19c
quieter builds, more type uniformity, full compiles
...
- made builds less verbose on Mac by removing `-cpp`
- made type constructors for most instances of `(UInt (TLog n))`
- addressed cases where types built upon `(UInt (TLog n))` may have
a max value of `n`, which necessitates changing the type to
` (UInt (TLog (TAdd 1 n)))`
- compiler wouldn't fully evaluate types unless mkBus was
instantiated
2025-04-10 20:46:53 -04:00
Yehowshua Immanuel
71fbb7d2e5
add bus diagram and further work on Bus
2025-04-10 10:59:52 -04:00
Yehowshua Immanuel
c9356eecfd
client methods presumably finished
2025-04-10 01:27:33 -04:00
Yehowshua Immanuel
979adf3660
preliminary work on client methods and some type repair
2025-04-10 00:36:29 -04:00
Yehowshua Immanuel
ca02c88be3
stubbed out mkBus for now - awaits full implementation
2025-04-09 22:31:26 -04:00
Yehowshua Immanuel
076d3aed43
shoudl probably rethink approach...
2025-04-09 20:58:13 -04:00
Yehowshua Immanuel
b4c7537a85
things still typecheck
2025-04-09 01:08:42 -04:00
Yehowshua Immanuel
989c4e9616
Bus types typecheck!!!
2025-04-08 23:36:54 -04:00
Yehowshua Immanuel
fe2fa21fcc
skeletons of Bus module slowly forming
2025-04-08 23:04:30 -04:00
Yehowshua Immanuel
da761f6e4e
Type system progress on bus design
2025-04-08 13:05:34 -04:00
Yehowshua Immanuel
21a3ee7f7a
initial support for Bus types
2025-03-14 19:46:08 -04:00
Yehowshua Immanuel