Deploying to gh-pages from @ e156bf9 🚀

lip6 · May 4, 2024 · 5c208f0 · 5c208f0
commit 5c208f0
Show file tree

Hide file tree

Showing 99 changed files with 47 additions and 0 deletions.
diff --git a/artifacts.jar b/artifacts.jar
diff --git a/artifacts.xml.xz b/artifacts.xml.xz
diff --git a/content.jar b/content.jar
diff --git a/content.xml.xz b/content.xml.xz
diff --git a/features/fr.lip6.move.gal.cegar.feature_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.coloane_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.core_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.core_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.dve_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.dve_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.examples_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.examples_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.itstools_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.pnml_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.promela_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.promela_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.sdk_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.feature.xta_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.feature.xta_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202405041920.jar
diff --git a/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202405041920.jar b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202405041920.jar
diff --git a/features/org.eclipse.orbit.maven.org.antlr.3.2_4.30.0.v20230929-1400.jar b/features/org.eclipse.orbit.maven.org.antlr.3.2_4.30.0.v20230929-1400.jar
diff --git a/fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip b/fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip
diff --git a/fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip b/fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip
diff --git a/fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip b/fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip
diff --git a/index.html b/index.html
@@ -0,0 +1,43 @@
+<h1> Download page for ITS tools command line</h1>
+
+<p> Despite the ui integration of ITS-Tools with Eclipse being very nice, many scenarios involve calling the ITS-tools as part of a process, thus are easier to write and maintain using the command line.
+Plus some people just think eclipse is bloated and over-complex or have never used it, adopting it because of ITS-tools is too much.
+However ITS-tools leverages many components of the eclipse platform, notably EMF and XText which made extracting our code a bit of an issue.
+</p>
+
+<p>
+So due to popular demand, we are happy to present the ITS-tools command line support, that allows to do everything we could from Eclipse, but using a plain command line and with minimal download/install hassle.
+</p>
+
+<h2>Download the its-cl ITS tools command line for Linux here : <a href="fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip"> its-cl Linux (gtk, x64)</a> 
+This is the version used in the <a href="http://mcc.lip6.fr">Model-checking competition at ICATPN </a>
+</h2>
+
+<h2>Download the its-cl ITS tools command line for Windows here : <a href="fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip"> its-cl Windows (XP or later, x64)</a>. 
+  Please note that for this windows build you need to invoke "eclipsec" command instead of "its-tools".</h2>
+
+<h2>Download the its-cl ITS tools command line for MacOS here : <a href="fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip"> its-cl OSX (Cocoa x64)</a> </h2>
+
+<h3> Please note that you need Java 11 or better to run these tools. Simply unzip and run "its-tools" command.</h3>
+
+<p>
+Current flags are relatively limited :<br/>
+<ul>
+<li> -i FILE  : specify input file, a full gal model (parameters, hierarchy, loops, properties) such as used within eclipse.
+</li>
+<li> Logic flags (only one at a time)
+<ul>
+<li> -reach  : check all Safety and Bounds properties of the input
+</li>
+<li> -ctl  : check all CTL properties of the input
+</li>
+<li> -ltl  : check all LTL properties of the input
+</li>
+</ul>
+</li>
+<li>
+-itsflags FLAGS : specify additional flags, passed as is to the actual model-checking tool. For instance <h5>-itsflags "--trace-states  -manywitness  10"</h5> will display several counter examples.
+</li>
+</ul>
+
+</p>
diff --git a/p2.index b/p2.index
@@ -0,0 +1,4 @@
+#Sat May 04 19:23:05 UTC 2024
+artifact.repository.factory.order=artifacts.xml.xz,artifacts.xml,\!
+version=1
+metadata.repository.factory.order=content.xml.xz,content.xml,\!
diff --git a/plugins/fr.lip6.ltl.jhoaf_1.0.0.202405041920.jar b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202405041920.jar b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.ltl.tgba_1.0.0.202405041920.jar b/plugins/fr.lip6.ltl.tgba_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.core_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.core_1.1.0.202312121620.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202312121620.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202312121620.jar
diff --git a/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202405041920.jar b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202312121620.jar
diff --git a/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202312121620.jar b/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202312121620.jar
diff --git a/plugins/fr.lip6.move.divine.togal_1.0.0.202405041920.jar b/plugins/fr.lip6.move.divine.togal_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202405041920.jar b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202405041920.jar b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.divine.xtext_1.0.0.202405041920.jar b/plugins/fr.lip6.move.divine.xtext_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.cegar_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.cegar_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.examples_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.examples_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.ide_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.ide_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.logic_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.logic_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.louvain_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.louvain_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.nupn_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.nupn_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.process_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.process_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.structural_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.structural_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal.ui_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal.ui_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.gal_1.0.0.202405041920.jar b/plugins/fr.lip6.move.gal_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.promela.ide_1.0.0.202405041920.jar b/plugins/fr.lip6.move.promela.ide_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.promela.togal_1.0.0.202405041920.jar b/plugins/fr.lip6.move.promela.togal_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.promela.ui_1.0.0.202405041920.jar b/plugins/fr.lip6.move.promela.ui_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.promela_1.0.0.202405041920.jar b/plugins/fr.lip6.move.promela_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.xta.ide_1.0.0.202405041920.jar b/plugins/fr.lip6.move.xta.ide_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.xta.togal_1.0.0.202405041920.jar b/plugins/fr.lip6.move.xta.togal_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.xta.ui_1.0.0.202405041920.jar b/plugins/fr.lip6.move.xta.ui_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.move.xta_1.0.0.202405041920.jar b/plugins/fr.lip6.move.xta_1.0.0.202405041920.jar
diff --git a/plugins/fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar b/plugins/fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar
diff --git a/plugins/fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar b/plugins/fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar
diff --git a/plugins/fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar b/plugins/fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar
diff --git a/plugins/fr.lip6.smt.z3.binaries_1.0.0.202405041920.jar b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202405041920.jar
diff --git a/plugins/java.picocli_1.0.0.202405041920.jar b/plugins/java.picocli_1.0.0.202405041920.jar
diff --git a/plugins/lip6.smtlib.SMT_1.0.0.202405041920.jar b/plugins/lip6.smtlib.SMT_1.0.0.202405041920.jar
diff --git a/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202405041920.jar b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202405041920.jar
diff --git a/plugins/org.antlr.antlr4-runtime_4.13.1.jar b/plugins/org.antlr.antlr4-runtime_4.13.1.jar
diff --git a/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar b/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar
diff --git a/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar b/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar
diff --git a/plugins/org.apache.james.apache-mime4j-core_0.8.7.jar b/plugins/org.apache.james.apache-mime4j-core_0.8.7.jar
diff --git a/plugins/org.apache.ws.commons.axiom.axiom-api_1.3.0.jar b/plugins/org.apache.ws.commons.axiom.axiom-api_1.3.0.jar
diff --git a/plugins/org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar b/plugins/org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar
diff --git a/plugins/org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar b/plugins/org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar
diff --git a/plugins/org.eclipse.ocl.ecore_3.19.0.v20231129-1236.jar b/plugins/org.eclipse.ocl.ecore_3.19.0.v20231129-1236.jar
diff --git a/plugins/org.logicng_1.0.0.202405041920.jar b/plugins/org.logicng_1.0.0.202405041920.jar
diff --git a/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar b/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar