Skip to content

LeaTTa 0.3.1

Choose a tag to compare

View all tags
@MesTTo MesTTo released this 19 Jun 15:29
· 102 commits to metatheory since this release
v0.3.1
f174e4a

LeaTTa 0.3.1 is a fix release. The interpreter's behavior is unchanged: the differential oracle still passes 270/270, the regression suite is green, and the development keeps zero sorry, admit, native_decide, partial, or unsafe.

What changed

  • Documentation and comment accuracy. A three-round contradiction review (every docstring and comment against the code, and the prose against the code) fixed each discrepancy found. This included a real bug in the operational trace recorder (traceRunFuel dropped the initial state and duplicated the successor) and reconciling the minimal-instruction count to thirteen everywhere.
  • Consolidated docs. The reference markdown (proof status, coverage, improvements over Hyperon, sources) now lives in the book's appendix on the docs site; the repository root keeps only README, INSTALL, and CONTRIBUTING.
  • Contributor pipeline. CI now gates pull requests on the build, the no-placeholder invariant, the oracle (270/270), and the regression suite, with PR and issue templates.

Install (Linux x86_64)

tar xzf leatta-0.3.1-linux-x86_64.tar.gz
cd leatta-0.3.1-linux-x86_64 && ./install.sh
LeaTTa --min '!(+ 1 (* 2 (- 10 4)))'   # [13]

macOS and Windows binaries are attached by the release workflow. Docs: https://mestto.github.io/LeaTTa/

Assets 8
Loading