Download Latest Version
sealion-0.9.0-linux.gtk.x86.zip (107.5 MB)
Get an email when there's a new version of sealion
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| sealion-1.0.2.sha1sum | 2013-06-06 | 374 Bytes | |
| sealion-1.0.2.md5sum | 2013-06-06 | 334 Bytes | |
| README.txt | 2013-06-06 | 2.2 kB | |
| sealion-1.0.2-win32.x86_64.zip | 2013-06-06 | 79.0 MB | |
| sealion-1.0.2-win32.x86.zip | 2013-06-06 | 79.0 MB | |
| sealion-1.0.2-macosx.cocoa.x86_64.zip | 2013-06-06 | 78.3 MB | |
| sealion-1.0.2-linux.gtk.x86_64.zip | 2013-06-06 | 79.6 MB | |
| sealion-1.0.2-linux.gtk.x86.zip | 2013-06-06 | 79.4 MB | |
| Totals: 8 Items | 395.2 MB | 0 | |
Release Notes: 1.0.2 Target update: allow for installations from within standalone packages 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 1.0.1 fixed: bug: no new DLV or Generic External Tool Configuration can be added 1.0.0 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)