SeaLion Changelog
What's new in SeaLion 1.0.2 Beta
Jun 7, 2013- new features:
- Standalone Version:
- enable headless updates
- installation of arbitrary packages using p2
- remove jdt and other superflous plugins
- integrate mde support in main edition
- Ouroboros debugging plugin added
- Kara update:
- allow labels for images
- search for image files if they are not given with absolute file names
- allow to set visualisation file with 'visualisationFile' LANA-property (%** @property visualisationFile="myfile.vis.gr" *%)
- Rename icon changed
- fixed:
- bug: dlv grounding parser not registered
New in SeaLion 1.0.1 Beta (Apr 22, 2013)
- fixed: bug: no new DLV or Generic External Tool Configuration can be added
New in SeaLion 1.0.0 Beta (Apr 9, 2013)
- new features:
- stepping
- code completion
- search for deriving rules
- Show In' functionality in SeaLion perspective
- Run as' also in Editor
- syntax based comment toggling (CTRL+SHIFT+C, CTRL+/,CTRL+SHIFT+%)
- error message for non-existing external tool configs
- dlv download tool package
- sorting of outline view
- preliminary safety check
- fixed:
- bug: parsing stops after an exception
- bug: parsing causes indexoutofbounds error
- bug: parsing of weak constraints with level/weight
- bug: parsing of additional arithmetic predicates in dlv
- bug: parsing of comparison literal starting with variable in dlv
- bug: parsing of final comment in Lana Block
- bug: some other parsing / stringprovider bugs
- bug: null pointer exception when claspD is called on program without answer sets
- bug: ASPDOC export: works only 1 time - due to transitive replacement of dispatchStrategies in HTMLCodeStringProvider
- bug: synchronising solver selection and command-line arguments of launch config only works if configuration tab is opened
- API:
- generic internal solving
- visible properties extension
- allowing strings as names of program elements
- filename in programs to solve
- string provider sorts elements of a block in order of appearance in source
- classes for Lana in- and output descriptions
- annotation extension mechanism
- active rule grounding
- adaptor for launchconfigurations to language interface
- parse grounded dlv code (-instantiate)