Plugin Download

Open Eclipse
Select Help -> Software Updates...
Choose the Available Software tab
Click "Add Site"
Enter "http://homepages.inf.ed.ac.uk/s0237477/update" then click "Ok"
Open "file:/afs/inf.ed.ac.uk/user/s02/s0237477/workspace/Update Site/ - metadata" then "Uncategorised"
Select Elyjah_Feature
Click "Install..."
Click "Finish"
Restart Eclipse when prompted

JaLAPI - Download here. JavaDoc
Examples Coming Soon

LyTE - LySa Toolkit in Eclipse - Eclipse Plugin

Installation Steps

1. Requirements

Download and install New Jersey SML version 110.59
Either:

Download appropriate pre-compiled LySatool:
Linux
Windows
Mac OSX Compile your own:
Download resource files
Unzip file and navigate to main lysatool directory.
Open SML.
Enter use("run.sml");
Enter use("lysatool.sml");
Compiled lysatool will now be in main lysatool directory

If your platform is not listed, please consider compiling your own version then email me the compiled file so I can host it for others.

2. Plugin Download

Open Eclipse
Select Help -> Install New Soctware...
Click "Add Site"
Enter Name field as "LyTE" and Location field as "http://homepages.inf.ed.ac.uk/s0237477/update" then click "Ok"
Select this update site from the "Work with:" drop-down box
Select LyTE_Feature
Click "Finish"
Restart Eclipse when prompted

3. Plugin Configuration

Select Window -> Preferences
Select SML Path Page
Browse for location of both SML bin/sml directory and downloaded LySatool execuatable Click "Ok" Right-click project folder of LySa files and select "Enable LySa Checks"

The LyTE plugin is now ready for use, create a new .lysa file, enter a LySa protocol then:
1. Click Orange arrow for LySatool analysis
2. Click Blue arrow for VisuaLySa
3. Click Green arrow for AnaLySa

LFCS
Laboratory for Foundations of Computer Science