Bump up to v0.1.3

jonaprieto · jonaprieto · commit 9d01cc753821 · 2024-12-22T00:36:14.000-05:00
diff --git a/.changelog/unreleased/feature/python/291-python291.md b/.changelog/unreleased/feature/python/291-python291.md
diff --git a/.changelog/unreleased/fix/node/290-node290.md b/.changelog/unreleased/fix/node/290-node290.md
diff --git a/.changelog/unreleased/fixes/tutorial/280-tuto280.md b/.changelog/unreleased/fixes/tutorial/280-tuto280.md
diff --git a/.changelog/unreleased/fixes/tutorial/284-tuto284.md b/.changelog/unreleased/fixes/tutorial/284-tuto284.md
diff --git a/.changelog/v0.1.3/changes/repo/296-repo296.md b/.changelog/v0.1.3/changes/repo/296-repo296.md
@@ -0,0 +1,3 @@
+  -  [**#296**](https://github.com/anoma/nspec/pull/296): Add next/prev buttons,
+     fix footer, change font, add buttons to view/edit source code, and links to
+     the GitHub repository.
diff --git a/.changelog/v0.1.3/changes/types/294-types294.md b/.changelog/v0.1.3/changes/types/294-types294.md
@@ -0,0 +1,2 @@
+  -  [**#294**](https://github.com/anoma/nspec/pull/294): Bump up Juvix version
+     to v0.6.9 , reorder `MailboxID` alias, and update Stdlib to v0.9.0
diff --git a/.changelog/v0.1.3/feature/python/291-python291.md b/.changelog/v0.1.3/feature/python/291-python291.md
@@ -0,0 +1,3 @@
+  -  [**#291**](https://github.com/anoma/nspec/pull/291): Add new command tool
+  `nspec` to create new engines based on the minimal version of the [[Template
+  Engine]] files.
diff --git a/.changelog/v0.1.3/feature/sys/286-sys286.md b/.changelog/v0.1.3/feature/sys/286-sys286.md
diff --git a/.changelog/v0.1.3/feature/tutorial/292-repo292.md b/.changelog/v0.1.3/feature/tutorial/292-repo292.md
@@ -1,2 +1,2 @@
   -  [**#292**](https://github.com/anoma/nspec/pull/292): Move template/template_minimum engines to
-  docs/tutorial/engines folder. Update imports accordingly
+  docs/tutorial/engines folder. Update imports accordingly.
diff --git a/.changelog/v0.1.3/fix/node/290-node290.md b/.changelog/v0.1.3/fix/node/290-node290.md
@@ -0,0 +1,2 @@
+  -  [**#290**](https://github.com/anoma/nspec/pull/290): Fix english
+     description for guards to match the Juvix types in [[Engine Behaviour]].
diff --git a/.changelog/v0.1.3/fix/repo/288-repo288.md b/.changelog/v0.1.3/fix/repo/288-repo288.md
@@ -1 +1 @@
-  -  [**#288**](https://github.com/anoma/nspec/pull/288): Improve primitive interfaces diagrams. Use LR mermaid option
+  -  [**#288**](https://github.com/anoma/nspec/pull/288): Improve primitive interfaces diagrams. Use LR mermaid option.
diff --git a/.changelog/v0.1.3/fix/sys/293-sys293.md b/.changelog/v0.1.3/fix/sys/293-sys293.md
@@ -0,0 +1,3 @@
+  -  [**#293**](https://github.com/anoma/nspec/pull/293): Fix formatting issues,
+     typos, warnings, and broken links related to [[Proving system | Proving
+     system definitions]].
diff --git a/.changelog/v0.1.3/fixes/tutorial/280-tuto280.md b/.changelog/v0.1.3/fixes/tutorial/280-tuto280.md
@@ -0,0 +1,2 @@
+  -  [**#280**](https://github.com/anoma/nspec/pull/280): Guides: Add hard and soft
+     requirements for writing pages in the Anoma Specification.
diff --git a/.changelog/v0.1.3/fixes/tutorial/284-tuto284.md b/.changelog/v0.1.3/fixes/tutorial/284-tuto284.md
@@ -0,0 +1,2 @@
+  -  [**#284**](https://github.com/anoma/nspec/pull/284): Add minimal version of
+     the template (not visible in the website) and related refactors.
diff --git a/.changelog/v0.1.3/summary.md b/.changelog/v0.1.3/summary.md
@@ -0,0 +1,4 @@
+The major change in this release is the gas payment system introduced in
+[#286](https://github.com/anoma/nspec/pull/286), and the description of messages
+in the Networking subsystem introduced in
+[#294](https://github.com/anoma/nspec/pull/277).
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-v0.1.2
+v0.1.3
diff --git a/docs/Package.juvix b/docs/Package.juvix
@@ -6,7 +6,7 @@ import PackageDescription.V2 open;
 package : Package :=
   defaultPackage@{
     name := "nspec";
-    version := mkVersion 0 1 1;
+    version := mkVersion 0 1 3;
     dependencies :=
       [github "anoma" "juvix-stdlib" "v0.9.0"]
   };
diff --git a/docs/changelog.md b/docs/changelog.md
@@ -9,6 +9,74 @@ list_wikilinks: false
 
 # Change Log
 
+## Unreleased
+
+### CHANGES
+
+- [Repository maintenance and CI](.)
+  -  [**#296**](https://github.com/anoma/nspec/pull/296): Add next/prev buttons, fix footer and change font
+- [Juvix types and updates](types)
+  -  [**#294**](https://github.com/anoma/nspec/pull/294): Bump up Juvix version
+    to v0.6.9 , reorder `MailboxID` alias, and update Stdlib to v0.9.0
+
+### FIX
+
+- [System and node architecture](sys)
+  -  [**#293**](https://github.com/anoma/nspec/pull/293): Fix typos and broken links realted to proving system
+
+## v0.1.3
+
+The major change in this release is the gas payment system introduced in
+[#286](https://github.com/anoma/nspec/pull/286), and the description of messages
+in the Networking subsystem introduced in
+[#294](https://github.com/anoma/nspec/pull/277).
+
+### CHANGES
+
+- [Repository maintenance and CI](.)
+  -  [**#296**](https://github.com/anoma/nspec/pull/296): Add next/prev buttons,
+    fix footer, change font, add buttons to view/edit source code, and links to
+    the GitHub repository.
+- [Juvix types and updates](types)
+  -  [**#294**](https://github.com/anoma/nspec/pull/294): Bump up Juvix version
+    to v0.6.9 , reorder `MailboxID` alias, and update Stdlib to v0.9.0
+
+### FEATURE
+
+- [Python-related changes](python)
+  -  [**#291**](https://github.com/anoma/nspec/pull/291): Add new command tool
+    `nspec` to create new engines based on the minimal version of the [[Template
+    Engine]] files.
+- [Repository maintenance and CI](.)
+- [System and node architecture](sys)
+  -  [**#286**](https://github.com/anoma/nspec/pull/286): Incorporated gas
+    payments description. Additionally, made several improvements such as
+    switching to wiki-style links, adding icons, clarifying proof inputs, fixing
+    rendering issues, and various other enhancements.
+- [Tutorial and documentation](tutorial)
+  -  [**#292**](https://github.com/anoma/nspec/pull/292): Move template/template_minimum engines to
+    docs/tutorial/engines folder. Update imports accordingly.
+
+### FIX
+
+- [Node architecture](node)
+  -  [**#290**](https://github.com/anoma/nspec/pull/290): Fix english
+    description for guards to match the Juvix types in [[Engine Behaviour]].
+- [Repository maintenance and CI](.)
+  -  [**#288**](https://github.com/anoma/nspec/pull/288): Improve primitive interfaces diagrams. Use LR mermaid option.
+- [System and node architecture](sys)
+  -  [**#293**](https://github.com/anoma/nspec/pull/293): Fix formatting issues,
+    typos, warnings, and broken links related to [[Proving system | Proving
+    system definitions]].
+
+### FIXES
+
+- [Tutorial and documentation](tutorial)
+  -  [**#280**](https://github.com/anoma/nspec/pull/280): Guides: Add hard and soft
+    requirements for writing pages in the Anoma Specification.
+  -  [**#284**](https://github.com/anoma/nspec/pull/284): Add minimal version of
+    the template (not visible in the website) and related refactors.
+
 ## v0.1.2
 
 Progress on translating the old specification to the new Juvix codebase, fixing
@@ -146,7 +214,7 @@ project per version, with better documentation and descriptions of the changes.
     application architecture sections
   - [**#115**](https://github.com/anoma/nspec/pull/115): Refactor file and folder names: add
     snake_case convention
-- [Specification and design](spec)
+- [General specification changes](spec)
   - [**#192**](https://github.com/anoma/nspec/pull/192): Port identity engines to v2 template
 - [System and node architecture](sys)
   - [**#210**](https://github.com/anoma/nspec/pull/210): Fix engine message, environment and
diff --git a/docs/references/anoma_repos.bib b/docs/references/anoma_repos.bib
@@ -34,13 +34,13 @@ @misc{github-ferveo
   url = {https://github.com/anoma/ferveo}
 }
 
-@misc{github-anoma-archive,
+@misc{github-anoma,
   author = {anoma},
-  title = {anoma-archive},
+  title = {anoma},
   year = {2021},
   publisher = {GitHub},
   journal = {GitHub repository},
-  url = {https://github.com/anoma/anoma-archive}
+  url = {https://github.com/anoma/anoma}
 }
 
 @misc{github-group-threshold-crypto,
diff --git a/docs/references/update_repo_bibtexs.py b/docs/references/update_repo_bibtexs.py
@@ -1,4 +1,4 @@
-import requests
+import requests # type:ignore
 
 
 def get_public_repos(org_name):
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -3,7 +3,7 @@ site_author: !ENV [SITE_AUTHOR, "Anoma Foundation"]
 site_description: !ENV [SITE_DESCRIPTION, "The Anoma Specification is a collection of documents that describe the architecture, design, and implementation of the Anoma Network."]
 site_dir: !ENV [SITE_DIR, site]
 site_url: !ENV [SITE_URL, 'https://specs.anoma.net/']
-site_version: !ENV [SITE_VERSION, "v0.1.1"]
+site_version: !ENV [SITE_VERSION, "v0.1.3"]
 copyright: !ENV [COPYRIGHT, "&copy; 2024 <a href=\"https://anoma.net\">Anoma Foundation</a>"]
 
 repo_url: https://github.com/anoma/nspec
diff --git a/poetry.lock b/poetry.lock
diff --git a/pyproject.toml b/pyproject.toml

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+ - [#296](https://github.com/anoma/nspec/pull/296): Add next/prev buttons,`
	`2`	`+ fix footer, change font, add buttons to view/edit source code, and links to`
	`3`	`+ the GitHub repository.`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+ - [#294](https://github.com/anoma/nspec/pull/294): Bump up Juvix version`
	`2`	+ to v0.6.9 , reorder `MailboxID` alias, and update Stdlib to v0.9.0
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+ - [#291](https://github.com/anoma/nspec/pull/291): Add new command tool`
	`2`	+ `nspec` to create new engines based on the minimal version of the [[Template
	`3`	`+ Engine]] files.`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`- [#292](https://github.com/anoma/nspec/pull/292): Move template/template_minimum engines to`
`2`		`- docs/tutorial/engines folder. Update imports accordingly`
	`2`	`+ docs/tutorial/engines folder. Update imports accordingly.`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+ - [#290](https://github.com/anoma/nspec/pull/290): Fix english`
	`2`	`+ description for guards to match the Juvix types in [[Engine Behaviour]].`