0xeef3a848 relies on unsafe/foreign

0xeef3a8486d410ea6f25709aac90dbf40

histogram.bend: a parallel histogram of U32 keys into K buckets, with no

Anonymous package: import it by hash.

Published: 2026-09-25
Size: 53,508 bytes, 4 files
License: Apache-2.0 (LICENSE)
Declarations: 0 laws (0 proved), 105 defs, 7 types

Import

import 0xeef3a8486d410ea6f25709aac90dbf40/histogram.bend as Histogram
import 0xeef3a8486d410ea6f25709aac90dbf40/scan.bend as Scan
import 0xeef3a8486d410ea6f25709aac90dbf40/sort.bend as Sort

Modules

histogram.bend 36 declarations — histogram.bend: a parallel histogram of U32 keys into K buckets, with no
scan.bend 26 declarations — scan.bend: parallel prefix sums over an Array<U32>, in place.
sort.bend 57 declarations — sort.bend: a parallel stable counting sort by U32 key, with no atomics,

Other files

LICENSE 11,381 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
histogram.bend	relies on unsafe/foreign	22 defs rely on unsafe or foreign code defs: `0xeef3a8486d410ea6f25709aac90dbf40/scan.two.join`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.two.rejoin`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.sums`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.puts`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run.mid`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pre`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run0.sums`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run0`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run1.sums`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pick`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.exclusive`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.inclusive`, `two.join`, `two.rejoin`, `rows`, `grp`, `cols`, `count.cols`, `count.grp`, `count.at`, `count` output SOME PROOFS FAIL Error: 22 defs rely on unsafe or foreign code: - 0xeef3a8486d410ea6f25709aac90dbf40/scan.two.join - 0xeef3a8486d410ea6f25709aac90dbf40/scan.two.rejoin - 0xeef3a8486d410ea6f25709aac90dbf40/scan.sums - 0xeef3a8486d410ea6f25709aac90dbf40/scan.puts - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run.mid - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pre - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run0.sums - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run0 - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run1.sums - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pick - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run - 0xeef3a8486d410ea6f25709aac90dbf40/scan.exclusive - 0xeef3a8486d410ea6f25709aac90dbf40/scan.inclusive - two.join - two.rejoin - rows - grp - cols - count.cols - count.grp - count.at - count	1.0 s
scan.bend	relies on unsafe/foreign	13 defs rely on unsafe or foreign code defs: `two.join`, `two.rejoin`, `sums`, `puts`, `run.mid`, `run.pre`, `run0.sums`, `run0`, `run1.sums`, `run.pick`, `run`, `exclusive`, `inclusive` output SOME PROOFS FAIL Error: 13 defs rely on unsafe or foreign code: - two.join - two.rejoin - sums - puts - run.mid - run.pre - run0.sums - run0 - run1.sums - run.pick - run - exclusive - inclusive	0.8 s
sort.bend	relies on unsafe/foreign	41 defs rely on unsafe or foreign code defs: `0xeef3a8486d410ea6f25709aac90dbf40/scan.two.join`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.two.rejoin`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.sums`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.puts`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run.mid`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pre`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run0.sums`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run0`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run1.sums`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pick`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.run`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.exclusive`, `0xeef3a8486d410ea6f25709aac90dbf40/scan.inclusive`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.two.join`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.two.rejoin`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.rows`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.grp`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.cols`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.count.cols`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.count.grp`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.count.at`, `0xeef3a8486d410ea6f25709aac90dbf40/histogram.count`, `three.join`, `three.rejoin`, `sums`, `bases`, `fwds`, `puts`, `run.puts`, `run.bases`, `run.scan`, `run.tots`, `run.sums`, `run`, `moved.join`, `moved.rejoin`, `gats`, `gather.run`, `gather.at`, `by_key`, `gather` output SOME PROOFS FAIL Error: 41 defs rely on unsafe or foreign code: - 0xeef3a8486d410ea6f25709aac90dbf40/scan.two.join - 0xeef3a8486d410ea6f25709aac90dbf40/scan.two.rejoin - 0xeef3a8486d410ea6f25709aac90dbf40/scan.sums - 0xeef3a8486d410ea6f25709aac90dbf40/scan.puts - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run.mid - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pre - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run0.sums - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run0 - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run1.sums - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run.pick - 0xeef3a8486d410ea6f25709aac90dbf40/scan.run - 0xeef3a8486d410ea6f25709aac90dbf40/scan.exclusive - 0xeef3a8486d410ea6f25709aac90dbf40/scan.inclusive - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.two.join - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.two.rejoin - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.rows - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.grp - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.cols - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.count.cols - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.count.grp - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.count.at - 0xeef3a8486d410ea6f25709aac90dbf40/histogram.count - three.join - three.rejoin - sums - bases - fwds - puts - run.puts - run.bases - run.scan - run.tots - run.sums - run - moved.join - moved.rejoin - gats - gather.run - gather.at - by_key - gather	1.0 s