File	Date	Author	Commit
PerformanceApp	2017-09-29	Nicolas Beauger	[74bb0d] revert feature renaming
_exploratory	2014-02-01	Laurent Voisin	[91c7c0] Port Decert plug-in to Rodin 3.0 API
org.eventb.smt	2022-01-03	Guillaume Verdier	[aa0933] Update version numbers
org.eventb.smt-feature	2022-01-03	Guillaume Verdier	[aa0933] Update version numbers
org.eventb.smt.core	2022-01-03	Guillaume Verdier	[aa0933] Update version numbers
org.eventb.smt.core.performance	2017-09-06	Nicolas Beauger	[3a1182] Translation tests: move a test and asserts wher...
org.eventb.smt.core.tests	2022-01-03	Guillaume Verdier	[aa0933] Update version numbers
org.eventb.smt.cvc3	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc3-feature	2017-09-29	Nicolas Beauger	[3e4987] Shorten SMT prover feature labels, use feature....
org.eventb.smt.cvc3.linux	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc3.macosx	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc3.win32	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc4	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc4-feature	2017-09-29	Nicolas Beauger	[3e4987] Shorten SMT prover feature labels, use feature....
org.eventb.smt.cvc4.linux	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc4.macosx	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.cvc4.win32	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.help	2014-03-06	Nicolas Beauger	[410ab7] Regenerate help for SMT 1.2.0
org.eventb.smt.releng	2013-10-16	Laurent Voisin	[e12630] Release 1.1.0
org.eventb.smt.site	2022-01-03	Guillaume Verdier	[aa0933] Update version numbers
org.eventb.smt.ui	2016-01-13	Nicolas Beauger	[f1bdfb] Remove veriT path preference
org.eventb.smt.ui.tests	2015-12-18	Nicolas Beauger	[1e2cd6] Update main SMT bundle versions.
org.eventb.smt.verit	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.verit-feature	2017-09-29	Nicolas Beauger	[084ee5] Remove unsupported environments from pom.xml
org.eventb.smt.verit.linux	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.verit.macosx	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.verit.win32	2017-09-29	Nicolas Beauger	[2be188] Avoid duplicate IDs between plugins and features
org.eventb.smt.z3	2017-09-29	Nicolas Beauger	[8c9a17] Remove useless environments from z3 fragments p...
org.eventb.smt.z3-feature	2017-09-29	Nicolas Beauger	[084ee5] Remove unsupported environments from pom.xml
org.eventb.smt.z3.linux	2017-09-29	Nicolas Beauger	[8c9a17] Remove useless environments from z3 fragments p...
org.eventb.smt.z3.macosx	2017-09-29	Nicolas Beauger	[8c9a17] Remove useless environments from z3 fragments p...
org.eventb.smt.z3.win32	2017-09-29	Nicolas Beauger	[8c9a17] Remove useless environments from z3 fragments p...
README.txt	2021-12-21	Guillaume Verdier	[1d8840] Use same default target site path as other plug...
pom.xml	2022-01-10	Guillaume Verdier	[c5fa8c] Update Tycho to the latest version

Read Me

Procedure for building the SMT Plug-in with Maven
-------------------------------------------------

1. Download the Rodin target platform bundle from SourceForge (file named
   org.rodinp.dev-VERSION.zip).

   If possible, download the bundle for Rodin 3.5 (org.rodinp.dev-3.5.0-9f39f1653.zip)
   and put it in /var/tmp. Otherwise, copy the name and path to the bundle for
   the next step.

2. Go to the directory containing this README file and type the command

     mvn -Dtycho.localArtifacts=ignore \
	 -DforceContextQualifier="$(git log -1 --format='%h')" \
	 clean package

   If you could not use the Rodin 3.5 bundle or put it in /var/tmp, add the
   following option to the command line:

         -DrodinTargetSiteUrl='jar:file:/path/to/org.rodinp.dev-VERSION.zip!/'

3. Upload to a new folder in Sourceforge all files of org.eventb.smt.site/target/repository,
   add a link to this folder in RodinUpdateSite/org.rodinp.updateSite/composite/compSite.xml
   (in the Subversion repository), regenerate the composite update site and
   upload the generated files to /home/project-web/rodin-b-sharp/htdocs/updates
   through Sourceforge's SFTP.