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

v0.1.4

What's Changed

• Fixes for issues seen in v0.1.3 by @jonaprieto in #297
• Convert all resource-machine files to .juvix.md for easy translation by @jonaprieto in #278
• Update juvix v0.6.9 by @jonaprieto in #298
• Prelude improvements by @AHartNtkn in #302
• Prose improvements for commitment, decryption, and identity management engines by @AHartNtkn in #307
• Prose improvements for mempool worker, executor, and shard engines by @AHartNtkn in #311
• The Little Anomian by @heindel in #308
• nix flake update by @tg-x in #312
• Revision of all message interfaces but not for networking's engines by @jonaprieto in #313
• Move string comparison to prelude by @AHartNtkn in #328
• Add more fixes for message interfaces for consistency by @jonaprieto in #314
• Update Network subsystems' engine to comply standard by @tg-x in #320
• Add Runnable trait and make ordering engines parametric by @AHartNtkn in #321
• Refactor type definitions to use simplified syntax by @jonaprieto in #329
• Add a few corrections to the Anomian doc by @jonaprieto in #315
• RM type fixes by @vveiln in #331
• Improve layout, documentation structure, navigation and readability with indexes, tags and descriptions by @jonaprieto in #332
• Add missing deletion criterion to delete blobs after the transaction by @heueristik in #334
• some changes, proposed as a result of specs overall review (revamped) by @heindel in #336

New Contributors

• @heueristik made their first contribution in #334

Full Changelog: v0.1.3...v0.1.4

v0.1.3

What's Changed

• Translate the ordering component to the new engine framework by @jonaprieto in #275
• Node architecture: Network Messages by @tg-x in #277
• add hard and soft requirements for pages in the anoma specification by @heindel in #280
• Example engines: minimum template by @tg-x in #284
• Add nspec command tool for easy engine creation by @jonaprieto in #291
• Reorganize template files by @jonaprieto in #292
• fix the description to match the type by @heindel in #290
• Add gas payments + little fixes from the feedback by @vveiln in #286
• Fix: make primitive interface diagrams flow left to right by @heindel in #288
• Fix typos and broken links related to proving system by @jonaprieto in #293
• Bump up Juvix version to 0.6.9 by @jonaprieto in #294
• Add next/prev buttons, shorten footer, change font. by @jonaprieto in #296

Full Changelog: v0.1.2...v0.1.3

v0.1.2

What's Changed

• Bump up version to 0.1.1 by @jonaprieto in #261
• Template fixes: diagrams, nav by @tg-x in #262
• Change Resource Name Typo for TARM by @agureev in #203
• Risc0 RM specs by @Acentelles in #201
• Optimize documentation build process and upgrade dependencies by @jonaprieto in #195
• Fix Template config by @tg-x in #265
• Review Decryption and Commitment Engines by @AHartNtkn in #235
• Review Encryption and Reads For Engines by @AHartNtkn in #236
• Review Identity Management engine by @AHartNtkn in #237
• Review Naming Engine by @AHartNtkn in #239
• Review Verification and Signs For Engines by @AHartNtkn in #240
• Translate Hardware engines to v2. by @AHartNtkn in #263
• Fix typechecking for engines by @jonaprieto in #267
• anoma_config: add identity subsystem by @tg-x in #268
• Restructuring RM specs + other stuff by @vveiln in #213
• fix config gen in identity management by @AHartNtkn in #269
• update mkdocs juvix plugin by @jonaprieto in #271
• Update mkdocs juvix plugin v0.4.9 by @jonaprieto in #272
• Remove old documentation and update table of contents by @heindel in #266
• Replace X Machine by X Component by @jonaprieto in #273
• Update engine writing conventions: update navigation bar by @jonaprieto in #274

New Contributors

• @Acentelles made their first contribution in #201

Full Changelog: v0.1.1...v0.1.2

v0.1.1

v0.1.1

Major revision of the engine definitions, the template, and the ticker engine.

FEATURES

• Repository maintenance and CI
  • #217: Update template engine
    files to be more consistent, use backticks for Juvix terms/types in
    headlines, uncollapsed sections for type constructors arguments in template
    engine files, and auxiliary sections of Juvix code are always collapsed.

FIXES

• Node architecture
  • #219: Revisit [[Commitment Engine]]. Changes to the messages, environment, and behaviour types to conform the recent template changes.
  • #253: Integration PR that
    combines multiple engine-related changes: Engines: Use ByteString in
    crypto types #242, Engines:
    ByteString type definition #255,
    Engines: EngineMsg revision #241,
    EngineID: make EngineName compulsory #256, Engines: Engine type revision #244, EngineMsg: add type param #258, Engines: add GuardEval and ActionExec #260, and Engines: Behaviour template revision #226.
  • #256: Make EngineName
    compulsory in EngineID.
