Merge pull request #8 from AlgebraicJulia/cleanup

Generalize beyond DPO, change condition for reset ReprP clock
AlgebraicJulia · May 16, 2024 · ab1524b · ab1524b
2 parents 804da09 + b19547c
commit ab1524b
Show file tree

Hide file tree

Showing 7 changed files with 151 additions and 80 deletions.
diff --git a/Project.toml b/Project.toml
@@ -14,8 +14,14 @@ Fleck = "5bb9b785-358c-4fee-af0f-b94a146244a8"
 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
 Reexport = "189a3867-3050-52da-a836-e630ba90ab69"
 SpecialFunctions = "276daf66-3868-5448-9aa4-cd146d93841b"
+StructEquality = "6ec83bb0-ed9f-11e9-3b4c-2b04cb4e219c"
 
 [compat]
 AlgebraicPetri = "0.9"
+AlgebraicRewriting = "0.3"
+Reexport = "1"
+SpecialFunctions = "2"
+DataStructures = "0.18"
+Distributions = "0.25"
 Catlab = "^0.16"
 julia = "1.6"
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -4,6 +4,7 @@ AlgebraicPetri = "4f99eebe-17bf-4e98-b6a1-2c4f205a959b"
 AlgebraicRewriting = "725a01d3-f174-5bbd-84e1-b9417bad95d9"
 CairoMakie = "13f3f980-e62b-5c42-98c6-ff1f3baf88f0"
 Catlab = "134e5e36-593f-5add-ad60-77f754baafbe"
+DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
 Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 Literate = "98b081ad-f1c9-55d3-8b20-4c87d4299306"