Skip to content

Change Log

v0.1.0

This is the first release of Anoma's Spec project, following the semantic-versioning scheme. This version includes all the changes from the creation of this repository. From here on, we will keep a changelog of all the changes that are made to the project per version, with better documentation and descriptions of the changes.

BREAKING CHANGES

BUG FIXES

  • Repository maintenance and CI
    • #4: Fix mike
    • #9: Add batch of fixes
    • #10: Fix Index: quick links and remove empty types pages
    • #18: Fix TODO, add todos.py script, and more formatting issues
    • #19: Remove todos on deploy, fix wikilinks warnings
    • #21: Fix whitespaces
    • #22: Fix indexes generation with macros and optimize caching
    • #24: Fix minors
    • #25: CI fixes
    • #74: Fix broken links in navigation bar and a few pages
    • #77: Fix CI: deploy website by PRs against main, v1, and v2
    • #78: Fix: CI doesnt trigger on edits
    • #91: Fix default views and deploys in the CI
    • #96: Fix navigation bar and more broken links due #60
    • #101: Fix typos and small improve wording
    • #105: Fix warnings messages due to recent refactors
    • #122: Fix support for Juvix Markdown snippets
    • #123: Fix merging conflicts chris-update-basic-types
    • #124: Fix tutorial nav structure and broken links in the footer
    • #132: Fix minor issues with directories and filenames

FEATURES

  • Application documentation
    • #198: Add transparent RM implementation documentation
  • Python-related changes
    • #133: Add support for multi-line wiki-style links
  • Repository maintenance and CI
    • #2: Add better support for WikiLinks and other goodies
    • #3: Update README and run pre-commit
    • #5: Add Ubuntu dependencies to the CI
    • #6: Use site_url for link generation
    • #7: Add new hook for images
    • #8: Add lightboxes to images, fix local image loading
    • #11: Improve link resolution for urls outside nav
    • #14: Add Last updated time to the footer and other fixes
    • #15: Add a more explicit MathJax config
    • #17: Revised macros configuration
    • #20: Refactor hooks
    • #23: Add previews for PRs
    • #27: Fix url indexes and improve PR previews
    • #28: Add tutorial basic instructions
    • #31: Translate Haskell snippets to Juvix and fix typos
    • #51: Configuration Engine
    • #52: Add nix flake
    • #56: Add page on dynamic code loading
    • #58: Homogeneous consensus for V2
    • #59: Readme: tighten up install instructions
    • #61: Updates kudos spec
    • #63: Counter example
    • #68: Add New Engine Specifications from Anoma Elixir Database
    • #75: Add proof-of-stake example
    • #80: Re-introduced full execution machine for V2
    • #81: Add BibTeX entries and fix configuration
    • #84: Add templates for defining engine systems
    • #92: Add global table of contents
    • #95: Continue v2 updates
    • #97: Add git branching strategy
    • #98: Add citation instructions and restructure markdown tutorials
    • #99: Delete previews for closed PRs on gh-pages branch
    • #100: Split CI workflows: deploy, pull-request, clean- ups
    • #103: Additional reorganization & updates
    • #117: Tweaks to message types in basics
    • #120: Refactor tutorial organization and add a few more on conventions
    • #121: Improve look&feel, organized nav, hide extra links and move them to the footer
    • #127: Update basic abstractions
    • #131: Add RMv3 content
    • #135: Show PR number in the site name
    • #209: Add changelog management system
  • Tutorial and documentation
    • #134: Refactor tutorial for wiki-style links
  • Juvix types and updates
    • #128: Add new Juvix definitions from PR-84
    • #130: Translate SML Identity definitions to Juvix
(Wiki) links on this page