Repository navigation

Duplicable models: record a model to build independent copies (first step towards multi-threading) - #1251

Draft

cprudhom wants to merge 6 commits into

feat/model-duplicate

Commits on Oct 1, 2026
- Freeze tuples and diagrams; fix FiniteAutomaton.clone
  
  cprudhom
  and
  claude
  committed
  2352e97
- Add the choco-codegen module (annotation processor)
  
  cprudhom
  and
  claude
  committed
  b744924
- Record the construction of a model to duplicate it
  
  cprudhom
  and
  claude
  committed
  d57dc45
- Build a ParallelPortfolio from a recorded model or a spec
  
  cprudhom
  and
  claude
  committed
  3f9c345
- Parsers: recordable models, custom constraints and spec benches
  
  cprudhom
  and
  claude
  committed
  39a25ef
- Reduce SpecEquivalenceTest to one instance per family, 100 nodes
  cprudhom
  committed
  ad3ad11