Repository navigation

Build whole models from mathspec (whole-model-only) - #958

Open

FabianHofmann wants to merge 67 commits into

spec-whole-model

Commits on Sep 3, 2026
Commits on Sep 4, 2026
- feat(spec): refuse a missing parameter row wherever it is used
  FabianHofmann
  committed
  b947409
- doc(spec): add a notebook building models from specs
  FabianHofmann
  committed
  2ae9df9
- feat(spec): expose a named expression as three views
  FabianHofmann
  committed
  c936682
- Merge branch 'master' into spec-binder
  FabianHofmann
  authored
  494becf
- Merge branch 'spec-binder' into spec-builder
  FabianHofmann
  authored
  2a33908
- ci: skip spec notebook until math-spec is on PyPI
  FabianHofmann
  committed
  4875f8f
Commits on Sep 7, 2026
Commits on Sep 8, 2026
- ci(docs): install spec group on Read the Docs
  FabianHofmann
  committed
  d2f82a6
- refac(spec): rename data attachment to attach/Attached
  FabianHofmann
  committed
  b774e77
- doc(spec): execute the spec notebook on Read the Docs
  FabianHofmann
  committed
  46c6f27
- refac(spec): track math-spec a75, unwrapping ExpressionDeclaration
  FabianHofmann
  committed
  b7a8115
- feat(spec): read a constraint's dual in a reported expression
  FabianHofmann
  committed
  f243de2
- feat(spec): typeset a single named expression
  FabianHofmann
  committed
  2b12d10
- feat(spec): typeset any declaration, not just named expressions
  FabianHofmann
  committed
  74de654
- feat(spec): summarise the whole model in the ModelSpec repr
  FabianHofmann
  committed
  84e35ab
- feat(spec): show the spec in the Model repr
  FabianHofmann
  committed
  8b88ac7
- chore(spec): pin math-spec alpha.76 and drop the Power walk workaround (#946)
  
  FBumann
  and
  claude
  authored
  52edc8a
- refac(spec): the spec owns its parameters, and one read path for a named expression (#949)
  
  FBumann
  and
  claude
  authored
  48b267d
- fix(spec): four fixes from reviewing the spec builder (#950)
  
  FBumann
  and
  claude
  authored
  87b2ff1
Commits on Sep 10, 2026
- Typeset by format, and say what the render leaves out (#951)
  
  authored
  b1f4a02
Commits on Sep 17, 2026
Commits on Sep 18, 2026
Commits on Sep 19, 2026
- chore(spec): bump math-spec to alpha.106 and migrate relation/operator syntax
  FabianHofmann
  committed
  f5e694b
Commits on Sep 22, 2026
- chore(spec): bump math-spec to alpha.110 and migrate to its new API
  FabianHofmann
  committed
  827ce76
- chore(spec): bump math-spec to alpha.115 and migrate to the assumptions API
  FabianHofmann
  committed
  3037625
Commits on Sep 28, 2026