v0.1.3

GATlab v0.1.3

Diff since v0.1.2

Merged pull requests:

• Use getvalue from AlgebraicInterfaces (#153) (@kris-brown)

v0.1.2

GATlab v0.1.2

Diff since v0.1.1

Merged pull requests:

• Link to paper in README (#150) (@epatters)
• Reduce code coverage target to 90% (#151) (@epatters)
• Import equations from AlgebraicInterfaces and bump version (#152) (@kris-brown)

v0.1.1

GATlab v0.1.1

Diff since v0.1.0

Merged pull requests:

• Egraphs are back (#125) (@olynch)
• Fix precompilation warning about unordered dicts (#134) (@kris-brown)
• @gatdoc macro defines the theory constant as well as bare-minimum docs (#141) (@quffaro)
• added docstrings to theories in the stdlib (#143) (@quffaro)

Closed issues:

• Deprecation warnings during precompilation (#124)
• AlgTerms should be polymorphic in the type of variables (#137)
• Dot access with symbols instead of idents (#138)
• Docstrings for GAT modules (#139)
• At docstrings for existing theories (#142)
• No Squash and Merge on this Repo (#145)

v0.1.0

GATlab v0.1.0

Diff since v0.0.8

Merged pull requests:

• fix make_alias_definitions for catlab compatibility (#133) (@kris-brown)

v0.0.8

GATlab v0.0.8

Diff since v0.0.7

Merged pull requests:

• Create theorymap-level model migrator (#118) (@kris-brown)
• Docs pulled from Catlab (#121) (@olynch)
• Sugar for structs in GATs, example of categories with pushouts (#123) (@kris-brown)
• Trivial docs edits and rename @migrate (#126) (@KevinArlin)
• Remove Catlab dependency (#132) (@KevinArlin)

v0.0.7

GATlab v0.0.7

Diff since v0.0.6

Merged pull requests:

• fixed docs (#119) (@olynch)
• Meta module inside symbolic model module (#120) (@olynch)

v0.0.6

GATlab v0.0.6

Diff since v0.0.5

Merged pull requests:

• pull generators from AlgebraicInterfaces (#117) (@olynch)

v0.0.5

GATlab v0.0.5

Diff since v0.0.4

Merged pull requests:

• Fixes for Catlab compat (#116) (@olynch)

v0.0.4

GATlab v0.0.4

Diff since v0.0.3

Merged pull requests:

• infer axiom type + improved normalize_decl (#113) (@kris-brown)
• hotfix: coerce to AlgTerm (#114) (@kris-brown)
• Refactor scopes (#115) (@kris-brown)

v0.0.3

GATlab v0.0.3

Diff since v0.0.2

Merged pull requests:

• opposite category model in stdlib (#102) (@kris-brown)
• Pass model via Base.getindex (#106) (@olynch)
• add import statements to @theory declaration (#107) (@kris-brown)
• Theory maps send type constructors to general types in a context (#108) (@kris-brown)
• Aliases at the scope level (#109) (@olynch)
• TypeCtx as generalization of TypeScope, better @theorymap parsing (#110) (@kris-brown)
• Model Migration (#112) (@kris-brown)

Closed issues:

• LaTeX output for pretty printing (#44)
• Feature parity with GATs in Catlab (#57)
• Theory Macro should accept docstrings (#82)
• Associativity for GATExprs (#88)
• Theories should not be sensitive to ordering of @op blocks (#96)
• Nullary operations in default instances (#98)
• Support for Opposite Categories (#101)
• ability for model methods to extend other methods (#105)