Catlab.jl Versions Save

Catlab v0.15.5

Diff since v0.15.4

Merged pull requests:

• More GATs related to (op)indexed monoidal categories (#836) (@epatters)
• Infer LooseACSetTransformation when a Julia function is passed as a component (#839) (@kris-brown)

Catlab v0.15.4

Diff since v0.15.3

Merged pull requests:

• Subobject classifier + Internal hom for C-Sets (#786) (@kris-brown)
• Fix abstract_attributes function (#835) (@kris-brown)

Catlab v0.15.3

Diff since v0.15.2

Merged pull requests:

• Forward compatibility for mark-as-deleted acsets (#833) (@epatters)

Catlab v0.15.2

Diff since v0.15.1

Closed issues:

• Overlap Maps is not an iterator (#819)
• The Chase with domain attributes (#825)

Merged pull requests:

• Category of elements for general C-sets (#818) (@kris-brown)
• Benchmark two different implementations of making a path graph (#820) (@epatters)
• Enumerating partial overlaps as an iterator (#821) (@kris-brown)
• Make neighbors for graphs faster by returning an iterator (#824) (@epatters)
• Better support for attributes in sigma migrations (#829) (@KevinArlin)
• Upgrade GitHub checkout action to v3 (#832) (@epatters)

Catlab v0.15.1

Diff since v0.15.0

Closed issues:

• Inconsistency between composition operations (#805)

Merged pull requests:

• Migrate from master branch to main branch (#807) (@mehalter)
• Subobject with attribute variables (#808) (@kris-brown)
• BUILD: fix BenchmarkCI assumption that origin/master exists (#810) (@mehalter)
• BUILD: actually fix review checklist (#812) (@mehalter)
• Fixed typos: colimts -> colimits (#815) (@bartvpelt)
• Fix omitted case in leftmost_arg (#816) (@KevinArlin)
• More support for subacsets with variables (#817) (@kris-brown)

Catlab v0.15.0

Diff since v0.14.17

Closed issues:

• Better error message when unnatural homomorphisms get used (#623)
• JSON serialization for ACSets should include the IDs of the parts (#695)
• Remove acset transformation type parameters kept for backward compatibility (#755)
• Migrate to Julia v1.9 (#770)
• Migrate acsets core to new standalone package (#771)
• Consistent API for functorality and naturality testing (#773)
• Bug in oapply for multispans (#797)

Merged pull requests:

• Include part ID in JSON acset serialization (#712) (@aaguinal)
• Variables in ACSets (#740) (@kris-brown)
• New macro @acset_transformation (#765) (@KevinArlin)
• Use native package extensions in Julia 1.9 (#775) (@mehalter)
• Maximum common sub-C-set (#777) (@mehalter)
• Use AlgebraicJuliaBot to tag releases (#780) (@mehalter)
• Fix implicit conversion for union types with AttrVar (#783) (@mehalter)
• Add check if review checklist has already been commented (#784) (@mehalter)
• delete_subobj! bug fix (#785) (@kris-brown)
• Serialize acset schemas as JSON via Schema rather than Presentation (#787) (@epatters)
• Breaking change to data migration API (#792) (@KevinArlin)
• Use new package ACSets.jl for acsets implementation (#794) (@epatters)
• Remove acset transformation type parameters kept for backward compatibility (#795) (@epatters)
• Upgrade to ACSets.jl v0.2 (#796) (@epatters)
• Fix bug with uninitialized data in oapply for multispans (#798) (@epatters)
• Clean up API for functorality and naturality testing (#799) (@epatters)
• Encapsulate GAT machinery in submodule (#800) (@epatters)
• Reexport all top-level modules (#801) (@epatters)

Catlab v0.14.17

Diff since v0.14.16

Closed issues:

• Rendering a Theory/Presentation (#134)
• @acset macro not interacting well with unique_indexed (#502)
• Visualize diagrams using Graphviz (#559)
• Improved error message on finfunctor failure (#598)
• connected_component_projection_bfs error (#634)
• (Co)limits with loose acset transformations with fixed type components (#680)
• Bugfix for code on page 7 of acsets paper (#727)
• Unexpected error message when adding parts (#728)
• Error in bfs_tree: T not defined (#738)
• FinFunction does not constrain assignments to be in codomain (#751)

Merged pull requests:

• Colimits of dynamic acsets (#753) (@kris-brown)
• Clean up 32-bit support in tests (#756) (@epatters)
• Update ASKEM integration (#757) (@mehalter)
• Check that function data is compatible with codomains (#759) (@KevinArlin)
• Added type annotations to acset part mutators (#760) (@KevinArlin)
• Improve finite functor error messages (#762) (@KevinArlin)
• Cascading delete in acsets (#768) (@kris-brown)
• Fix method replacement in FinDomFunction constructor (#769) (@epatters)
• Draw bipartite graphs and FinFunctions using Graphviz (#772) (@epatters)

What's Changed

• Restore type parameters of acset transformations by @epatters in https://github.com/AlgebraicJulia/Catlab.jl/pull/754

Full Changelog: https://github.com/AlgebraicJulia/Catlab.jl/compare/v0.14.15...v0.14.16

Catlab v0.14.15

Diff since v0.14.14

Merged pull requests:

• Fix bug in tree (#742) (@olynch)
• Add ASKEM program integration workflow (#743) (@mehalter)
• Remove duplicate line in docs (#746) (@axelbdt)
• Acset transformations between dynamic acsets (#748) (@kris-brown)
• Replace @generated code in homomorphism search with CompTime (#749) (@kris-brown)
• fix 32-bit catlab support and improve github actions (#752) (@mehalter)

Catlab v0.14.14

Diff since v0.14.13

Closed issues:

• ACset map MethodError running convert (#735)

Merged pull requests:

• Simplified implementation of map for acsets (#736) (@olynch)