diff --git a/artifacts.jar b/artifacts.jar
new file mode 100644
index 000000000..2ba9c95f5
Binary files /dev/null and b/artifacts.jar differ
diff --git a/artifacts.xml.xz b/artifacts.xml.xz
new file mode 100644
index 000000000..a08fa5c97
Binary files /dev/null and b/artifacts.xml.xz differ
diff --git a/content.jar b/content.jar
new file mode 100644
index 000000000..de657ca61
Binary files /dev/null and b/content.jar differ
diff --git a/content.xml.xz b/content.xml.xz
new file mode 100644
index 000000000..a313ec243
Binary files /dev/null and b/content.xml.xz differ
diff --git a/features/fr.lip6.move.gal.cegar.feature_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202405051424.jar
new file mode 100644
index 000000000..d87246a47
Binary files /dev/null and b/features/fr.lip6.move.gal.cegar.feature_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.coloane_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202405051424.jar
new file mode 100644
index 000000000..31bb50404
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.coloane_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.core_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.core_1.0.0.202405051424.jar
new file mode 100644
index 000000000..c5cef3aab
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.core_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.dve_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.dve_1.0.0.202405051424.jar
new file mode 100644
index 000000000..7a847d83a
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.dve_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.examples_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.examples_1.0.0.202405051424.jar
new file mode 100644
index 000000000..f7ff329f8
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.examples_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.itstools_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202405051424.jar
new file mode 100644
index 000000000..039918f6b
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.itstools_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202405051424.jar
new file mode 100644
index 000000000..a8b3079a9
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.pnmcc_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.pnml_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202405051424.jar
new file mode 100644
index 000000000..3f1fbf1a3
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.pnml_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.promela_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.promela_1.0.0.202405051424.jar
new file mode 100644
index 000000000..640fa86ff
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.promela_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.sdk_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202405051424.jar
new file mode 100644
index 000000000..bc85fa237
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.sdk_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.feature.xta_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.feature.xta_1.0.0.202405051424.jar
new file mode 100644
index 000000000..5d2c28eac
Binary files /dev/null and b/features/fr.lip6.move.gal.feature.xta_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202405051424.jar
new file mode 100644
index 000000000..6806c2d9e
Binary files /dev/null and b/features/fr.lip6.move.gal.gal2smt.feature_1.0.0.202405051424.jar differ
diff --git a/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202405051424.jar b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202405051424.jar
new file mode 100644
index 000000000..56aeb878a
Binary files /dev/null and b/features/fr.lip6.move.gal.ltsmin.feature_1.0.0.202405051424.jar differ
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
new file mode 100644
index 000000000..939b5e4ec
Binary files /dev/null and b/features/org.eclipse.orbit.maven.org.antlr.3.2_4.30.0.v20230929-1400.jar differ
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
new file mode 100644
index 000000000..1796aa75e
Binary files /dev/null and b/fr.lip6.move.gal.itscl.product-linux.gtk.x86_64.zip differ
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
new file mode 100644
index 000000000..9b96245bd
Binary files /dev/null and b/fr.lip6.move.gal.itscl.product-macosx.cocoa.x86_64.zip differ
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
new file mode 100644
index 000000000..66bfdb138
Binary files /dev/null and b/fr.lip6.move.gal.itscl.product-win32.win32.x86_64.zip differ
diff --git a/index.html b/index.html
new file mode 100644
index 000000000..207221e9f
--- /dev/null
+++ 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
new file mode 100644
index 000000000..d86a0ed02
--- /dev/null
+++ b/p2.index
@@ -0,0 +1,4 @@
+#Sun May 05 14:28:04 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.202405051424.jar b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202405051424.jar
new file mode 100644
index 000000000..15cef7efe
Binary files /dev/null and b/plugins/fr.lip6.ltl.jhoaf_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202405051424.jar b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202405051424.jar
new file mode 100644
index 000000000..830f28767
Binary files /dev/null and b/plugins/fr.lip6.ltl.spot.binaries_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.ltl.tgba_1.0.0.202405051424.jar b/plugins/fr.lip6.ltl.tgba_1.0.0.202405051424.jar
new file mode 100644
index 000000000..e1aff644b
Binary files /dev/null and b/plugins/fr.lip6.ltl.tgba_1.0.0.202405051424.jar differ
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
new file mode 100644
index 000000000..c4f5eef38
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.core_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202405051424.jar
new file mode 100644
index 000000000..e3ba7195d
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.exportGAL_1.0.0.202405051424.jar differ
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
new file mode 100644
index 000000000..763b5f123
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportCAMI_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202405051424.jar
new file mode 100644
index 000000000..41a21172e
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportITS_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202405051424.jar
new file mode 100644
index 000000000..8dd613853
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportROMEO_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202405051424.jar
new file mode 100644
index 000000000..9b1fbf2b8
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importExportTINA_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202405051424.jar
new file mode 100644
index 000000000..c72c9e5c6
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importFromPROD_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202405051424.jar
new file mode 100644
index 000000000..7628a75a9
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.extensions.importFromSGROMEO_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202405051424.jar
new file mode 100644
index 000000000..910af7a1b
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.fragments.formalisms.its_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202405051424.jar
new file mode 100644
index 000000000..c060336cb
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.fragments.formalisms.tpn_1.0.0.202405051424.jar differ
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
new file mode 100644
index 000000000..b03d0655f
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.interfaces_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202405051424.jar
new file mode 100644
index 000000000..5bd06dec1
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.projects.expressions_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202405051424.jar b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202405051424.jar
new file mode 100644
index 000000000..2e49f1b92
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.projects.its_1.0.0.202405051424.jar differ
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
new file mode 100644
index 000000000..aa8439349
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.thirdparty_1.1.0.202312121620.jar differ
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
new file mode 100644
index 000000000..b471898c7
Binary files /dev/null and b/plugins/fr.lip6.move.coloane.tools.layout_1.1.0.202312121620.jar differ
diff --git a/plugins/fr.lip6.move.divine.togal_1.0.0.202405051424.jar b/plugins/fr.lip6.move.divine.togal_1.0.0.202405051424.jar
new file mode 100644
index 000000000..3db9fcb68
Binary files /dev/null and b/plugins/fr.lip6.move.divine.togal_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202405051424.jar b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202405051424.jar
new file mode 100644
index 000000000..410720731
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext.ide_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202405051424.jar b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202405051424.jar
new file mode 100644
index 000000000..7836b2e3a
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext.ui_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.divine.xtext_1.0.0.202405051424.jar b/plugins/fr.lip6.move.divine.xtext_1.0.0.202405051424.jar
new file mode 100644
index 000000000..35289a749
Binary files /dev/null and b/plugins/fr.lip6.move.divine.xtext_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405051424.jar
new file mode 100644
index 000000000..589481305
Binary files /dev/null and b/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202405051424.jar
new file mode 100644
index 000000000..6d54ac150
Binary files /dev/null and b/plugins/fr.lip6.move.gal.cegar.ui_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.cegar_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.cegar_1.0.0.202405051424.jar
new file mode 100644
index 000000000..30f5dc35e
Binary files /dev/null and b/plugins/fr.lip6.move.gal.cegar_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.examples_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.examples_1.0.0.202405051424.jar
new file mode 100644
index 000000000..986c884c0
Binary files /dev/null and b/plugins/fr.lip6.move.gal.examples_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202405051424.jar
new file mode 100644
index 000000000..a9490aa76
Binary files /dev/null and b/plugins/fr.lip6.move.gal.gal2pins_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202405051424.jar
new file mode 100644
index 000000000..b2ca21672
Binary files /dev/null and b/plugins/fr.lip6.move.gal.gal2smt_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.ide_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.ide_1.0.0.202405051424.jar
new file mode 100644
index 000000000..61677994a
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ide_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405051424.jar
new file mode 100644
index 000000000..4dd40b7e2
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202405051424.jar
new file mode 100644
index 000000000..b7e04b233
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.launch_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202405051424.jar
new file mode 100644
index 000000000..790f6a14b
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.options_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202405051424.jar
new file mode 100644
index 000000000..14aada19b
Binary files /dev/null and b/plugins/fr.lip6.move.gal.itstools.preference_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202405051424.jar
new file mode 100644
index 000000000..51200553b
Binary files /dev/null and b/plugins/fr.lip6.move.gal.logic.saxparse_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.logic_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.logic_1.0.0.202405051424.jar
new file mode 100644
index 000000000..a60f39cdb
Binary files /dev/null and b/plugins/fr.lip6.move.gal.logic_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405051424.jar
new file mode 100644
index 000000000..91265f3ca
Binary files /dev/null and b/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.louvain_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.louvain_1.0.0.202405051424.jar
new file mode 100644
index 000000000..c6181407e
Binary files /dev/null and b/plugins/fr.lip6.move.gal.louvain_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405051424.jar
new file mode 100644
index 000000000..b17cf3aa2
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202405051424.jar
new file mode 100644
index 000000000..7a9bf38dd
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.launch_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202405051424.jar
new file mode 100644
index 000000000..044592f1d
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin.preference_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202405051424.jar
new file mode 100644
index 000000000..ce659dd50
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ltsmin_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.nupn_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.nupn_1.0.0.202405051424.jar
new file mode 100644
index 000000000..462948017
Binary files /dev/null and b/plugins/fr.lip6.move.gal.nupn_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202405051424.jar
new file mode 100644
index 000000000..28d2879a2
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pn2pins_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202405051424.jar
new file mode 100644
index 000000000..ef3363e46
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.saxparse_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202405051424.jar
new file mode 100644
index 000000000..38d2b69bb
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.togal.ui_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202405051424.jar
new file mode 100644
index 000000000..dcd82fa27
Binary files /dev/null and b/plugins/fr.lip6.move.gal.pnml.togal_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.process_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.process_1.0.0.202405051424.jar
new file mode 100644
index 000000000..c94a07445
Binary files /dev/null and b/plugins/fr.lip6.move.gal.process_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202405051424.jar
new file mode 100644
index 000000000..20031fcba
Binary files /dev/null and b/plugins/fr.lip6.move.gal.struct2gal_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.structural_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.structural_1.0.0.202405051424.jar
new file mode 100644
index 000000000..87dbf0e8e
Binary files /dev/null and b/plugins/fr.lip6.move.gal.structural_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal.ui_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal.ui_1.0.0.202405051424.jar
new file mode 100644
index 000000000..d6dd9765a
Binary files /dev/null and b/plugins/fr.lip6.move.gal.ui_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.gal_1.0.0.202405051424.jar b/plugins/fr.lip6.move.gal_1.0.0.202405051424.jar
new file mode 100644
index 000000000..1bd4a3eb1
Binary files /dev/null and b/plugins/fr.lip6.move.gal_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.promela.ide_1.0.0.202405051424.jar b/plugins/fr.lip6.move.promela.ide_1.0.0.202405051424.jar
new file mode 100644
index 000000000..970c5da08
Binary files /dev/null and b/plugins/fr.lip6.move.promela.ide_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.promela.togal_1.0.0.202405051424.jar b/plugins/fr.lip6.move.promela.togal_1.0.0.202405051424.jar
new file mode 100644
index 000000000..a7a8d6d08
Binary files /dev/null and b/plugins/fr.lip6.move.promela.togal_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.promela.ui_1.0.0.202405051424.jar b/plugins/fr.lip6.move.promela.ui_1.0.0.202405051424.jar
new file mode 100644
index 000000000..9d538fa28
Binary files /dev/null and b/plugins/fr.lip6.move.promela.ui_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.promela_1.0.0.202405051424.jar b/plugins/fr.lip6.move.promela_1.0.0.202405051424.jar
new file mode 100644
index 000000000..543195d80
Binary files /dev/null and b/plugins/fr.lip6.move.promela_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.xta.ide_1.0.0.202405051424.jar b/plugins/fr.lip6.move.xta.ide_1.0.0.202405051424.jar
new file mode 100644
index 000000000..a05c28ba1
Binary files /dev/null and b/plugins/fr.lip6.move.xta.ide_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.xta.togal_1.0.0.202405051424.jar b/plugins/fr.lip6.move.xta.togal_1.0.0.202405051424.jar
new file mode 100644
index 000000000..45cadeba4
Binary files /dev/null and b/plugins/fr.lip6.move.xta.togal_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.xta.ui_1.0.0.202405051424.jar b/plugins/fr.lip6.move.xta.ui_1.0.0.202405051424.jar
new file mode 100644
index 000000000..5991ce2b0
Binary files /dev/null and b/plugins/fr.lip6.move.xta.ui_1.0.0.202405051424.jar differ
diff --git a/plugins/fr.lip6.move.xta_1.0.0.202405051424.jar b/plugins/fr.lip6.move.xta_1.0.0.202405051424.jar
new file mode 100644
index 000000000..705558514
Binary files /dev/null and b/plugins/fr.lip6.move.xta_1.0.0.202405051424.jar differ
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
new file mode 100644
index 000000000..24de6aff5
Binary files /dev/null and b/plugins/fr.lip6.pnml.framework.ptnet_2.2.17.v20240312-152203.jar differ
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
new file mode 100644
index 000000000..1fcb51916
Binary files /dev/null and b/plugins/fr.lip6.pnml.framework.symmetricnet_2.2.17.v20240312-152203.jar differ
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
new file mode 100644
index 000000000..c43587f8b
Binary files /dev/null and b/plugins/fr.lip6.pnml.framework.utils_2.2.17.v20240312-152203.jar differ
diff --git a/plugins/fr.lip6.smt.z3.binaries_1.0.0.202405051424.jar b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202405051424.jar
new file mode 100644
index 000000000..7e8fb81ae
Binary files /dev/null and b/plugins/fr.lip6.smt.z3.binaries_1.0.0.202405051424.jar differ
diff --git a/plugins/java.picocli_1.0.0.202405051424.jar b/plugins/java.picocli_1.0.0.202405051424.jar
new file mode 100644
index 000000000..26bd15d30
Binary files /dev/null and b/plugins/java.picocli_1.0.0.202405051424.jar differ
diff --git a/plugins/lip6.smtlib.SMT_1.0.0.202405051424.jar b/plugins/lip6.smtlib.SMT_1.0.0.202405051424.jar
new file mode 100644
index 000000000..42cec5cc3
Binary files /dev/null and b/plugins/lip6.smtlib.SMT_1.0.0.202405051424.jar differ
diff --git a/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202405051424.jar b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202405051424.jar
new file mode 100644
index 000000000..932ac1f17
Binary files /dev/null and b/plugins/lip6.smtlib.plugin.SMTPlugin_1.0.0.202405051424.jar differ
diff --git a/plugins/org.antlr.antlr4-runtime_4.13.1.jar b/plugins/org.antlr.antlr4-runtime_4.13.1.jar
new file mode 100644
index 000000000..cff419831
Binary files /dev/null and b/plugins/org.antlr.antlr4-runtime_4.13.1.jar differ
diff --git a/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar b/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar
new file mode 100644
index 000000000..104cc9c5d
Binary files /dev/null and b/plugins/org.antlr.runtime_3.2.0.v20230929-1400.jar differ
diff --git a/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar b/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar
new file mode 100644
index 000000000..1ad8e8059
Binary files /dev/null and b/plugins/org.antlr.runtime_4.7.2.v20221112-0806.jar differ
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
new file mode 100644
index 000000000..dfee60052
Binary files /dev/null and b/plugins/org.apache.james.apache-mime4j-core_0.8.7.jar differ
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
new file mode 100644
index 000000000..2cb50d466
Binary files /dev/null and b/plugins/org.apache.ws.commons.axiom.axiom-api_1.3.0.jar differ
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
new file mode 100644
index 000000000..e7bbc35f0
Binary files /dev/null and b/plugins/org.apache.ws.commons.axiom.axiom-dom_1.3.0.jar differ
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
new file mode 100644
index 000000000..c7543eced
Binary files /dev/null and b/plugins/org.apache.ws.commons.axiom.axiom-impl_1.3.0.jar differ
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
new file mode 100644
index 000000000..03f690a34
Binary files /dev/null and b/plugins/org.eclipse.ocl.ecore_3.19.0.v20231129-1236.jar differ
diff --git a/plugins/org.logicng_1.0.0.202405051424.jar b/plugins/org.logicng_1.0.0.202405051424.jar
new file mode 100644
index 000000000..ef9b42dae
Binary files /dev/null and b/plugins/org.logicng_1.0.0.202405051424.jar differ
diff --git a/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar b/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar
new file mode 100644
index 000000000..a36f763a1
Binary files /dev/null and b/plugins/wrapped.com.thaiopensource.jing_20091111.0.0.jar differ