Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
d35203a
WIP: memory usage
Jun 10, 2026
f44f732
WIP: memory usage
Jun 10, 2026
6cec92e
Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
Jun 11, 2026
343365d
WIP: memory usage
Jun 11, 2026
b3490b4
WIP: memory usage
Jun 11, 2026
b180276
WIP: memory usage
Jun 11, 2026
c439198
WIP: memory usage
Jun 11, 2026
0a126b6
feat(interp): phase-0 memory measurement harness (ctrl#1533)
Jun 11, 2026
9023718
WIP: memory usage
Jun 11, 2026
a44739f
fix(interp): one copy-work definition per primitive; delta-scope fm_f…
Jun 11, 2026
6e61ac9
Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
Jun 11, 2026
7e9bfe4
Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
Jun 11, 2026
a41fccb
WIP: memory usage
Jun 11, 2026
52563e4
WIP: memory usage
Jun 11, 2026
1aa21e5
Merge origin/main into session/neat-ibex-297 (provenance wave-2)
Jun 11, 2026
fe4d4c6
review: explicit collection imports + free-function concat in value_c…
Jun 11, 2026
c8a7a0a
Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
Jun 11, 2026
2ee2025
Merge origin/main (post-#4660) into session/neat-ibex-297
Jun 11, 2026
b8d43e2
model: ctrl#1533 phase-1 follow-up — M-B carrier-cost facts on Primit…
Jun 11, 2026
84cdce9
Merge origin/main (post #4666 squash-merge)
Jun 11, 2026
fd33c63
ctrl#1533 phase 2: swap Value::Map/List host carriers to im-rc HAMT/RRB
Jun 11, 2026
39e67e7
Merge phase2-carrier-swap: ctrl#1533 phase 2 — im-rc HAMT/RRB carrier…
Jun 11, 2026
c834eab
fix at-scale probes: use DSL fold(list, init:, f: fn(){}) syntax
Jun 11, 2026
42961c4
Merge fold-syntax fix for at-scale probes
Jun 11, 2026
22c865e
Merge remote-tracking branch 'origin/main' into session/neat-ibex-297
Jun 11, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
49 changes: 49 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 8 additions & 0 deletions src/v2/stage0/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,14 @@ default = []
text_lookup_work_counter = []

[dependencies]
# Persistent value carriers (ctrl#1533 phase 2). im-rc is the Rc-backed
# (thread-confined, matching the Value Rc-discipline) crate providing BOTH
# carriers v4.std.value_carrier declares: HashMap is a hash array mapped trie
# (map_carrier: ^hash_array_mapped_trie) and Vector is a relaxed radix
# balanced tree (list_carrier: ^relaxed_radix_balanced_tree, O(log n)
# concatenation). rpds was the considered alternative; rejected because its
# Vector has no concatenation, so it cannot realize the declared list carrier.
im-rc = "15.1"
stacker = "0.1"
clap = { version = "4", features = ["derive"] }
lazy_static = "1"
Expand Down
Loading
Loading