Skip to content

Releases: AlexLandau/griddle

Griddle plugin 0.2.1

27 Dec 21:24
Compare
Choose a tag to compare

The largest change in this release is the switch to the use of an Eclipse update site for installation. The update site URL is: http://alexlandau.github.io/griddle/eclipse/ See the README for more detailed installation instructions. To encourage use of the new installation method, I am not including a .jar file here for this release.

This version also incorporates version 0.2.2 of the gdl-validation library, which has been split out from Griddle.

Notes from the gdl-validation upgrade:

  • Variables in top-level sentences are now reported as errors.
  • Empty "or" literals are now reported as warnings.
  • The check that "base", "input", and "init" sentences are constant now works correctly when a "true" or "does" sentence is in the body of a rule implying one of these sentence types.

Additional notes:

  • The file icon for .kif/.gdl files now has a transparent background.

Griddle plugin 0.2.0

07 Jul 04:38
Compare
Choose a tag to compare

See the README for installation instructions.

Release notes:

  • Added "Reformat GDL" option in right-click context menu of the GDL Editor. This standardizes the indentation and whitespace throughout the file, while leaving the general structure of the file intact.
  • Improved handling of parser errors; when the parser gets confused, it can now usually localize the problem instead of failing completely.
  • Comments at end-of-file with no following newline are now treated correctly.

Griddle plugin 0.1.1

13 Jun 22:51
Compare
Choose a tag to compare

See the README for installation instructions.

Release notes:

  • "not" now has correct color
  • Improved parsing of certain error cases involving Datalog keywords
  • Fixed bug causing incorrect highlighting locations for problems in long game descriptions
  • Certain misuses of GDL keywords are now warnings, not errors

Griddle plugin 0.1.0

08 Jun 01:40
Compare
Choose a tag to compare

This is the initial public release of the Griddle plugin. See the README for installation instructions.