1795 Commits (master)
 

Author SHA1 Message Date
Evan Patterson 6490421260
Merge pull request #402 from cbw124/master 7 hours ago
Evan Patterson 7f3e76c449 CLEANUP: Move theory of (co)presheaves to own section of file. 8 hours ago
cbw124 0bf597a844 change Psh to El 14 hours ago
Evan Patterson 9dc326d832
BUILD: Add build step to GitHub tests action. 4 days ago
Evan Patterson 8ec09ff9c2
BUILD: Release Catlab v0.12. 4 days ago
Evan Patterson 5cd9a5610a
Merge pull request #406 from epatters/julia-v1.6-cleanup 4 days ago
Evan Patterson 96fa0addc8 CLEANUP: In recent versions of Julia, `nothing` can be printed. 4 days ago
Evan Patterson 43951dbe1e CLEANUP: Remove hack that was working around core dump in Julia v1.0. 4 days ago
Evan Patterson 6473fd4b81 CLEANUP: Replace package Parameters.jl with `Base.@kwdef`. 5 days ago
Evan Patterson a24b4ce185 BUILD: Remove Compat since we are no longer supporting Julia v1.0. 5 days ago
Evan Patterson bf0ea8a9a1
Merge pull request #405 from epatters/graph-generators 5 days ago
Evan Patterson 732bf0510a ENH: Constructor for star graphs. 6 days ago
Evan Patterson 15c591273a ENH: Constructor for complete graphs. 6 days ago
Evan Patterson eb60251f1c ENH: Convenience functions to create path graphs and cycle graphs. 6 days ago
Evan Patterson 40a66727a4
Merge pull request #404 from epatters/pretty-tables-v0.12 6 days ago
Evan Patterson 5183775e2a BUILD: Upgrade PrettyTables.jl to v0.12. 6 days ago
Evan Patterson a52b5d00db
Merge pull request #401 from epatters/backtracking-monomorphism 1 week ago
cbw124 c8c391fd4e change act left/right to act/coact 1 week ago
cbw124 ac8020941f typo: actr to actl 1 week ago
cbw124 19e11c6179 fixed small issues in Add theories of Co/Presheaf 1 week ago
Evan Patterson 47d26b3b9b
Merge pull request #400 from epatters/docs-no-literate 1 week ago
cbw124 466d50d00d add theories of co/Presheaf 1 week ago
Evan Patterson 02924173f4 ENH: Backtracking search for C-set isomorphisms. 1 week ago
Evan Patterson da72bbb98c ENH: Option to restrict C-set homomorphism search to monomorphisms. 1 week ago
Evan Patterson eb3275a211 DOC: Add switch to docs makefile that disables Literate.jl docs. 1 week ago
Evan Patterson 2a3f7389d1
Merge pull request #398 from epatters/backtracking-homomorphism 1 week ago
Evan Patterson 528dd3e08a ENH: Backtracking search for homomorphisms of attributed C-sets. 1 week ago
Evan Patterson 45507f1d22 BUG: Allow different concrete types in (co)domain of ACSet morphism. 2 weeks ago
Evan Patterson c47bc0685f
Merge pull request #397 from AlgebraicJulia/jpf/doc 2 weeks ago
fairbanks b3173709a0 DOC: add some documentation from answering Breiner questions. 2 weeks ago
Evan Patterson dece3c0339
Merge pull request #395 from AlgebraicJulia/schema-equations-typo 3 weeks ago
Evan Patterson 01eeefd983
BUG: Typo in equational axioms of Schema. 3 weeks ago
Evan Patterson f0ce0c5c69
Merge pull request #393 from epatters/julia-v1.6 3 weeks ago
Evan Patterson adbea2af4e BUILD: Upgrade to Julia v1.6. 3 weeks ago
Evan Patterson c41a8e9bd1 BUILD: Release Catlab v0.11.2. 3 weeks ago
Evan Patterson e3863d2f8c BUILD: Upper bound Julia compat at v1.5. 3 weeks ago
Evan Patterson 4069a251cb
Merge pull request #392 from AlgebraicJulia/compathelper/new_version/2021-03-20-00-38-30-814-4039642067 1 month ago
github-actions[bot] 9c8f17dd6e CompatHelper: bump compat for "GeneralizedGenerated" to "0.3" 1 month ago
Evan Patterson 609014b117
Merge pull request #391 from epatters/missing-monoidal-cat-axioms 1 month ago
Evan Patterson 0c2dcd7f2b BUG: Two missing axioms in theory of monoidal categories. 1 month ago
Evan Patterson ce2fde9c63 BUILD: Peg FunctionWrappers.jl at v1.1.1. 2 months ago
Evan Patterson b4afdc77f3 DOC: Note that Graphviz wiring diagrams requires Graphviz 2.42+. 2 months ago
Evan Patterson ec4767600e
Merge pull request #372 from AlgebraicJulia/serialization 2 months ago
Evan Patterson 768c498c62 TST: Use temp directory for tests of ACSet JSON serialization. 2 months ago
James 8a3c84b863
Merge branch 'master' into serialization 2 months ago
Micah Halter b25912aa6d
Fix Julia 1.0 compatibility 2 months ago
Micah Halter 866ff5a318
Cleaned up serialization API 2 months ago
Evan Patterson b64031846b BUILD: Release Catlab v0.11.1. 2 months ago
Evan Patterson 2018ac7a86
Merge pull request #383 from epatters/cset-type-piracy 2 months ago
Evan Patterson 690bc5e67d BUG: Eliminate type piracy in accessors for schema description types. 2 months ago