## 0.1.9 No user-facing changes. ## 0.1.8 No user-facing changes. ## 0.1.7 ### Minor Analysis Improvements * Changes to the MaD model generation infrastructure: * Changed the query `rust/utils/modelgenerator/summary-models` to use the implementation from `rust/utils/modelgenerator/mixed-summary-models`. * Removed the now-redundant `rust/utils/modelgenerator/mixed-summary-models` query. * A similar replacement was made for `rust/utils/modelgenerator/neutral-models`. That is, if `GenerateFlowModel.py` is provided with `--with-summaries`, combined/mixed models are now generated instead of heuristic models (and similar for `--with-neutrals`). ## 0.1.6 No user-facing changes. ## 0.1.5 No user-facing changes. ## 0.1.4 No user-facing changes. ## 0.1.3 No user-facing changes. ## 0.1.2 No user-facing changes. ## 0.1.1 No user-facing changes. ## 0.1.0 No user-facing changes.