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-batch.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Batch: filters, if !L.has(k) { a line appending } in a batch's block or in a ...
eunhhu
2026-10-06
1
-4
/
+291
*
Batch: a count's loop whose block begins if slot >= L.count { break } (L only...
eunhhu
2026-10-06
1
-16
/
+256
*
Batch: a round of the recurrences one loop of actions laid out once a batch (...
eunhhu
2026-10-06
1
-34
/
+59
*
Batch: reductions' ends in any order where the order cannot tell (the least a...
eunhhu
2026-10-06
1
-1
/
+53
*
Batch: a recurrence's steps each an operation of two numbers a round keeps (a...
eunhhu
2026-10-06
1
-39
/
+60
*
Batch: a batch's appends made at once (pure_list_add_many, a call a chunk of ...
eunhhu
2026-10-06
1
-14
/
+156
*
Batch: a walk (EACH) whose block has batch forms runs a batch of its items at...
eunhhu
2026-10-06
1
-11
/
+28
*
Batch: a sum into a cell, L[k].f = L[k].f + e (k computed twice the same and ...
eunhhu
2026-10-06
1
-12
/
+166
*
Batch executor stage 5 (024): a recurrence (a local a round reads before it s...
eunhhu
2026-10-06
1
-5
/
+159
*
Batch executor stage 4, first part (024): an item of numbers and bools append...
eunhhu
2026-10-06
1
-7
/
+48
*
Batch: numbers' results checked finite as they are made (in integers, in the ...
eunhhu
2026-10-05
1
-39
/
+117
*
Batch executor stage 2 (024): a loop in the batch's block runs its rounds for...
eunhhu
2026-10-05
1
-14
/
+262
*
Batch executor stage 1 (024): a count's loop whose block has batch forms (lan...
eunhhu
2026-10-05
1
-0
/
+985