Difference between revisions of "All JavaMOP Versions"

From FSL
Jump to: navigation, search
m
m (update download links to make the download counter work)
 
Line 10: Line 10:
 
<tr>
 
<tr>
 
<td width=60>
 
<td width=60>
<a href="http://fsl.cs.illinois.edu/images/a/a3/Javamop-4.2.zip">
+
<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 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.illinois.edu/images/a/a3/Javamop-4.2.zip">javamop-4.2.zip</a><br>
+
<a href="http://fsl.cs.uiuc.edu/Download.php?filename=javamop-4.2.zip">javamop-4.2.zip</a><br>
 
</td>
 
</td>
 
<td width=20>
 
<td width=20>
Line 46: Line 46:
 
</td>
 
</td>
 
<td width=200 align=left valign=top>
 
<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>
+
<a href="http://fsl.cs.uiuc.edu/Download.php?filename=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>
 
</td>
 
</tr>
 
</tr>

Latest revision as of 03:01, 14 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

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