• Repository maintenance and CI
  • #218: Rename EngineMessage type to EngineMsg and mkEngineMessage to mkEngineMsg.
  • #220: Fix the deployment of the latest version by deploying the website if the branch name is main or matches the semver pattern, and add information about the version and the commit hash to the title for reference.
  • #222: Remove SML codebase as
    not used any more and any other reference in the markdown files
  • #225: Fix navigation table for the identity component
  • #227: Update Juvix version in Nix flake due to breaking changes, and
    also the input packages while at it.
  • #250: Update policy on Juvix typechecking. The whole codebase in a
    PR should typecheck before merging
• Tutorial and documentation
  • #257: Refactor the Git strategy: introduce integration PRs for
    better overview of complex changes
• Juvix types and updates
  • #221: Update the prelude to
    incorporate the latest changes in the Stdlib, including the addition of
    applicative and monad traits, and the integration of the containers library.
    This update also includes changes to data type definitions, with the @
    syntax now used for declaration, creation, and matching on records, and other
    removals like : Type for implicit arguments and function-style declarations.
  • #226: Update [[Template Engine|Template]] & [[Ticker Behaviour|Ticker Behaviour]] according to the engine & message type changes. The examples have been improved with better clarity. The documentation now uses headlines instead of collapsible boxes and definition lists instead of tables. A new diagram template has been added that illustrates conditions and effects of actions.
  • #241: EngineMsg-related changes: rename MessageID to EngineMsgID, add getEngineMsgFrom(Timestamped)Trigger, and rename getMessageFrom(Timestamped)Trigger to getMsgFrom(Timestamped)Trigger.
  • #242: Use ByteString in crypto types.
  • #244: Major refactoring of
    engine-related types. The Engine type now includes a cfg field of type
    EngineConfig containing static configuration (engine name and local node
    ID). For consistency, EngineEnvironment has been renamed to EngineEnv. The
    EngineBehaviour type has undergone several changes: the conflict solver has
    been removed (to be replaced by new mechanism in
    #246), precomputation results are
    now passed directly as action arguments, and the action field has been
    replaced with action labels defined by label type.
  • #249: Remove name field in Engine instances due to PR 242
  • #255: Make ByteString String instead of Nat
  • #258: Engine-related changes: add type parameter to parameterized the type of message and rename EngineConfig to EngineCfg
  • #260: Revise engine behaviour type: add GuardEval (Seq) and ActionExec (First & Any), EngineCfg: add getEngineIDFromEngineCfg. Partially addresses #246.

v0.1.0

What's Changed

• Add better support for WikiLinks and other goodies by @jonaprieto in #2
• Update README and run pre-commit by @jonaprieto in #3
• Fix mike by @jonaprieto in #4
• Add Ubuntu dependencies to the CI by @jonaprieto in #5
• Use site_url for link generation by @jonaprieto in #6
• Add new hook for images by @jonaprieto in #7
• Add lightboxes to images, fixes local image loading, and minors. by @jonaprieto in #8
• Add batch of fixes by @jonaprieto in #9
• Fix Index: quick links and remove empty types pages by @jonaprieto in #10
• Improve link resolution for urls outside nav by @jonaprieto in #11
• Add Last updated time to the footer and other fixes (details blocks) by @jonaprieto in #14
• Add a more explicit MathJax config by @jonaprieto in #15
• Revised macros configuration by @jonaprieto in #17
• Fix TODO, add todos.py script, and more formatting issues by @jonaprieto in #18
• Remove todos on deploy, fix wikilinks warnings by @jonaprieto in #19
• Fix whitespaces by @jonaprieto in #21
• Refactor hooks by @jonaprieto in #20
• Fix indexes generation with macros and optimize caching by @jonaprieto in #22
• Add previews for PRs by @jonaprieto in #23
• Fix minors by @jonaprieto in #24
• CI fixes by @jonaprieto in #25
• Test by @jonaprieto in #26
• Fix url indexes and improve PR previews by @jonaprieto in #27
• Add tutorial basic instructions by @jonaprieto in #28
• Remove unused libraries by @jonaprieto in #29
• Remove juvix hook in pro of mkdos Juvix plugin by @jonaprieto in #30
• Translates Haskell snippets to Juvix and fixes some typos by @jonaprieto in #31
• add nix flake by @tg-x in #52
• Configuration Engine by @mariari in #51
• setup: require only python 3.9 by @juped in #53
• readme: tighten up install instructions by @juped in #59
• Delete Compute and Randomness Engines by @agureev in #65
• Updates kudos spec by @degregat in #61
• Fix broken links in navigation bar and a few pages by @jonaprieto in #74
• Remove outdates files from arch1 and fix formatting by @jonaprieto in #69
• Fix CI: deploy website by PRs against main, v1, and v2 by @jonaprieto in #77
• Add New Engine Specifications from Anoma Elixir Database by @agureev in #68
• Counter example by @vveiln in #63
• Fix: CI doesnt trigger on edits by @jonaprieto in #78
• Add BibTeX entries and fix configuration by @jonaprieto in #81
• Fix #89 : fixes default views and deploys in the CI by @jonaprieto in #91
• Fix #83: Add global table of contents by @jonaprieto in #92
• Fix navigation bar and more broken links due #60 by @jonaprieto in #96
• Fix #87 Delete previews for closed PRs on gh-pages branch by @jonaprieto in #99
• Fix #79 Re-introduced (almost) full execution machine for V2 by @isheff in #80
• Add citation instructions and restructure markdown tutorials by @jonaprieto in #98
• Add git branching strategy by @jonaprieto in #97
• Homogeneous consensus for V2 by @isheff in #58
• Add page on dynamic code loading by @cwgoes in #56
• Continue v2 updates by @cwgoes in #95
• Additional reorganization & updates by @cwgoes in #103
• Fix typos and small improve wording by @jonaprieto in #101
• Change KV Storage Deletion Documentation by @agureev in #64
• Fix warnings messages due to recent refactors by @jonaprieto in #105
• Refactor file and folder names: add snake_case convention by @jonaprieto in #115
• Split CI workflows: deploy, pull-request, clean-ups by @jonaprieto in #100
• Refactor tutorial organization and add a few more on conventions by @jonaprieto in #120
• Improve look&feel, organized nav, hide extra links and move them to the footer by @jonaprieto in #121
• Fix support for Juvix Markdown snippets by @jonaprieto in #122
• Fix tutorial nav structure and broken links in the footer by @jonaprieto in #124
• Refactor scope, basic types, and application architecture sections by @cwgoes in #104
• Add a few Juvix defs from pr-84 by @jonaprieto in #128
• Add RMv3 content by @cwgoes in #131
• Translate SML Identity definitions to Juvix. by @AHartNtkn in #130
• Fix minors issues with directories and filenams by @jonaprieto in #132
• Add support for wiki-style links spreading multilines by @jonaprieto in #133
• Update basic abstractions by @cwgoes in #127
• Refactor tutorial for wiki-style links by @jonaprieto in #134
• Show PR number in the site name by @jonaprieto in #135
• add actor model bib entries by @jonaprieto in #147
• Update nix flake by @tg-x in #150
• CI fixes by @tg-x in #166
• Add templates for defining engine systems by @heindel in #84
• Heindel/issue 151 by @heindel in #163
• fix PR site name by @jonaprieto in #167
• Updated transaction flow diagram (made by isheff). by @degregat in #169
• Add Juvix version in the footer of Juvix code blocks by @jonaprieto in #136
• Fix CI issues: JS assets, deprecated Github actions versions, privacy plugin for MkDocs by @jonaprieto in #172
• Stop recreating css file: juvix_codeblock_footer by @jonaprieto in #175
• Refactor message variables to use Anoma.Msg by @AHartNtkn in #178
• Change typing:Maybe for Option and add a few helpers for action inputs by @jonaprieto in #181
• Fix broken links in system_architecture/identity/identity by @jonaprieto in #183
• Clarify action definition by @vveiln in #171
• Add Intent Machine section by @degregat in #191
• Add skeleton for RM impls by @cwgoes in #196
• Add Transparent RM Implementation Page by @agureev in #198
• Template improvements by @tg-x in #193
• Refactor node_architecture to arch/node and system_architecture to arch/system by @jonaprieto in #179
• Define missing types and terms for template and ticker engines by @jonaprieto in #207
• Revisit engine-related entries for consistent terminology by @jonaprieto in #206
• Add pragmas to ignore monad-related terms for the Isabelle translation by @jonaprieto in #182
• Translate Identity engines to the v2 template. by @AHartNtkn in #192
• Fix engine message, environment, and behaviour layout by @jonaprieto in #210
• Versioning nspec package by @jonaprieto in #208
• Add Changelog page. Enforce updates to it for each new PR. by @jonaprieto in #209
• Add template for PR descriptions by @jonaprieto in #214

New Contributors

• @mariari made their first contribution in #51
• @juped made their first contribution in #53
• @agureev made their first contribution in #65
• @degregat made their first contribution in #61
• @isheff made their first contribution in ht...