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 | |||
| README.txt | 2013-09-12 | 2.7 kB | |
| sealion-1.0.3.sha1sum | 2013-09-12 | 374 Bytes | |
| sealion-1.0.3.md5sum | 2013-09-12 | 334 Bytes | |
| sealion-1.0.3-win32.x86_64.zip | 2013-09-12 | 84.1 MB | |
| sealion-1.0.3-win32.x86.zip | 2013-09-12 | 84.1 MB | |
| sealion-1.0.3-macosx.cocoa.x86_64.zip | 2013-09-12 | 83.4 MB | |
| sealion-1.0.3-linux.gtk.x86_64.zip | 2013-09-12 | 84.7 MB | |
| sealion-1.0.3-linux.gtk.x86.zip | 2013-09-12 | 84.5 MB | |
| Totals: 8 Items | 420.7 MB | 0 | |
Release Notes: after 1.0.3 Release fixed bug: kara visualisation in stepping state view does not work bug: console view is activates once there are warnings when starting kara visualisation 1.0.3 new features: enable kara visualisation in stepping state view enable kara visualisation in interpretation compare view bug fix: sort launches according to their number in interpretation view update site: clearer installation procedure for installation as plugin: split one into two categories of packages (standard package vs individual packages) 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)