Skip to content

Bend 2.0.34

Choose a tag to compare

View all tags
@VictorTaelin VictorTaelin released this 29 Sep 00:55
v2.0.34
7d8a3eb
  • A shared graph is compared once (#1071, PR #1151 by Giulio2002):
    when conversion proves two share cells equal, the second points at the
    first, so a value used twice on each side is compared once, not walked
    as a tree. Two Merkle roots of depth 32 over a symbolic leaf, proven
    equal by {==}, check in 0.07 s (they took 2^32 steps). --verdict's
    kernel does not share yet and runs out of fuel on such a proof.

Install: curl -fsSL https://bend-lang.com/install.sh | sh (or Homebrew: brew install bendlang/bend/bend, or Nix: nix profile install github:bendlang/bend).

sha256:

  • a60c820c0ced758d8ace839507ff6c508a204ce4ef0f45e1089ed7bc73e8c267 bend-2.0.34-darwin-arm64.tar.gz
  • 066d4a07a1871a2946be8f42f926582bfda5f13ff728c234ffe79635bd240650 bend-2.0.34-darwin-x64.tar.gz
  • 416a17d282a9fd05ab9637a238b51d5ca508114d9773c37d1c11cad595440ed1 bend-2.0.34-linux-arm64.tar.gz
  • 78106a97af242429dcc057258eb8d10f69cddebcd5e263022185a52d003e09bf bend-2.0.34-linux-x64.tar.gz
Assets 6
Loading