Dekker1/linter-mzn
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.
linter-mzn/CHANGELOG.md

805 B
Raw Permalink Blame History

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

[0.1.2]

Fixes

  • Errors made in included files will now be correctly located

0.1.1 - 2017-11-17

Fixes

  • Small fixes to documentation and package definition

0.1.0 - 2017-11-17

Added

  • Basic MiniZinc linting functionality as previously available in language-mzn