Tags: AlgebraicJulia/AlgebraicRewriting.jl
Tags
## AlgebraicRewriting v0.3.5 [Diff since v0.3.4](v0.3.4...v0.3.5) **Merged pull requests:** - Simplify PBPO+ rewriting (#69) (@kris-brown) - Updates for equations in schema (#71) (@kris-brown)
## AlgebraicRewriting v0.3.4 [Diff since v0.3.3](v0.3.3...v0.3.4) **Merged pull requests:** - Incremental hom search with constraints (#62) (@kris-brown) - add presentation data to Migration (#64) (@kris-brown) **Closed issues:** - Extend incremental hom search to include monic constraints, application conditions, gluing conditions (#59) - Codom error when using rule with attribute variables (#66)
## AlgebraicRewriting v0.3.3 [Diff since v0.3.2](v0.3.2...v0.3.3) **Merged pull requests:** - update Game of Life literate example (#50) (@kris-brown) - New pushout complement for AttrVars (#54) (@kris-brown) - Fixes for docs (#56) (@kris-brown) - cached filename changes when schema changes (#57) (@kris-brown) - Coerce between IncSum and IncCC incremental hom set data structures (#58) (@kris-brown) **Closed issues:** - Problem finding mk_sched in notebook code for "Agent-based modeling via graph rewriting" blog (#41) - show images in literate doc examples for ABMs (#45) - yoneda_cache file naming robustness to changing data structures (#52) - Pushout complement treatment of attrvars (#53) - Lotka volterra docs: don't conflate countdown and energies (#55)
## AlgebraicRewriting v0.3.2 [Diff since v0.3.1](v0.3.1...v0.3.2) **Merged pull requests:** - Update Incremental hom search to work for patterns with AttrVars (#43) (@kris-brown) - Benchmarking Agents.jl (#47) (@kris-brown) - Increase compatible patch version of DataMigrations.jl (#48) (@aaguinal) - Improve literate docs for LV (#49) (@kris-brown) **Closed issues:** - Rewriting every matching pattern in a graph (#9) - add compatibility with DataMigrations v0.0.3 (#46)
## AlgebraicRewriting v0.3.1 [Diff since v0.3.0](v0.3.0...v0.3.1) **Merged pull requests:** - Make ABMs Fast (#25) (@olynch) - Incremental hom search (#36) (@kris-brown) - refactor documentation (#38) (@aaguinal) - change `devbranch="dev" to "main"` (#39) (@aaguinal) - Add authors section to docs page (#40) (@aaguinal) **Closed issues:** - Refactor documentation (#37)
## AlgebraicRewriting v0.3.0 [Diff since v0.2.1](v0.2.1...v0.3.0) **Merged pull requests:** - Visualize constraints (#28) (@kris-brown) - Partial abstraction / variable substitution+merging (#29) (@kris-brown) - conegation rewriting (#31) (@kris-brown) - Update for GATlab.jl and DataMigrations.jl (#32) (@epatters) - CompatHelper: bump compat for Catlab to 0.16, (keep existing compat) (#35) (@algebraicjuliabot) **Closed issues:** - Conegation rewriting (#18)
## AlgebraicRewriting v0.2.1 [Diff since v0.2.0](v0.2.0...v0.2.1) **Closed issues:** - Rewriting with "universal quantification" in patterns (#12) - Principled way of scheduling rewrites (#14) **Merged pull requests:** - move to organization level github actions (#22) (@mehalter) - Switch to Catlab's VarACSet subobjects (#23) (@kris-brown) - compat catlab 15.3 (#26) (@kris-brown)
## AlgebraicRewriting v0.2.0 [Diff since v0.0.6](v0.0.6...v0.2.0) **Closed issues:** - Dynamically creating a schema from Presentation (#2) **Merged pull requests:** - Change attributes without destroying object (#10) (@kris-brown) - positive application conditions (#11) (@kris-brown) - Graphical scheduling of rewrite rules (#15) (@kris-brown)
## AlgebraicRewriting v0.0.6 **Closed issues:** - Manifest files in repo (#1) - TagBot trigger issue (#6) **Merged pull requests:** - Remove Interact dependency (#3) (@kris-brown) - Compat bound for Requires and CompatHelper action (#4) (@epatters) - notebook for petri to abm (#5) (@kris-brown) - docs cleanup (#7) (@kris-brown) - updates for new catlab version (#8) (@kris-brown)