Skip to content

loonwerks/jkind-xtext

master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 

JKind for Eclipse

Lustre Plug-in for Eclipse with JKind Analysis Support

This plug-in provides a Lustre front-end in Eclipse with syntax checking, highlighting, type checking, and other syntatic checks. The plug-in also provides a convenient way to launch JKind on a Lustre file and have the results reported back in a real-time graphical display. Excel formatted counterexamples are viewable by right-clicking on individual properties.

JKind itself is now bundled into the plug-in, so no separate installation is needed.

Quick Install

Use the update site https://raw.githubusercontent.com/agacek/jkind-xtext/master/jkind.xtext.site/site.xml

Detailed Install

  1. Download and install Eclipse.

  2. From the Eclipse "Help" menu select "Install New Software...".

install new software

  1. In the "Available Software" dialog click the "Add..." button.

add

  1. In the "Add Repository" dialog enter the name JKind-Xtext and the location https://raw.githubusercontent.com/agacek/jkind-xtext/master/jkind.xtext.site/site.xml. Click "OK".

add repository

  1. In the "Available Software" dialog open the "Uncategorized" menu and select "JKind for Eclipse". Click "Next" and follow the prompts.

select jkind for eclipse

Updating

To update the plug-in, select "Check for Updates" from the Eclipse "Help" menu.

check for updates

Usage Examples

Right click in a Lustre file to run JKind and examine the results:

Syntax checking, type checking, and other static checks are all done on the fly:

Type error

Many other Eclipse-style features are available. For example, variables and fields can be easily renamed:

Rename Element

About

Lustre Plug-in for Eclipse with JKind Analysis Support

Resources

License

Stars

Watchers

Forks

Packages

No packages published