Create theorymap-level model migrator#118

Merged

olynch merged 13 commits intomainfrom migrator

Nov 13, 2023

+774-271

Commits on Nov 10, 2023

Migrate models differently
Kris Brown
committed
fix docstring
Kris Brown
committed
working pushouts
Kris Brown
committed
remove residual algtup code
Kris Brown
committed
better coverage
Kris Brown
committed
remove else branches
Kris Brown
committed
remove vestigal code
Kris Brown
committed
two kinds of AlgSort
Kris Brown
committed
struct.args -> struct.fields
Kris Brown
committed
AlgDot has ident, no AlgSort needed
Kris Brown
committed
primitive vs struct sorts, more coverage
Kris Brown
committed
cleanup
Kris Brown
committed

Commits on Nov 11, 2023

migrate -> migrate_theory
Kris Brown
committed