v0.2.0

v0.2.0

This release introduces significant new features and improvements to the Anoma specification, including protocol adapter integration, engine simulation capabilities, and major updates to the Resource Machine specifications. Key highlights include:

• Added comprehensive protocol adapter integration documentation
• Introduced interactive engine simulator with message passing support
• Updated Resource Machine specifications (post-HHH edition)
• Reorganized documentation structure and navigation
• Updated to Juvix stdlib v0.11.0
• Various CI/CD improvements and tooling updates

Features

• System architecture
  • #356: Add protocol adapter integration pages
  • #359: Update RM specs (post-HHH edition)
  • #369: Rename resourceLogicProofs to logicVerifierInputs
• Node architecture
  • #347: Implement interactive engine simulator with message passing support
  • #355: Add engine simulator with message passing and pretty printing
• Repository maintenance and CI
  • #358: Deploy pages to another repo
  • #367: Remove redundant deployment
  • #374: EVM-PA: use permalinks and small improvements

Fixes

• Repository maintenance and CI
  • #343: Fix mkdocs nav
  • #351: Fix/update github actions
  • #363: Enforce pre-commit checks and remove auto-fix
  • #364: Remove pull request template
• Tutorial and documentation
  • #381: Reorganize navigation in mkdocs.yml

Changes

• Juvix types and updates
  • #361: Bump to stdlib 0.11.0 and name convention used for user-defined data types
• Repository maintenance and CI
  • #365: Update project configuration and tooling