1
0

57 Commits

Author SHA1 Message Date
Jip J. Dekker
4c1d9333ba
Prepare 0.9.0 release v0.9.0 2018-02-07 17:26:21 +11:00
Jip J. Dekker
df9bf6e812 Switch to Iro generated syntax hightlighting 2018-02-07 17:21:56 +11:00
Jip J. Dekker
90e7538fc8 Apply language settings to fzn and dzn 2018-02-07 17:02:39 +11:00
Jip J. Dekker
e7c59ff79b
Prepare 0.8.1 release v0.8.1 2018-01-24 11:43:56 +11:00
Jip J. Dekker
c7584aeeda
Add elseif keyword
Fixes #1
2018-01-24 11:43:49 +11:00
7707fa5690
Remove old linting package declaration 2017-11-29 15:54:24 +11:00
19bfdd6402
Prepare 0.8.0 release v0.8.0 2017-11-17 18:20:14 +11:00
4728e752d5
Remove linting functionality 2017-11-17 18:16:03 +11:00
6ee8ade534
Improve the error message parsing for underlined errors 2017-11-16 19:13:46 +11:00
fc961a9a21
Prepare 0.7.0 release v0.7.0 2017-11-16 15:11:08 +11:00
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
5ff2193335 Prepare 0.6.1 release v0.6.1 2017-06-17 23:03:09 +02:00
5513edcc31 Update repository URL 2017-06-17 23:02:42 +02:00
Jip J. Dekker
5acd954110 Prepare 0.6.0 release v0.6.0 2017-03-18 23:14:28 +01:00
Jip J. Dekker
44468f0833 Upgrade to Linter API v2 2017-03-18 23:13:08 +01:00
Jip J. Dekker
85a79d1e5a Prepare 0.5.0 release v0.5.0 2016-01-21 15:45:04 +01:00
Jip J. Dekker
032a024a4d Adds column matching to the linter 2016-01-21 15:44:33 +01:00
Jip J. Dekker
0961446628 Prepare 0.4.1 release v0.4.1 2016-01-18 22:29:34 +01:00
Jip J. Dekker
25f263ba05 Updates the screenshot of the readme 2016-01-18 22:28:52 +01:00
Jip J. Dekker
2bd4158e1d Fixes double dot problem with numerical constrants 2016-01-18 22:25:33 +01:00
Jip J. Dekker
1d54e43bdc Adds Linting to the read me 2016-01-18 22:12:12 +01:00
Jip J. Dekker
743a465d63 Adds disabling of linting 2016-01-18 21:18:55 +01:00
Jip J. Dekker
7bdeb7cd0b Prepare 0.4.0 release v0.4.0 2016-01-10 23:53:27 +01:00
Jip J. Dekker
e2e9d97cfb Adds the linter from linter-mzn to the package 2016-01-10 23:53:12 +01:00
Jip J. Dekker
306bfa942e Prepare 0.3.2 release v0.3.2 2016-01-10 23:44:05 +01:00
Jip J. Dekker
c7209291ef Adds changes to the changelog 2016-01-10 23:39:34 +01:00
Jip J. Dekker
1675166be5 Fixes highlighting of numeric constrants 2016-01-10 23:37:40 +01:00
Jip J. Dekker
a4ca832b0e Removes duplicate operators and assert statement 2016-01-10 23:30:21 +01:00
Jip J. Dekker
afcb9201c0 Prepare 0.3.1 release v0.3.1 2015-12-03 12:21:41 +01:00
Jip J. Dekker
55993efe15 Removes tab for the forall snippet 2015-12-03 12:21:28 +01:00
Jip J. Dekker
36aa594f7d Prepare 0.3.0 release v0.3.0 2015-12-02 18:59:01 +01:00
Jip J. Dekker
a1f2dc5208 Adds all changes to the changelog 2015-12-02 18:58:46 +01:00
Jip J. Dekker
6e487e7ea2 Removes newlines from the snippets 2015-12-02 18:57:13 +01:00
Jip J. Dekker
f500f00591 Adds indentation rules 2015-12-02 18:55:28 +01:00
Jip J. Dekker
c79dceac3b Use single line comments on hotkey 2015-12-02 18:55:05 +01:00
Jip J. Dekker
b02054ca3e Add language comment to the grammar 2015-12-02 18:33:13 +01:00
Jip J. Dekker
b0293df96e Adds function highlighting for all predicates defined in 2.0 docs 2015-12-02 18:24:20 +01:00
Jip J. Dekker
d847458d00 Prepare 0.2.0 release v0.2.0 2015-11-24 17:46:11 +01:00
Jip J. Dekker
f888a580e0 Updates the changelog 2015-11-24 17:45:50 +01:00
Jip J. Dekker
ab37aa3c5b Adds solve statements to the snippets 2015-11-24 17:43:43 +01:00
Jip J. Dekker
0e445f4402 Adds some basic snippets to mzn grammar 2015-11-24 17:36:01 +01:00
Jip J. Dekker
cba724e840 Prepare 0.1.1 release v0.1.1 2015-11-20 11:33:28 +01:00
Jip J. Dekker
4d16cac360 Adds endif keyword to the syntax 2015-11-20 11:32:37 +01:00
Jip J. Dekker
ee009928d5 Uses 8queens for the screenshot 2015-11-20 10:44:22 +01:00
Jip J. Dekker
eb7eca6e9b Prepare 0.1.0 release v0.1.0 2015-11-19 23:53:12 +01:00
Jip J. Dekker
c3a6cfc795 I should not change the version manually... 2015-11-19 23:53:06 +01:00
Jip J. Dekker
3ca1fd4392 Makes everything ready for 0.1.0 2015-11-19 23:39:49 +01:00
Jip J. Dekker
cae1e5e72e Adds a screenshot of some highlighted code 2015-11-19 23:36:23 +01:00
Jip J. Dekker
30eac9cf19 Adds the basic first features to the changelog 2015-11-19 23:34:03 +01:00
Jip J. Dekker
df3c20b02a Adds my name to the license 2015-11-19 23:33:05 +01:00