Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
27 check-ins
|
2024-12-16
| ||
| 18:55 | cleanup and refactoring of arrays Leaf check-in: a00ad457a3 user: i tags: trunk | |
| 17:18 | remove old experimental buffers/array check-in: bdf013e8be user: i tags: trunk | |
| 17:17 | more buffer refactoring check-in: 2f09b4a4a7 user: i tags: trunk | |
| 17:07 | some refactoring of buffers check-in: 7925c2d356 user: i tags: trunk | |
|
2024-12-13
| ||
| 20:53 | buffer refactoring check-in: 11193f1f18 user: i tags: trunk | |
| 05:21 | basic vernode api description check-in: 97bd499a16 user: i tags: trunk | |
| 05:21 | try check-in: 760c29ce63 user: i tags: trunk | |
| 00:13 | the core of ChaCha, using mutable resources check-in: 7bea656a8f user: i tags: trunk | |
| 00:12 | another array helper check-in: 47cf3ce4b5 user: i tags: trunk | |
|
2024-12-12
| ||
| 23:45 | linear resource array helpers check-in: 5f626fcfff user: i tags: trunk | |
| 21:49 | more resource tracking computation (and array) helpers check-in: 856ddb79bb user: i tags: trunk | |
| 20:04 | Control.Res and Data.Array.Res - computations with multiple linear resources check-in: bcc7922654 user: i tags: trunk | |
| 20:03 | forgotten array and vernode work check-in: 7effcdbe76 user: i tags: trunk | |
|
2024-12-03
| ||
| 04:28 | basic structures for versioned nodes check-in: 9287cba92f user: i tags: trunk | |
|
2024-12-01
| ||
| 05:59 | capped-length buffer slices check-in: f12dd968ce user: i tags: trunk | |
| 05:58 | minor buffer tweaks check-in: 72c7796362 user: i tags: trunk | |
|
2024-11-30
| ||
| 19:36 | rearrange proofs on buffers check-in: 86a8b70313 user: i tags: trunk | |
| 19:04 | buffer slices use LTE instead of LT check-in: 536a92f80d user: i tags: trunk | |
| 14:40 | finite-free buffers thanks to @dysfun@social.treehouse.systems for suggesting unbundling check-in: 4c89c1325b user: i tags: trunk | |
| 13:12 | some more finite things check-in: 1069e2fc33 user: i tags: trunk | |
|
2024-11-29
| ||
| 10:52 | read into buffers check-in: dbc56cba17 user: i tags: trunk | |
| 03:06 | better bytes type using buffers check-in: e8cdb226d2 user: i tags: trunk | |
|
2024-11-28
| ||
| 03:52 | Data.Chunk: some helpers check-in: 7883c4ad5f user: i tags: trunk | |
|
2024-11-27
| ||
| 23:46 | some stuff for known-length arrays and byte strings check-in: dea6b35ef1 user: i tags: trunk | |
| 21:58 | add ipkg check-in: d8bb15bc73 user: i tags: trunk | |
| 21:38 | readme check-in: f3d89cd6f0 user: i tags: trunk | |
| 21:36 | initial empty check-in check-in: cc4490fcfd user: i tags: trunk | |