Cm/ra 2026 demo - #1325

Draft

quffaro wants to merge 44 commits into

mainfrom

cm/ra-2026-demo

Commits on Jul 6, 2026

ENH: list picker for morphisms in diagrams
quffaro
committed
ENH: DEC model
quffaro
committed
FIX: lookup table replacing elab diag id setter
quffaro
committed
CLEANUP updated from rebase off of 1321
quffaro
committed
@over types

KevinDCarlson
authored and
quffaro
committed
Instance without specializations declares

KevinDCarlson
authored and
quffaro
committed
Diagrams in discrete theories declaring and validating, generating DiscreteDblModelDiagrams, behaving as dopfs

KevinDCarlson
authored and
quffaro
committed
Add the test files

KevinDCarlson
authored and
quffaro
committed
missing commit

KevinDCarlson
authored and
quffaro
committed
clippy

KevinDCarlson
authored and
quffaro
committed
docs fix

KevinDCarlson
authored and
quffaro
committed
change a variable

KevinDCarlson
authored and
quffaro
committed
Switching specializations to equality types in diagrams

KevinDCarlson
authored and
quffaro
committed
getting rid of the silly augment_with_lifts hack ahead of proper instance datatype

KevinDCarlson
authored and
quffaro
committed
Generate a dbl::instance from an @Instance

KevinDCarlson
authored and
quffaro
committed
Remove diagram elab pathway

KevinDCarlson
authored and
quffaro
committed
should split: forgot to add DblModelInstances before; secondly, got rid of diagram keyword and started interpret instances as terms of types.

KevinDCarlson
authored and
quffaro
committed
:= morphism assignment and set literals

KevinDCarlson
authored and
quffaro
committed
Instance Tms, mapping syntax, improved singleton mapping syntax

KevinDCarlson
authored and
quffaro
committed
clippy

KevinDCarlson
authored and
quffaro
committed
cargo doc

KevinDCarlson
authored and
quffaro
committed
non-recursive discrete instance terms

KevinDCarlson
authored and
quffaro
committed
revert special-casing for _ ident

KevinDCarlson
authored and
quffaro
committed
fix todo

KevinDCarlson
authored and
quffaro
committed
clippy

KevinDCarlson
authored and
quffaro
committed
ENH: adapted notebook_elab for modal diag nbs
quffaro
committed
WIP
quffaro
committed
WIP: instantiation copy-paste
quffaro
committed
WIP: instantiating diagrams, analysis
quffaro
committed
DEMO WORKING
quffaro
committed
ENH: Progress bar
quffaro
committed
WIP: passing params to simulator
quffaro
committed
ENH: duration
quffaro
committed
ENH WIP meshing
quffaro
committed
WIP: dynamic mesh interfaces
quffaro
committed
WIP: DecapodesSystem, ics; RunSim button not disabling...
quffaro
committed
WIP: progress bar
quffaro
committed
WIP: named types in parameterized ics, tabs on ui
quffaro
committed
WIP: frontend improvements, rearranging DecapodesInterop
quffaro
committed
WIP: refactoring to symbolic vars
quffaro
committed
WIP cleaning initial conditions
quffaro
committed

Commits on Jul 9, 2026

WIP: refactoring initial conditions and geometry
quffaro
committed

Commits on Jul 12, 2026

WIP formatting and analysis struct
quffaro
committed

Commits on Jul 26, 2026

WIP: algjulia updates
quffaro
committed