Difference between revisions of "JavaMOP4"
From FSL
m |
|||
| (13 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
__NOTOC__ __NOEDITSECTION__ | __NOTOC__ __NOEDITSECTION__ | ||
| − | {{shortcut|[[MOP]] <hr />[[JavaMOP4_Syntax|JavaMOP Syntax]] <hr /> [[All_JavaMOP_Versions|All Versions]] <br/> [[JavaMOP_News_And_Change_Logs|Change Log]] | + | {{shortcut|[[MOP]] <hr />[[JavaMOP4_Syntax|JavaMOP Syntax]] <hr /> [[All_JavaMOP_Versions|All Versions]] <br/> [[JavaMOP_News_And_Change_Logs|Change Log]] }} |
JavaMOP is an instance of [[MOP]] for Java. | JavaMOP is an instance of [[MOP]] for Java. | ||
| + | |||
| + | ===Try Online=== | ||
| + | You can try a demo version of JavaMOP using our [http://kframework.org/tool/run/javamop online interface]. | ||
| + | Note that the online interface is for demo purposes only and is limited in functionality. For full functionality, you should download JavaMOP (below). | ||
===Download=== | ===Download=== | ||
| − | =====[[JavaMOP4|JavaMOP 4. | + | =====[[JavaMOP4|JavaMOP 4.2]]===== |
| − | |||
<preserve> | <preserve> | ||
<table width=720 border=0 cellpadding=0 cellspacing=0> | <table width=720 border=0 cellpadding=0 cellspacing=0> | ||
<tr> | <tr> | ||
<td width=60> | <td width=60> | ||
| − | <a href="http://fsl.cs.uiuc.edu/Download.php?filename=javamop-4. | + | <a href="http://fsl.cs.uiuc.edu/Download.php?filename=javamop-4.2.zip"> |
<img src=/images/f/f3/Download.gif width=60></a> | <img src=/images/f/f3/Download.gif width=60></a> | ||
</td> | </td> | ||
| Line 19: | Line 22: | ||
<td width=170 align=left valign=top> | <td width=170 align=left valign=top> | ||
<b>Download</b><br> | <b>Download</b><br> | ||
| − | <a href="http://fsl.cs.uiuc.edu/Download.php?filename=javamop-4. | + | <a href="http://fsl.cs.uiuc.edu/Download.php?filename=javamop-4.2.zip">javamop-4.2.zip</a><br> |
All versions </preserve>[[All JavaMOP Versions|HERE]]<preserve><br> | All versions </preserve>[[All JavaMOP Versions|HERE]]<preserve><br> | ||
</td> | </td> | ||
| Line 32: | Line 35: | ||
</tr> | </tr> | ||
</table> | </table> | ||
| − | </preserve> | + | </preserve><private> |
| − | <private> | + | Downloads(4.2 Only): <span style="color:red;font-weight:bold"><counter filename="javamop-4.2.zip" /></span>, Total JavaMOP Downloads: <span style="color:red;font-weight:bold"><counter group="javamop" /></span></private> |
| − | Downloads(4. | + | |
| − | + | ||
=====How to Install===== | =====How to Install===== | ||
| − | * Download the JavaMOP 4. | + | * Download the JavaMOP 4.2's released binary zip archive via the provided link and unzip it to your preferred location. |
* Install the prerequisites, update your PATH and CLASSPATH according to the instructions in INSTALL.md (online version [https://github.com/runtimeverification/javamop/blob/master/INSTALL.md here]). | * Install the prerequisites, update your PATH and CLASSPATH according to the instructions in INSTALL.md (online version [https://github.com/runtimeverification/javamop/blob/master/INSTALL.md here]). | ||
| Line 52: | Line 53: | ||
===Documentation=== | ===Documentation=== | ||
| − | + | You can refer to ''docs/Usage.md'' (online version [https://github.com/runtimeverification/javamop/blob/master/docs/Usage.md here]) to find out how to use JavaMOP. For detailed information you can refer to [[JavaMOP4_Syntax|JavaMOP Syntax]] and our [[JavaMOP_Papers | JavaMOP papers]]. | |
Latest revision as of 02:59, 14 July 2015
JavaMOP is an instance of MOP for Java.
Try Online
You can try a demo version of JavaMOP using our online interface. Note that the online interface is for demo purposes only and is limited in functionality. For full functionality, you should download JavaMOP (below).
Download
JavaMOP 4.2
|
|
Download |
Prerequisites |
How to Install
- Download the JavaMOP 4.2's released binary zip archive via the provided link and unzip it to your preferred location.
- Install the prerequisites, update your PATH and CLASSPATH according to the instructions in INSTALL.md (online version here).
- /path/to/javamop/bin/javamop (javamop.bat on windows) is the target executable. Add /path/to/javamop/bin/ to your PATH environment variable.
- Done! You can read more about JavaMOP in README.md (online version here).
Bug Report
If you experience any problems with JavaMOP, and can not find your answer in the Troubleshooting page, please open a new issue on the Issues Page of the project.
Development
Please refer to JavaMOP's GitHub Page for source code and more information about development of JavaMOP.
Documentation
You can refer to docs/Usage.md (online version here) to find out how to use JavaMOP. For detailed information you can refer to JavaMOP Syntax and our JavaMOP papers.
