Skip to content

CHANGELOG.md

Latest commit

 

History

History
48 lines (26 loc) · 940 Bytes

CHANGELOG.md

File metadata and controls

48 lines (26 loc) · 940 Bytes

0.1.10

No user-facing changes.

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.