Skip to content

Commit b9ed59f

Browse files
cfsnookcfsnook
authored
Merge pull request #1 from tshoang/master
Initial Soton Bundles
2 parents 4c352b6 + c0c6140 commit b9ed59f

File tree

344 files changed

+1855
-1
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

344 files changed

+1855
-1
lines changed

‎.gitignore‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,3 +21,6 @@
2121

2222
# virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml
2323
hs_err_pid*
24+
25+
# Maven target folder
26+
target

‎.travis.yml‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
language: java
2+
3+
cache:
4+
directories:
5+
- $HOME/.m2
6+
7+
script:
8+
- mvn clean verify

‎README.md‎

Lines changed: 74 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,75 @@
11
# Rodin-Bundles
2-
Rodin Platform Bundles that includes features developed by our group
2+
Rodin Platform Bundles that includes features developed by our
3+
group. Currently the folllowing bundles are included:
4+
5+
* *ac.soton.rodinp.releases*: Bundle including the released features
6+
from our group. This bundle is intended for users. Currently, the
7+
content of the bundle is as follows
8+
- Rodin Product 3.5.0.202009111309-74e0e4188
9+
- CamilleX 2.0.0.release
10+
- UML-B Statemachines 4.0.1.release
11+
- UML-B Statemachines Animation 3.0.0.release
12+
- UML-B Classdiagrams 3.0.0.release
13+
- Scenario Checker 0.0.0.release
14+
- Rose Editor 1.7.0.release
15+
- SMT Solvers 1.4.0.8c9a179
16+
- ProB 3.0.10.202009160721
17+
18+
* *ac.soton.rodinp.baseline*: Bundle including the released features
19+
including their source and tests (SDK) from our group. This bundle
20+
is intended for developers and to be used as the API baseline.
21+
Currently, the content of the bundle is as follows
22+
- Rodin Product 3.5.0.202009111309-74e0e4188
23+
- CamilleX SDK 2.0.0.release
24+
- UML-B Statemachines SDK 4.0.1.release
25+
- UML-B Statemachines Animation SDK 3.0.0.release
26+
- UML-B Classdiagrams SDK 3.0.0.release
27+
- Scenario Checker SDK 0.0.0.release
28+
- Rose Editor SDK 1.7.0.release
29+
- Event-B Utils SDK 0.2.4.release
30+
- Event-B EMF SDK 6.1.0.release
31+
- EMF Translator SDK 3.0.1.release
32+
- Event-B EMF Extension SDK 6.1.0.release
33+
- Event-B Translator Support SDK 0.1.0.release
34+
- Event-B ProB Support SDK 0.0.0.release
35+
- UML-B Diagrams SDK 8.0.1.release
36+
- EMF Inclusion SDK 2.0.0.release
37+
- EMF Records SDK 0.1.0.release
38+
- EMF Containment SDK 0.0.2.release
39+
40+
41+
* *ac.soton.rodinp.target*: Bundle including the released features
42+
including their source and tests (SDK) from our group. Additionally,
43+
this bundle also include the SDK of Eclipse features that our
44+
features depend on. This bundle is intended for developers and to be
45+
used as the target platform. Currently, the content of the bundle is
46+
as follows
47+
- Rodin Product 3.5.0.202009111309-74e0e4188
48+
- CamilleX SDK 2.0.0.release
49+
- UML-B Statemachines SDK 4.0.1.release
50+
- UML-B Statemachines Animation SDK 3.0.0.release
51+
- UML-B Classdiagrams SDK 3.0.0.release
52+
- Scenario Checker SDK 0.0.0.release
53+
- Rose Editor SDK 1.7.0.release
54+
- SMT Solvers 1.4.0.8c9a179
55+
- ProB 3.0.10.202009160721
56+
- Event-B Utils SDK 0.2.4.release
57+
- Event-B EMF SDK 6.1.0.release
58+
- EMF Translator SDK 3.0.1.release
59+
- Event-B EMF Extension SDK 6.1.0.release
60+
- Event-B Translator Support SDK 0.1.0.release
61+
- Event-B ProB Support SDK 0.0.0.release
62+
- UML-B Diagrams SDK 8.0.1.release
63+
- EMF Inclusion SDK 2.0.0.release
64+
- EMF Records SDK 0.1.0.release
65+
- EMF Containment SDK 0.0.2.release
66+
- XText SDK 2.22.0.v20200602-1533
67+
- Eclipse SDK 5.17.0.v20200604-0951
68+
- EMF SDK 2.22.0.v20200519-1135
69+
- GEF SDK 3.11.0.201606061308
70+
- GMF Runtime SDK 1.13.0.202004160913
71+
72+
Running *mvn clean verify* at the top level will build all
73+
bundles. Individual bundle can be built by running *mvn clean verify*
74+
within the corresponding folder.
75+

