1
0
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
language-mzn/CHANGELOG.md
Jip J. Dekker 43d9af2ab6
Fixes the linting error when opening a DZN file
Fix consists of splitting the MiniZinc grammars into separate grammar files
2017-11-16 15:03:17 +11:00

1.3 KiB

0.7.0 - Split grammar definitions

  • Create seperate definitions for FlatZinc + Output models and DZN files.
  • Fixes linting error when opening DZN files

0.6.1 - Moved repository

  • Change the repository URL

0.6.0 - Linter v2

  • Upgrade to Linter API v2

0.5.0 - Column matching

  • The linter now indicates the right column if indicated by mzn2fzn

0.4.1

  • Enables the user to disable linting in the package settings
  • Fixes problem in highlighting of numerical constants

0.4.0

0.3.2

  • Removes some duplicate syntax
  • Fixes the highlighting of numerical constants

0.3.1 - One tab too far

  • Removes an tab in the forall snippet.

0.3.0 - Colored constraints

  • Adds function coloring to all predicates documented in the 2.0 documentation.
  • Adds indentation rules for parentheses
  • Removes newlines from snippets (just press enter, the indentation rules will do the rest)

0.2.0 - Snippets

  • Adds snippets for basic MZN functionalities
  • Adds snippets for possible solve statements

0.1.1 - endif

  • Adds syntax highlighting for the endif keyword

0.1.0 - First Release

  • Basic syntax highlighting