index
:
pure
master
Verified execution runtime unifying state, persistence, and replication.
Yeowoo Labs
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
core
/
module.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
Give bools their own type in the module format (v6, 016 stage 1)
eunhhu
2026-09-30
1
-21
/
+43
*
Take a delivery's fields by name, dropping none
eunhhu
2026-09-30
1
-1
/
+17
*
Recast waiting sends by field name when an output's fields change
eunhhu
2026-09-30
1
-0
/
+1
*
Hold a window of each output's sends in its transport, not the outbox
eunhhu
2026-09-30
1
-2
/
+4
*
Count only the states the memory budget counts
eunhhu
2026-09-30
1
-0
/
+3
*
Bound what an app holds (--memory): refuse what would grow past it
eunhhu
2026-09-30
1
-4
/
+25
*
Let links know nothing of the core: the host names inputs and shapes
eunhhu
2026-09-29
1
-0
/
+4
*
Keep the outbox as a list: a save logs only the sends and trims it made
eunhhu
2026-09-29
1
-12
/
+16
*
Keep the numbers heard as a list: a save logs only the ones it changed
eunhhu
2026-09-28
1
-11
/
+21
*
Link two nodes without a connection over UDP (093, design 011's first stage)
eunhhu
2026-09-28
1
-0
/
+3
*
Keep lists as images and a log of their changes, checkpointed off the owner
eunhhu
2026-09-28
1
-2
/
+30
*
Save a list as its items and a journal of its changes since
eunhhu
2026-09-28
1
-1
/
+3
*
Allow 16 records and 128 record fields a module
eunhhu
2026-09-28
1
-1
/
+1
*
Slice a keyed list: fold and walk over a range of keys
eunhhu
2026-09-28
1
-0
/
+5
*
Read only the keys a test allows, and count distinct values
eunhhu
2026-09-28
1
-8
/
+23
*
Give an event locals
eunhhu
2026-09-28
1
-0
/
+8
*
Let a view take arguments
eunhhu
2026-09-28
1
-3
/
+24
*
Walk a list in a handler, and fill a list with a message's rows
eunhhu
2026-09-28
1
-9
/
+20
*
Answer a fold in a column from one pass over its list
eunhhu
2026-09-28
1
-3
/
+21
*
Run folds and filters a leaf of their list at a time
eunhhu
2026-09-28
1
-1
/
+4
*
Let a fold that runs in a column read the column's row
eunhhu
2026-09-28
1
-1
/
+1
*
Find a burst's keys in one look
eunhhu
2026-09-27
1
-0
/
+8
*
Lay Pure out as a core with the parts selected around it
eunhhu
2026-09-27
1
-0
/
+343