Skip to content

Tags: AlgebraicJulia/AlgebraicRewriting.jl

Tags

v0.3.5

Toggle v0.3.5's commit message
## 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)

v0.3.4

Toggle v0.3.4's commit message
## 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)

v0.3.3

Toggle v0.3.3's commit message
## 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)

v0.3.2

Toggle v0.3.2's commit message
## 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)

v0.3.1

Toggle v0.3.1's commit message
## 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)

v0.3.0

Toggle v0.3.0's commit message
## 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)

v0.2.1

Toggle v0.2.1's commit message
## 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)

v0.2.0

Toggle v0.2.0's commit message
## 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)

v0.0.6

Toggle v0.0.6's commit message
## 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)