- Initial public preview release.
No user-facing changes.
No user-facing changes.
No user-facing changes.
- Changes to the MaD model generation infrastructure:
- Changed the query
rust/utils/modelgenerator/summary-modelsto use the implementation fromrust/utils/modelgenerator/mixed-summary-models. - Removed the now-redundant
rust/utils/modelgenerator/mixed-summary-modelsquery. - A similar replacement was made for
rust/utils/modelgenerator/neutral-models. That is, ifGenerateFlowModel.pyis provided with--with-summaries, combined/mixed models are now generated instead of heuristic models (and similar for--with-neutrals).
- Changed the query
No user-facing changes.
No user-facing changes.
No user-facing changes.
No user-facing changes.
No user-facing changes.
No user-facing changes.
No user-facing changes.