Skip to content

Releases: AlgebraicJulia/AlgebraicRewriting.jl

v0.3.4

02 Jun 00:53
Compare
Choose a tag to compare

AlgebraicRewriting v0.3.4

Diff since v0.3.3

Merged pull requests:

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

12 May 10:40
Compare
Choose a tag to compare

AlgebraicRewriting v0.3.3

Diff since v0.3.2

Merged pull requests:

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

28 Feb 01:59
Compare
Choose a tag to compare

AlgebraicRewriting v0.3.2

Diff since v0.3.1

Merged pull requests:

Closed issues:

  • Rewriting every matching pattern in a graph (#9)
  • add compatibility with DataMigrations v0.0.3 (#46)

v0.3.1

08 Feb 20:07
Compare
Choose a tag to compare

AlgebraicRewriting v0.3.1

Diff since v0.3.0

Merged pull requests:

Closed issues:

  • Refactor documentation (#37)

v0.3.0

04 Jan 01:36
fc2269a
Compare
Choose a tag to compare

AlgebraicRewriting v0.3.0

Diff since v0.2.1

Merged pull requests:

Closed issues:

  • Conegation rewriting (#18)

v0.2.1

08 Aug 21:02
83971af
Compare
Choose a tag to compare

AlgebraicRewriting v0.2.1

Diff since v0.2.0

Closed issues:

  • Rewriting with "universal quantification" in patterns (#12)
  • Principled way of scheduling rewrites (#14)

Merged pull requests:

v0.2.0

21 Jun 16:43
f4d90ca
Compare
Choose a tag to compare

AlgebraicRewriting v0.2.0

Diff since v0.0.6

Closed issues:

  • Dynamically creating a schema from Presentation (#2)

Merged pull requests:

v0.0.6

10 Oct 18:41
9ce8984
Compare
Choose a tag to compare

AlgebraicRewriting v0.0.6

Closed issues:

  • Manifest files in repo (#1)
  • TagBot trigger issue (#6)

Merged pull requests: