nasa / PLEXIL5

PLEXIL5 is a Formal Verification Environment for PLEXIL
17 stars 9 forks source link

PLEXIL5 source code ported from SVN to GIT #1

Closed hcadavid closed 6 years ago

hcadavid commented 6 years ago

This is the latest PLEXIL5 version, from December of 2012. All the .svn folders were removed, and the Ant script was slightly modified to solve an issue with the UI icons. This version was tested with some of the examples provided in the 'examples' folder. Maude's binaries were removed from the repository, but further instructions on how to download and copy them again were provided (HOWTO.md).

The application can be launched through Ant. However, replacing Ant with Maven or Gradle (and therefore update the project structure) is highly recommended.