Difference between revisions of "All JavaMOP Versions"

From FSL
Jump to: navigation, search
m (Update all versions of javamop to include v4.1 and v4.2)
Line 5: Line 5:
  
 
== Latest Release ==
 
== Latest Release ==
<b>[[JavaMOP4|JavaMOP 4.0]]</b>
+
<b>[[JavaMOP4|JavaMOP 4.2]]</b>
 
<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.0.zip">
+
<a href="http://fsl.cs.illinois.edu/images/a/a3/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 17: Line 17:
 
<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.0.zip">javamop-4.0.zip</a><br>
+
<a href="http://fsl.cs.illinois.edu/images/a/a3/Javamop-4.2.zip">javamop-4.2.zip</a><br>
 
</td>
 
</td>
 
<td width=20>
 
<td width=20>
Line 36: Line 36:
 
</preserve>
 
</preserve>
 
<private>
 
<private>
Downloads(4.0 Only): <span style="color:red;font-weight:bold"><counter filename="javamop-4.0.zip" /></span>, Total JavaMOP Downloads: <span style="color:red;font-weight:bold"><counter group="javamop" /></span></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>
 +
 
 +
<tr>
 +
<td colspan=2 align=left valign=top><b></preserve>[[Special:JavaMOP4|JavaMOP 4.1]]<preserve></b></td>
 +
<td><b>Download</b><br></td>
 +
</tr>
 +
<tr>
 +
<td width=450 align=left valign=top>
 +
JavaMOP compiler, Logic Repository, Test Suite, and Documentation.
 +
</td>
 +
<td width=150 align=left valign=top align=center>
 +
05/11/2012
 +
</td>
 +
<td width=200 align=left valign=top>
 +
<a href="http://fsl.cs.illinois.edu/images/3/31/Javamop-4.1.zip">javamop-4.1.zip</a></preserve><private>(Downloads: <span style="color:red;font-weight:bold"><counter filename="javamop-4.1.zip" /></span>)</private><preserve>
 +
</td>
 +
</tr>
 +
 
 +
 
 +
<tr>
 +
<td colspan=2 align=left valign=top><b></preserve>[[Special:JavaMOP4|JavaMOP 4.0]]<preserve></b></td>
 +
<td><b>Download</b><br></td>
 +
</tr>
 +
<tr>
 +
<td width=450 align=left valign=top>
 +
JavaMOP compiler, Logic Repository, Test Suite, and Documentation.
 +
</td>
 +
<td width=150 align=left valign=top align=center>
 +
05/11/2012
 +
</td>
 +
<td width=200 align=left valign=top>
 +
<a href="http://fsl.cs.uiuc.edu/Download.php?filename=javamop-4.0.zip">javamop-4.0.zip</a></preserve><private>(Downloads: <span style="color:red;font-weight:bold"><counter filename="javamop-4.0.zip" /></span>)</private><preserve>
 +
</td>
 +
</tr>
  
 
== JavaMOP 3 ==
 
== JavaMOP 3 ==

Revision as of 12:43, 11 July 2015

Refer to the page of each version for more details. All releases are provided under the terms and conditions of the JavaMOP License.

Latest Release

JavaMOP 4.2

Download
javamop-4.2.zip

Prerequisites
Java Runtime Environment (JRE) (7 or later)
AspectJ Compiler (AJC) (1.8.1 or later)
Runtime Verification Monitor (RV-Monitor) (1.3 or later)

Development
Github page
Report bugs


<tr>

<td colspan=2 align=left valign=top></preserve>JavaMOP 4.1 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

05/11/2012

javamop-4.1.zip

JavaMOP 4.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

05/11/2012

javamop-4.0.zip

== JavaMOP 3 ==
JavaMOP 3.0.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

05/11/2012

javamop-3.0.0-bin-installer.jar


JavaMOP 2

JavaMOP 2.3.2 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

02/10/2012

javamop-2.3.2-bin-installer.jar

JavaMOP 2.3.1 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

09/06/2011

javamop-2.3.1-bin-installer.jar

JavaMOP 2.3.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

08/05/2011

javamop-2.3.0-bin-installer.jar

JavaMOP 2.2.0 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

02/18/2011

javamop2.2.0.jar

JavaMOP 2.1.2 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

04/19/2010

javamop2.1.2.jar

JavaMOP 2.1.1 Download

JavaMOP compiler, Logic Repository, Test Suite, and Documentation.

01/10/2010

javamop2.1.1.jar

JavaMOP 2.0 Download

JavaMOP compiler, and Logic Repository.

2009

Not Available


JavaMOP 1

JavaMOP 1.0 Download

JavaMOP compiler, and Logic Repository.

2007

Not Available

Personal tools
Namespaces

Variants
Actions
Navigation