Tree [8c9a17] master 1.4.0 /
 History

HTTPS access


File Date Author Commit
 PerformanceApp 2017-09-29 Nicolas Beauger Nicolas Beauger [74bb0d] revert feature renaming
 _exploratory 2014-02-01 Laurent Voisin Laurent Voisin [91c7c0] Port Decert plug-in to Rodin 3.0 API
 org.eventb.smt 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt-feature 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.core 2017-09-05 Nicolas Beauger Nicolas Beauger [9ca318] Show solver output when hypothesis extraction h...
 org.eventb.smt.core.performance 2017-09-06 Nicolas Beauger Nicolas Beauger [3a1182] Translation tests: move a test and asserts wher...
 org.eventb.smt.core.tests 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc3 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc3-feature 2017-09-29 Nicolas Beauger Nicolas Beauger [3e4987] Shorten SMT prover feature labels, use feature....
 org.eventb.smt.cvc3.linux 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc3.macosx 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc3.win32 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc4 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc4-feature 2017-09-29 Nicolas Beauger Nicolas Beauger [3e4987] Shorten SMT prover feature labels, use feature....
 org.eventb.smt.cvc4.linux 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc4.macosx 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.cvc4.win32 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.help 2014-03-06 Nicolas Beauger Nicolas Beauger [410ab7] Regenerate help for SMT 1.2.0
 org.eventb.smt.releng 2013-10-16 Laurent Voisin Laurent Voisin [e12630] Release 1.1.0
 org.eventb.smt.site 2017-09-29 Nicolas Beauger Nicolas Beauger [74bb0d] revert feature renaming
 org.eventb.smt.ui 2016-01-13 Nicolas Beauger Nicolas Beauger [f1bdfb] Remove veriT path preference
 org.eventb.smt.ui.tests 2015-12-18 Nicolas Beauger Nicolas Beauger [1e2cd6] Update main SMT bundle versions.
 org.eventb.smt.verit 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.verit-feature 2017-09-29 Nicolas Beauger Nicolas Beauger [084ee5] Remove unsupported environments from pom.xml
 org.eventb.smt.verit.linux 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.verit.macosx 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.verit.win32 2017-09-29 Nicolas Beauger Nicolas Beauger [2be188] Avoid duplicate IDs between plugins and features
 org.eventb.smt.z3 2017-09-29 Nicolas Beauger Nicolas Beauger [8c9a17] Remove useless environments from z3 fragments p...
 org.eventb.smt.z3-feature 2017-09-29 Nicolas Beauger Nicolas Beauger [084ee5] Remove unsupported environments from pom.xml
 org.eventb.smt.z3.linux 2017-09-29 Nicolas Beauger Nicolas Beauger [8c9a17] Remove useless environments from z3 fragments p...
 org.eventb.smt.z3.macosx 2017-09-29 Nicolas Beauger Nicolas Beauger [8c9a17] Remove useless environments from z3 fragments p...
 org.eventb.smt.z3.win32 2017-09-29 Nicolas Beauger Nicolas Beauger [8c9a17] Remove useless environments from z3 fragments p...
 README.txt 2014-03-14 Nicolas Beauger Nicolas Beauger [41836e] In build instructions, set qualifier to git commit
 pom.xml 2017-09-04 Nicolas Beauger Nicolas Beauger [1c6bf4] CVC3: make a feature

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) and unzip it into fresh folder "/tmp/rodin".

     mkdir /tmp/rodin
     cd /tmp
     wget http://sf.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/VERSION/org.rodinp.dev-VERSION.zip/download
     cd rodin
     unzip ../org.rodinp.dev-VERSION.zip


2. Checkout the update site from Subversion:

     cd /tmp
     svn checkout svn+ssh://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/RodinUpdateSite/org.rodinp.updateSite


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

     mvn -Dtycho.localArtifacts=ignore \
         -DrodinTargetSiteUrl=file://tmp/rodin \
	 -DrodinSiteMirror=/tmp/org.rodinp.updateSite \
	 -DforceContextQualifier="$(git log -1 --format='%h')" \
	 clean install

4. Upload to Source Forge all new jar files of features and plug-ins that have
   been added to /tmp/org.rodinp.updateSite and commit the new p2 files in Subversion.