v1.0.1

The whole Halis toolchain for v1.0.1 — stable (latest), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

The recommended way on: one command, no compiler, no make — the installer picks this archive for your platform, checks it against SHA256SUMS, and places the toolchain:

curl -fsSL https://raw.githubusercontent.com/mhieuhonda/halis-lang/main/install.sh | sh

(Windows: run it from an MSYS2 / Git Bash shell — see installation.md.)

Assets — every archive carries the complete SDK:

File	Platform
halis-v1.0.1-linux-x86_64.tar.gz	Linux x86_64 (static — any distro, glibc or musl)
halis-v1.0.1-linux-aarch64.tar.gz	Linux aarch64 (static — any distro, glibc or musl)
halis-v1.0.1-macos-x86_64.tar.gz	macOS x86_64 (Intel, macOS 11+)
halis-v1.0.1-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon, macOS 11+)
halis-v1.0.1-windows-x86_64.zip	Windows x86_64 (MSYS2 / Git Bash)
halis-v1.0.1-windows-aarch64.zip	Windows aarch64 (MSYS2 CLANGARM64)
SHA256SUMS	checksums for all of the above

Each archive holds bin/hlc and bin/hlfmt (the compiler and the formatter), std/ and core/ (the standard library and the freestanding runtime, as source — the form the compiler reads), examples/hello.hls, LICENSE, README.md and a VERSION record. Linux binaries are statically linked; macOS binaries target 11.0+.

Verify after a manual download:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) before packaging; hlfmt was built by that very compiler and proved byte-identical over examples/hello.hls. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v1.0.0...v1.0.1

v1.0.0

Native hlc compiler binaries for v1.0.0 — stable (latest), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v1.0.0-linux-x86_64.tar.gz	Linux x86_64
halis-v1.0.0-linux-aarch64.tar.gz	Linux aarch64
halis-v1.0.0-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v1.0.0-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v1.0.0-windows-x86_64.zip	Windows x86_64
halis-v1.0.0-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v1.0.0-rc.4...v1.0.0

v1.0.0-rc.4

Native hlc compiler binaries for v1.0.0-rc.4 — pre-release (-rc.4), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v1.0.0-rc.4-linux-x86_64.tar.gz	Linux x86_64
halis-v1.0.0-rc.4-linux-aarch64.tar.gz	Linux aarch64
halis-v1.0.0-rc.4-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v1.0.0-rc.4-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v1.0.0-rc.4-windows-x86_64.zip	Windows x86_64
halis-v1.0.0-rc.4-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v1.0.0-rc.3...v1.0.0-rc.4

v1.0.0-rc.3

Native hlc compiler binaries for v1.0.0-rc.3 — pre-release (-rc.3), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v1.0.0-rc.3-linux-x86_64.tar.gz	Linux x86_64
halis-v1.0.0-rc.3-linux-aarch64.tar.gz	Linux aarch64
halis-v1.0.0-rc.3-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v1.0.0-rc.3-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v1.0.0-rc.3-windows-x86_64.zip	Windows x86_64
halis-v1.0.0-rc.3-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v1.0.0-rc.2...v1.0.0-rc.3

v1.0.0-rc.2

Native hlc compiler binaries for v1.0.0-rc.2 — pre-release (-rc.2), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v1.0.0-rc.2-linux-x86_64.tar.gz	Linux x86_64
halis-v1.0.0-rc.2-linux-aarch64.tar.gz	Linux aarch64
halis-v1.0.0-rc.2-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v1.0.0-rc.2-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v1.0.0-rc.2-windows-x86_64.zip	Windows x86_64
halis-v1.0.0-rc.2-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v1.0.0-rc.1...v1.0.0-rc.2

v1.0.0-rc.1

Native hlc compiler binaries for v1.0.0-rc.1 — pre-release (-rc.1), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v1.0.0-rc.1-linux-x86_64.tar.gz	Linux x86_64
halis-v1.0.0-rc.1-linux-aarch64.tar.gz	Linux aarch64
halis-v1.0.0-rc.1-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v1.0.0-rc.1-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v1.0.0-rc.1-windows-x86_64.zip	Windows x86_64
halis-v1.0.0-rc.1-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v0.165.0-alpha...v1.0.0-rc.1

v0.165.0-alpha

Native hlc compiler binaries for v0.165.0-alpha — pre-release (-alpha), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v0.165.0-alpha-linux-x86_64.tar.gz	Linux x86_64
halis-v0.165.0-alpha-linux-aarch64.tar.gz	Linux aarch64
halis-v0.165.0-alpha-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v0.165.0-alpha-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v0.165.0-alpha-windows-x86_64.zip	Windows x86_64
halis-v0.165.0-alpha-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v0.164.0-alpha...v0.165.0-alpha

v0.164.0-alpha

Native hlc compiler binaries for v0.164.0-alpha — pre-release (-alpha), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v0.164.0-alpha-linux-x86_64.tar.gz	Linux x86_64
halis-v0.164.0-alpha-linux-aarch64.tar.gz	Linux aarch64
halis-v0.164.0-alpha-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v0.164.0-alpha-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v0.164.0-alpha-windows-x86_64.zip	Windows x86_64
halis-v0.164.0-alpha-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v0.163.0-alpha...v0.164.0-alpha

v0.163.0-alpha

Native hlc compiler binaries for v0.163.0-alpha — pre-release (-alpha), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v0.163.0-alpha-linux-x86_64.tar.gz	Linux x86_64
halis-v0.163.0-alpha-linux-aarch64.tar.gz	Linux aarch64
halis-v0.163.0-alpha-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v0.163.0-alpha-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v0.163.0-alpha-windows-x86_64.zip	Windows x86_64
halis-v0.163.0-alpha-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v0.162.0-alpha...v0.163.0-alpha

v0.162.0-alpha

Native hlc compiler binaries for v0.162.0-alpha — pre-release (-alpha), built by the pure-HLS bootstrap (the committed C snapshot) on GitHub-hosted runners.

Assets — each archive contains hlc, LICENSE and README.md:

File	Platform
halis-v0.162.0-alpha-linux-x86_64.tar.gz	Linux x86_64
halis-v0.162.0-alpha-linux-aarch64.tar.gz	Linux aarch64
halis-v0.162.0-alpha-macos-x86_64.tar.gz	macOS x86_64 (Intel)
halis-v0.162.0-alpha-macos-aarch64.tar.gz	macOS aarch64 (Apple silicon)
halis-v0.162.0-alpha-windows-x86_64.zip	Windows x86_64
halis-v0.162.0-alpha-windows-aarch64.zip	Windows aarch64
SHA256SUMS	checksums for all of the above

Verify after downloading:

sha256sum --check SHA256SUMS

Bootstrap guarantee: every binary re-compiled src/hlc.hls to the byte-identical hlc.c the committed snapshot carries (the make bootstrap determinism gate, guarded since Stage 143 by the self-hosted snapshot kit) and was smoke-tested on examples/hello.hls before packaging. Built without libcurl — net_tls_get panics with a clear message; all other net builtins work.

Full Changelog: v0.161.0-alpha...v0.162.0-alpha