This is an alpha version and may contain bugs or other problems. Please report any problems to jonkv@ida.liu.se.
New example domains:
A version of the Wumpus domain is now available in the example menu.
User interface improvements and changes:
New way of visualizing boolean predicates where the last two arguments are x and y coordinates. Using the :showcoord flag you can now visualize these predicates in a two-dimensional grid. See the Wumpus domain for an example.
The narrative editor now displays the current cursor coordinates.
Changes in keyboard shortcuts, to be more consistent with other applications: Undo/redo is remapped to Ctrl-Z and Ctrl-Shift-Z instead of Ctrl-U and Ctrl-R. Update (reparse) is remapped to Ctrl-U from Ctrl-P.
Parser improvements:
The parser is sometimes smarter about inferring the type of a numeric value belongs to (in those domains where there are multiple numeric types). Expressions such as y1=7 should now work as long as y1 has an unambiguous type; '7' is then parsed in that context.
The #domain :integer and #domain :fixedpoint declarations now accept arguments in arbitrary order.
The Missionaries and Cannibals narrative examples do not use the object-orientation macros from Elaboration Tolerance through Object-Orientation. Also, the narratives should be included in a modular form where it is more clear what is used from the original narrative and what is part of an elaboration.
Some additional debugging code is turned on and some optimizations have been turned off in order to catch potential problems earlier. The downloadable version of VITAL is therefore a bit slower than the development version (but should still be considerably faster than the previous release version, 2.329).
You can download VITAL 2.999.832 alpha here.