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.