Skip to content

Changelog

All notable changes to the Equis programming language will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[0.1.0] - 2026-03-27

Added

  • Self-hosted compiler written in Equis.
  • REA (Resource-Event-Agent) model primitives embedded in the core language.
  • Static and runtime duality verification for economic transactions.
  • Role-Based Access Control (RBAC) enforced at compile-time and runtime.
  • High-precision 64-bit fixed-point arithmetic for financial determinism.
  • Automatic Reference Counting (ARC) with deterministic Arena memory model.
  • LLVM backend for native-speed execution.
  • Bit-identical bootstrap pipeline verified (Stage 3 ≡ Stage 4).
  • Formal trust verification via Diverse Double-Compilation (DDC).
  • Built-in Language Server Protocol (LSP) support.
  • Standard Library with 20 starting modules including networking and ledger compliance.
  • Production-ready Windows and stable macOS support.

Security

  • Blocked unsafe system calls (system, execv, popen, fork) at the analyzer level.
  • Mandatory digital signature (sig) for event execution.
  • Role isolation for economic events.