Merge branch 'main' into py/split

penelopeysm · web-flow · commit d274a952d0b7 · 2025-10-04T16:11:05.000+01:00
diff --git a/HISTORY.md b/HISTORY.md
@@ -1,4 +1,4 @@
-## 0.14.0
+## 0.13.1
 
 Moved the functions `varname_leaves` and `varname_and_value_leaves` to AbstractPPL.
 They are now part of the public API of AbstractPPL.
diff --git a/Project.toml b/Project.toml
@@ -3,7 +3,7 @@ uuid = "7a57a42e-76ec-4ea3-a279-07e840d6d9cf"
 keywords = ["probablistic programming"]
 license = "MIT"
 desc = "Common interfaces for probabilistic programming"
-version = "0.14.0"
+version = "0.13.1"
 
 [deps]
 AbstractMCMC = "80f14c24-f653-4e6a-9b94-39d6b0f70001"
diff --git a/test/Project.toml b/test/Project.toml
@@ -17,4 +17,5 @@ Distributions = "0.25"
 Documenter = "0.26.3, 0.27, 1"
 InvertedIndices = "1"
 OffsetArrays = "1"
+OrderedCollections = "1"
 julia = "1"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-## 0.14.0`
	`1`	`+## 0.13.1`
`2`	`2`
`3`	`3`	Moved the functions `varname_leaves` and `varname_and_value_leaves` to AbstractPPL.
`4`	`4`	`They are now part of the public API of AbstractPPL.`