Skip to content

Latest commit

 

History

History
14 lines (10 loc) · 603 Bytes

changelog.md

File metadata and controls

14 lines (10 loc) · 603 Bytes

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

[Unreleased]

[4.0.1] - 2020-01-21

Fixed

  • Crash during parsing caused by an empty matrix and innnermost universal quantification (thanks to Andreas Niskanen)
  • Crash when requesting partial assignments (--qdo) in combination with miniscoping (thanks to Valentin Mayer-Eichberger)
  • Fixed rust deprecation warnings and clippy suggestions