morphata 2.0.3__tar.gz → 2.0.5__tar.gz

{morphata-2.0.3 → morphata-2.0.5}/CHANGELOG.md

@@ -1,5 +1,27 @@
 # Changelog
 
+## 2.0.5 — 2026-06-01
+
+### Added
+
+`SymbolicAutomaton` and `Automaton` now support a streaming writer
+for HOA export via `morphata.hoa.symbolic_automaton_to_hoa`
+and `morphata.hoa.automaton_to_hoa`, and is also present in `SymbolicAutomaton.to_hoa`.
+
+This is mostly a performance thing:
+providing a buffered writer to the exporter allows one to stream the HOA format into a
+file, without having to manifest the entire string representation of the automaton,
+which can be cumbersome.
+
+## 2.0.4 — 2026-05-28
+
+### Added
+
+Technically a feature release almost immediately
+after another feature release masquerading as a patch,
+this release adds the ability to translate from a `SymbolicAutomaton` back to an
+`Automaton`, allowing for the `SymbolicAutomaton` to be exported to an HOA file.
+
 ## 2.0.3 — 2026-05-28
 
 ### Added

{morphata-2.0.3 → morphata-2.0.5}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: morphata
-Version: 2.0.3
+Version: 2.0.5
 Summary: Representation theory for automata, made practical.
 Project-URL: Documentation, https://docs.anandb.dev/morphata
 Project-URL: Repository, https://git.anandb.dev/morphata.git
@@ -20,7 +20,7 @@ Requires-Dist: logic-asts>=1.6.2
 Requires-Dist: networkx
 Requires-Dist: numpy
 Requires-Dist: types-networkx
-Requires-Dist: typing-extensions
+Requires-Dist: typing-extensions>=4.14
 Provides-Extra: dot
 Requires-Dist: pydot>=4.0.1; extra == 'dot'
 Provides-Extra: jax

{morphata-2.0.3 → morphata-2.0.5}/ci/make-release

@@ -88,7 +88,7 @@ echo "==> Promoting CHANGELOG Unreleased -> ${NEW_VERSION} (${RELEASE_DATE})"
 sed -i "s/^## Unreleased$/## ${NEW_VERSION} \xe2\x80\x94 ${RELEASE_DATE}/" CHANGELOG.md
 
 # Commit
-COMMIT_MSG="chore(release): ${NEW_VERSION}"
+COMMIT_MSG="chore(release): $(uv version)"
 echo "==> Committing: $COMMIT_MSG"
 
 if is_jj; then
@@ -120,8 +120,8 @@ echo "==> Tagging $TAG"
 if is_jj; then
   jj git import 2>/dev/null || true
 fi
-printf '%s\n\n%s\n' "$TAG_TITLE" "$TAG_BODY" \
-  | git tag -a "$TAG" --cleanup=verbatim -F -
+printf '%s\n\n%s\n' "$TAG_TITLE" "$TAG_BODY" |
+  git tag -a "$TAG" --cleanup=verbatim -F -
 if is_jj; then
   jj git import 2>/dev/null || true
 fi

{morphata-2.0.3 → morphata-2.0.5}/pixi.lock

@@ -5474,7 +5474,7 @@ packages:
   - networkx
   - numpy
   - types-networkx
-  - typing-extensions
+  - typing-extensions>=4.14
   - jax>=0.8 ; extra == 'jax'
   - torch>=2.0 ; extra == 'torch'
   - pydot>=4.0.1 ; extra == 'dot'

{morphata-2.0.3 → morphata-2.0.5}/pixi.toml

@@ -17,7 +17,7 @@ lark = ">=1.3.1"
 networkx = "*"
 numpy = "*"
 types-networkx = "*"
-typing-extensions = "*"
+typing-extensions = ">=4.14"
 
 [pypi-dependencies]
 morphata = { path = ".", editable = true }

{morphata-2.0.3 → morphata-2.0.5}/pyproject.toml

@@ -2,7 +2,7 @@
 name = "morphata"
 authors = [{ name = "Anand Balakrishnan", email = "anandbala1597@gmail.com" }]
 description = "Representation theory for automata, made practical."
-version = "2.0.3"
+version = "2.0.5"
 requires-python = ">=3.12"
 classifiers = [
   "Intended Audience :: Science/Research",
@@ -21,7 +21,7 @@ dependencies = [
   "networkx",
   "numpy",
   "types-networkx",
-  "typing-extensions",
+  "typing-extensions>=4.14",
 ]
 
 [project.optional-dependencies]

{morphata-2.0.3 → morphata-2.0.5}/src/morphata/hoa/__init__.py

@@ -37,7 +37,8 @@ Example extended HOA with finite acceptance::
 
 import morphata.hoa.parser as parser
 from morphata.hoa.exporter import automaton_to_hoa as automaton_to_hoa
+from morphata.hoa.exporter import symbolic_automaton_to_hoa as symbolic_automaton_to_hoa
 from morphata.hoa.parser import ParsedAutomaton as ParsedAutomaton
 from morphata.hoa.parser import parse as parse
 
-__all__ = ["parse", "parser", "ParsedAutomaton", "automaton_to_hoa"]
+__all__ = ["parse", "parser", "ParsedAutomaton", "automaton_to_hoa", "symbolic_automaton_to_hoa"]