Skip to content

v0.10.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 10 Jul 22:52
v0.10.0
9f03b38
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

LOGOS v0.10.0 makes largo a fully installable toolchain and adds a native execution tier.

Install

curl -fsSL https://logicaffeine.com/install.sh | sh

Windows: irm https://logicaffeine.com/install.ps1 | iex. Prebuilt for Linux/macOS (x64 + arm64) and Windows x64 in lean and full (Z3-verification) flavors — SHA-256-verified, no toolchain, no sudo.

Highlights

  • EXODIA native execution tier — a register bytecode VM with a copy-and-patch JIT (new logicaffeine-forge/-jit/-synth crates) that tiers hot functions and loops to native code, certified bit-identical to the interpreter.
  • largo is now the whole engine — new repl, logic, prove, sat, fmt, emit, doc, add/remove, clean, and completions verbs, with a cargo-style UX.
  • Socratic language server + marketplace-ready VSCode extension — 20 providers including cross-file navigation, rustc flycheck, and a teaching brain that explains every keyword.
  • Verified arithmetic & strict parsing — proof-producing arithmetic with certificates; whole-input parsing that rejects stranded tokens.
  • Hardware-spec synthesis — bounded-delay SVA (within N cycles → ##[0:N]) and counting-quantifier signal extraction.

Full details in the changelog.

Thanks to @alxstx for contributing to this release.

Contributors

alxstx
Assets 24
Loading