‎ac.soton.rodinp.baseline/.project‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<projectDescription>
3+
<name>ac.soton.rodinp.baseline</name>
4+
<comment></comment>
5+
<projects>
6+
</projects>
7+
<buildSpec>
8+
</buildSpec>
9+
<natures>
10+
</natures>
11+
</projectDescription>

‎ac.soton.rodinp.baseline/Rodin.p2.inf‎

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
instructions.configure=\
2+
mkdir(path:${installFolder}/dropins);\
3+
addRepository(type:0,location:http${#58}//download.eclipse.org/eclipse/updates/4.16,name:Eclipse 2020-06);\
4+
addRepository(type:1,location:http${#58}//download.eclipse.org/eclipse/updates/4.16,name:Eclipse 2020-06);\
5+
addRepository(type:0,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
6+
addRepository(type:1,location:http${#58}//methode-b.com/update_site/atelierb_provers,name:Atelier B Provers);\
7+
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
8+
addRepository(type:1,location:http${#58}//rodin-b-sharp.sourceforge.net/updates,name:Rodin Plug-ins);\
9+
addRepository(type:0,location:http${#58}//rodin-b-sharp.sourceforge.net/core-updates,name:Core Rodin Updates);\
10+
addRepository(type:1,location:http${#58}//rodin-b-sharp.sourceforge.net/core-updates,name:Core Rodin Updates);\
11+
addRepository(type:0,location:http${#58}//www.stups.hhu.de/prob_updates_rodin3,name:ProB);\
12+
addRepository(type:1,location:http${#58}//www.stups.hhu.de/prob_updates_rodin3,name:ProB);\
13+
addRepository(type:0,location:http${#58}//www.stups.hhu.de/camille_updates,name:Camille);\
14+
addRepository(type:1,location:http${#58}//www.stups.hhu.de/camille_updates,name:Camille);\
15+
addRepository(type:0,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
16+
addRepository(type:1,location:http${#58}//www.animb.org/updatesite,name:AnimB);\
17+
addRepository(type:0,location:http${#58}//dl.bintray.com/subclipse/releases/subclipse/latest,name:Subclipse);\
18+
addRepository(type:1,location:http${#58}//dl.bintray.com/subclipse/releases/subclipse/latest,name:Subclipse);\
19+
addRepository(type:0,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
20+
addRepository(type:1,location:http${#58}//download.scala-ide.org/sdk/lithium/e44/scala211/stable/site,name:Scala);\
21+
addRepository(type:0,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
22+
addRepository(type:1,location:http${#58}//handbook.event-b.org/updatesite,name:Rodin Handbook);\
23+
addRepository(type:0,location:http${#58}//eventb-soton.github.io/updateSite/releases,name:UML-B and CamilleX);\
24+
addRepository(type:1,location:http${#58}//eventb-soton.github.io/updateSite/releases,name:UML-B and CamilleX);\
25+
addRepository(type:0,location:http${#58}//download.eclipse.org/modeling/tmf/xtext/updates/composite/releases,name:XText);\
26+
addRepository(type:1,location:http${#58}//download.eclipse.org/modeling/tmf/xtext/updates/composite/releases,name:XText);
27+
# BEWARE ! THE PREVIOUS LINE MUST NOT END WITH A BACKSLASH

‎ac.soton.rodinp.baseline/Rodin.product‎

Lines changed: 86 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,86 @@
1+
<?xml version="1.0" encoding="UTF-8"?>
2+
<?pde version="3.5"?>
3+
4+
<product name="Rodin Platform" uid="org.rodinp.platform.product" id="org.rodinp.platform.product" application="org.eclipse.ui.ide.workbench" version="3.5.0.202009111309-74e0e4188-BL2008" useFeatures="true" includeLaunchers="true">
5+
6+
<aboutInfo>
7+
<image path="icons/about.gif"/>
8+
<text>
9+
%aboutText
10+
</text>
11+
</aboutInfo>
12+
13+
<configIni use="default">
14+
</configIni>
15+
16+
<launcherArgs>
17+
<vmArgs>-Dosgi.requiredJavaVersion=1.8
18+
-Xms256m
19+
-Xmx1024m
20+
-XX:+UseG1GC
21+
-XX:+UseStringDeduplication
22+
--add-modules=ALL-SYSTEM
23+
</vmArgs>
24+
</launcherArgs>
25+
26+
<windowImages i16="icons/rodin16.gif" i32="icons/rodin32.gif" i48="icons/rodin48.gif" i64="icons/rodin64.gif" i128="icons/rodin128.gif" i256="icons/rodin256.gif"/>
27+
28+
<splash
29+
location="org.rodinp.platform"
30+
startupProgressRect="5,200,445,15"
31+
startupMessageRect="7,177,445,20"
32+
startupForegroundColor="000000" />
33+
<launcher name="rodin">
34+
<linux icon="rodin32.xpm"/>
35+
<macosx icon="rodin.icns"/>
36+
<win useIco="true">
37+
<ico path="rodin.ico"/>
38+
<bmp/>
39+
</win>
40+
</launcher>
41+
42+
<intro introId="org.rodinp.platform.intro"/>
43+
44+
<vm>
45+
</vm>
46+
47+
<plugins>
48+
</plugins>
49+
50+
<features>
51+
<feature id="org.eventb.ide" version="3.5.0.qualifier"/>
52+
<feature id="org.rodinp.platform" version="3.5.0.qualifier"/>
53+
<feature id="org.rodinp.handbook.feature" installMode="root"/>
54+
<feature id="ac.soton.xeventb.sdk" version="2.0.0.qualifier" installMode="root"/>
55+
<feature id="ac.soton.eventb.statemachines.sdk" version="4.0.1.qualifier" installMode="root"/>
56+
<feature id="ac.soton.eventb.statemachines.animation.sdk" version="3.0.0.qualifier" installMode="root"/>
57+
<feature id="ac.soton.eventb.classdiagrams.sdk" version="3.0.0.qualifier" installMode="root"/>
58+
<feature id="ac.soton.eventb.scenariochecker.sdk" version="0.0.0.qualifier" installMode="root"/>
59+
<feature id="ac.soton.eventb.roseEditor.sdk" version="1.7.0.qualifier" installMode="root"/>
60+
<feature id="ch.ethz.eventb.utils.sdk" version="0.2.4.qualifier" installMode="root"/>
61+
<feature id="org.eventb.emf.sdk" version="6.1.0.qualifier" installMode="root"/>
62+
<feature id="ac.soton.emf.translator.sdk" version="3.0.1.qualifier" installMode="root"/>
63+
<feature id="ac.soton.eventb.emf.core.extension.sdk" version="6.1.0.qualifier" installMode="root"/>
64+
<feature id="ac.soton.emf.translator.eventb.sdk" version="0.1.0.qualifier" installMode="root"/>
65+
<feature id="ac.soton.eventb.probsupport.sdk" version="0.0.0.qualifier" installMode="root"/>
66+
<feature id="ac.soton.eventb.emf.diagrams.sdk" version="8.0.1.qualifier" installMode="root"/>
67+
<feature id="ac.soton.eventb.emf.inclusion.sdk" version="2.0.0.qualifier" installMode="root"/>
68+
<feature id="ac.soton.eventb.emf.record.sdk" version="0.1.0.qualifier" installMode="root"/>
69+
</features>
70+
71+
<configurations>
72+
<plugin id="org.eclipse.core.runtime" autoStart="true" startLevel="0" />
73+
<plugin id="org.eclipse.equinox.common" autoStart="true" startLevel="2" />
74+
<plugin id="org.eclipse.equinox.ds" autoStart="true" startLevel="2" />
75+
<plugin id="org.eclipse.equinox.p2.reconciler.dropins" autoStart="true" startLevel="4" />
76+
<plugin id="org.eclipse.equinox.simpleconfigurator" autoStart="true" startLevel="1" />
77+
</configurations>
78+
79+
<preferencesInfo>
80+
<targetfile overwrite="false"/>
81+
</preferencesInfo>
82+
83+
<cssInfo>
84+
</cssInfo>
85+
86+
</product>

‎ac.soton.rodinp.baseline/html/root.html‎

Lines changed: 85 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,85 @@
1+
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
2+
<html>
3+
<head>
4+
<title>The Rodin Platform</title>
5+
<meta http-equiv="Content-Type" content="text/html;charset=utf-8">
6+
<style type="text/css">
7+
BODY { background: #f5f5f5 }
8+
</style>
9+
</head>
10+
<body>
11+
<h2>Overview</h2>
12+
<p>
13+
Rodin is an open tool platform for the cost effective rigorous
14+
development of dependable complex software systems and services.
15+
This platform is dedicated to the Event-B formal method and
16+
provides natural support for refinement and mathematical proof.
17+
</p><p>
18+
This platform contributes to the Eclipse framework
19+
and is extensible using the Eclipse plug-in mechanism.
20+
</p><p>
21+
Rodin development has been partly funded
22+
by the European Commission through three RTD projects:
23+
<ul>
24+
<li><a href="http://rodin.cs.ncl.ac.uk/">RODIN</a> (FP6 IST
25+
project 511599), from September 2004 to October 2007,</li>
26+
<li><a href="http://www.deploy-project.eu/">DEPLOY</a> (FP7 IST
27+
project 214158), from February 2008 to April 2012,</li>
28+
<li><a href="http://www.advance-ict.eu/">ADVANCE</a> (FP7 IST
29+
project 287563), from October 2011 to November 2014.</li>
30+
</ul>
31+
and by the French National Research Agency through projects:
32+
<ul>
33+
<li><a href="http://impex.gforge.inria.fr/">IMPEX</a> (ANR-13-INSE-0001),
34+
from December 2013 to December 2018,</li>
35+
<li><a href="http://www.irit.fr/EBRP/">EBRP</a> (ANR-19-CE25-0010),
36+
since January 2020.</li>
37+
</ul>
38+
</p>
39+
<h2>Dedication</h2>
40+
<p>This release of the Rodin platform is dedicated to the memory of Ken Robinson.</p>
41+
<h2>Learn more about Event-B and Rodin</h2>
42+
<p>More information about this platform can be found on the
43+
<a href="http://www.event-b.org">Event-B.org</a> web site.<br>
44+
A user and developer
45+
<a href="http://wiki.event-b.org/index.php/Main_Page">wiki</a>
46+
is also available.<br>
47+
Embedded documentation is also provided online at
48+
<a href="http://handbook.event-b.org">http://handbook.event-b.org</a>.<br>
49+
The development of this platform, including feature and bug tracking, is hosted
50+
by <a href="http://sourceforge.net/projects/rodin-b-sharp">SourceForge</a>.</p>
51+
<h2>Stay in touch</h2>
52+
<p>An active community supports the usage of Event-B and the Rodin platform.<br>
53+
Get feeback on user experience, advice from experts and useful information, by subscribing now to:
54+
<ul>
55+
<li>the <a href="http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-user">Rodin User</a> mailing list</li>
56+
<li>the <a href="http://lists.sourceforge.net/mailman/listinfo/rodin-b-sharp-announce">Rodin Announce</a> mailing list</li>
57+
</ul>
58+
<p>Other mailing lists about the development of the Rodin platform are
59+
<a href="http://wiki.event-b.org/index.php/Mailing_lists">available</a>.
60+
<h2>Help us to improve the tool</h2>
61+
<p>Help the Rodin development team:
62+
<ul>
63+
<li><a href="http://sourceforge.net/p/rodin-b-sharp/bugs">Report bugs</a></li>
64+
<li>Or let us know about your needs:
65+
<ul>
66+
<li><a href="http://sourceforge.net/p/rodin-b-sharp/support-requests/">Request support</a></li>
67+
<li><a href="http://sourceforge.net/p/rodin-b-sharp/feature-requests/">Ask for new features</a></li>
68+
</ul>
69+
</li>
70+
</ul>
71+
<h2>Important Installation notes</h2>
72+
<p>
73+
To improve your proof experience, please install the third-party provers from
74+
Atelier B. This is only a few mouse-clicks away. Please proceed as follow:
75+
<ul>
76+
<li>From the main menu bar, select <b>Help &gt; Install New Software...</b>. The Install wizard opens.</li>
77+
<li>Uncheck the <b>Contact all update sites during install to find required software</b> check box.</li>
78+
<li>Click on the <b>Work with</b> dropdown list and select the Atelier B provers update site.</li>
79+
<li>Select <b>Atelier B provers</b> in the list (tick the left check boxes) and click <b>Next</b></li>
80+
<li>After some time, the Install window opens. Just click <b>Next</b>, and accept the terms in the license agreement.</li>
81+
<li>Click <b>Finish</b>. The update manager downloads the Atelier B Provers feature.</li>
82+
<li>Finally, in the next window, click <b>Yes</b> to restart the platform.</li>
83+
</ul>
84+
</body>
85+
</html>

‎ac.soton.rodinp.baseline/icons/about.gif‎

17.7 KB
Loading

‎ac.soton.rodinp.baseline/icons/rodin.svg‎

Lines changed: 57 additions & 0 deletions
Loading

‎ac.soton.rodinp.baseline/icons/rodin.xcf‎

27.5 KB
Binary file not shown.

0 commit comments

Comments
 (0)