Morphisms between diagrammatic instances: data structures and validation#751

Draft

kris-brown wants to merge 23 commits intomainfrom

instancemorphisms

Commits on Oct 13, 2025

Initial diagrammatic morphisms + validation
Kris Brown
committed

Commits on Dec 4, 2025

CLEANUP: Reimplement notebook keyboard shortcuts more simply. (#757)

epatters
authored and
Kris Brown
committed
ENH: Add model library, a reactive cache of elaborated models.

epatters
authored and
Kris Brown
committed
ENH: Adapt model library to support Patchwork module.

epatters
authored and
Kris Brown
committed
TST: Models in library do and don't re-elaborate as expected.

epatters
authored and
Kris Brown
committed
REFACTOR: Pass notebook, not just formal cells, to model elaborator.

epatters
authored and
Kris Brown
committed
FIX: Invalid leading "." in nix store paths for secrets

Jason Moggridge
authored and
Kris Brown
committed
Use Cachix in CI for deploying to catcolab-next

Jason Moggridge
authored and
Kris Brown
committed
REFACTOR: move nix integration tests to a separate file

Jason Moggridge
authored and
Kris Brown
committed
Disable nix integration tests

Jason Moggridge
authored and
Kris Brown
committed
ENH: Notebook types for instantiating models (#761)

epatters
authored and
Kris Brown
committed
BUILD: Run frontend-only tests in CI action. (#763)

epatters
authored and
Kris Brown
committed
REFACTOR: Consistently migrate doc after fetching from Automerge repo.

epatters
authored and
Kris Brown
committed
REFACTOR: Make `RefId` type in `ModelLibrary` be generic.

epatters
authored and
Kris Brown
committed
ENH: Recursively elaborate instantiated models in model library.

epatters
authored and
Kris Brown
committed
BUG: Detect cycles in model document instead of looping infinitely.

epatters
authored and
Kris Brown
committed
BUG: Don't take ownership of model in wasm bindings for migrations.

epatters
authored and
Kris Brown
committed
REFACTOR: Wrap boxed models in `Rc` in Wasm bindings.

epatters
authored and
Kris Brown
committed
DOC: Help page for Petri nets (#737)

authored and
Kris Brown
committed
BUG: Fix failing integration test and improve error handling (#765)

jmoggr
authored and
Kris Brown
committed
FIX: notebook-types package missing from backend nix package (#769)

jmoggr
authored and
Kris Brown
committed
REFACTOR: Move Nix build job for catcolab-next to CI workflow (#771)

jmoggr
authored and
Kris Brown
committed
using elaborator
Kris Brown
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Morphisms between diagrammatic instances: data structures and validation#751

Morphisms between diagrammatic instances: data structures and validation#751
kris-brown wants to merge 23 commits intomainfrom
instancemorphisms

Commits on Oct 13, 2025

Initial diagrammatic morphisms + validation

Commits on Dec 4, 2025

CLEANUP: Reimplement notebook keyboard shortcuts more simply. (#757)

ENH: Add model library, a reactive cache of elaborated models.

ENH: Adapt model library to support Patchwork module.

TST: Models in library do and don't re-elaborate as expected.

REFACTOR: Pass notebook, not just formal cells, to model elaborator.

FIX: Invalid leading "." in nix store paths for secrets

Use Cachix in CI for deploying to catcolab-next

REFACTOR: move nix integration tests to a separate file

Disable nix integration tests

ENH: Notebook types for instantiating models (#761)

BUILD: Run frontend-only tests in CI action. (#763)

REFACTOR: Consistently migrate doc after fetching from Automerge repo.

REFACTOR: Make `RefId` type in `ModelLibrary` be generic.

ENH: Recursively elaborate instantiated models in model library.

BUG: Detect cycles in model document instead of looping infinitely.

BUG: Don't take ownership of model in wasm bindings for migrations.

REFACTOR: Wrap boxed models in `Rc` in Wasm bindings.

DOC: Help page for Petri nets (#737)

BUG: Fix failing integration test and improve error handling (#765)

FIX: notebook-types package missing from backend nix package (#769)

REFACTOR: Move Nix build job for catcolab-next to CI workflow (#771)

using elaborator

Morphisms between diagrammatic instances: data structures and validation#751kris-brown wants to merge 23 commits intomainToposInstitute/CatColab:mainfrom instancemorphismsToposInstitute/CatColab:instancemorphismsCopy head branch name to clipboard

Commits

Commits on Oct 13, 2025

Commits on Dec 4, 2025

Morphisms between diagrammatic instances: data structures and validation#751
kris-brown wants to merge 23 commits intomainfrom
instancemorphisms