Skip to content

CHANGELOG.adoc

Latest commit

 

History

History
37 lines (29 loc) · 1.48 KB

CHANGELOG.adoc

File metadata and controls

37 lines (29 loc) · 1.48 KB

Changelog

Table of Contents

All notable changes to atsiser will be documented in this file.

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

[0.2.0] - 2026-03-21

Phase 1 Complete — RSR Compliance Sweep

Added

  • Bespoke Idris2 ABI types for ATS2 linear type system: ViewType, DataViewType, ProofObligation

  • Zig FFI stubs with C header analysis and ATS2 wrapper generation symbols

  • CLI scaffold with subcommands (init, validate, generate, build, run, info)

  • Manifest parser for atsiser.toml

  • Codegen engine stubs for ATS2 viewtype annotation and proof generation

  • Full RSR template (17 CI workflows, governance, bot directives)

  • Bespoke documentation: README.adoc, ROADMAP.adoc, CONTRIBUTING.adoc

  • RSR compliance sweep: STATE.a2ml updated, contractiles made bespoke, Intendfile added

  • CHANGELOG converted from Markdown to AsciiDoc

[0.1.0] - 2026-03-20

Initial Scaffold

Added

  • Initial project scaffold from rsr-template-repo

  • CLI with subcommands (init, validate, generate, build, run, info)

  • Manifest parser (atsiser.toml)

  • Codegen engine (stubs — target-language-specific implementation pending)

  • ABI module (Idris2 proof type definitions)

  • Library API for programmatic use

  • Full RSR template (17 CI workflows, governance docs, bot directives)

  • README.adoc with architecture overview and value proposition