...
 
Commits (570)
[submodule "com.microsoft.z3/.settings"]
path = com.microsoft.z3/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "eu.fbk.af3.tools.diagram/.settings"]
path = eu.fbk.af3.tools.diagram/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "eu.fbk.af3.tools.diagram.ui/.settings"]
path = eu.fbk.af3.tools.diagram.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.allocation/.settings"]
path = org.fortiss.af3.allocation/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.allocation.ui/.settings"]
path = org.fortiss.af3.allocation.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.component/.settings"]
path = org.fortiss.af3.component/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.component.ui/.settings"]
path = org.fortiss.af3.component.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.cosimulation/.settings"]
path = org.fortiss.af3.cosimulation/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.cosimulation.ui/.settings"]
path = org.fortiss.af3.cosimulation.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
[submodule "org.fortiss.af3.deployment/.settings"]
path = org.fortiss.af3.deployment/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
[submodule "org.fortiss.af3.deployment.ui/.settings"]
path = org.fortiss.af3.deployment.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.exploration/.settings"]
path = org.fortiss.af3.exploration/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.exploration.smt/.settings"]
path = org.fortiss.af3.exploration.smt/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.exploration.ui/.settings"]
path = org.fortiss.af3.exploration.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.expression/.settings"]
path = org.fortiss.af3.expression/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.expression.ui/.settings"]
path = org.fortiss.af3.expression.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.generator.common/.settings"]
path = org.fortiss.af3.generator.common/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.mira/.settings"]
path = org.fortiss.af3.mira/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.mira.ui/.settings"]
path = org.fortiss.af3.mira.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.mode/.settings"]
path = org.fortiss.af3.mode/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.mode.ui/.settings"]
path = org.fortiss.af3.mode.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.msc/.settings"]
path = org.fortiss.af3.msc/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.msc.ui/.settings"]
path = org.fortiss.af3.msc.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.ocra/.settings"]
path = org.fortiss.af3.ocra/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.operatorpanel/.settings"]
path = org.fortiss.af3.operatorpanel/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.operatorpanel.ui/.settings"]
path = org.fortiss.af3.operatorpanel.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.partition/.settings"]
path = org.fortiss.af3.partition/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.partition.ui/.settings"]
path = org.fortiss.af3.partition.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform/.settings"]
path = org.fortiss.af3.platform/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.beagle/.settings"]
path = org.fortiss.af3.platform.beagle/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.beagle.ui/.settings"]
path = org.fortiss.af3.platform.beagle.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.hierarchic/.settings"]
path = org.fortiss.af3.platform.hierarchic/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.hierarchic.ui/.settings"]
path = org.fortiss.af3.platform.hierarchic.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.platform.ui/.settings"]
path = org.fortiss.af3.platform.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.project/.settings"]
path = org.fortiss.af3.project/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.project.ui/.settings"]
path = org.fortiss.af3.project.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
[submodule "org.fortiss.af3.rcp.application/.settings"]
path = org.fortiss.af3.rcp.application/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.refinement/.settings"]
path = org.fortiss.af3.refinement/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.refinement.ui/.settings"]
path = org.fortiss.af3.refinement.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.safety/.settings"]
path = org.fortiss.af3.safety/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.safety.ui/.settings"]
path = org.fortiss.af3.safety.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.safetycases/.settings"]
path = org.fortiss.af3.safetycases/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.safetycases.ui/.settings"]
path = org.fortiss.af3.safetycases.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.schedule/.settings"]
path = org.fortiss.af3.schedule/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.schedule.ui/.settings"]
path = org.fortiss.af3.schedule.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.specification/.settings"]
path = org.fortiss.af3.specification/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.specification.ui/.settings"]
path = org.fortiss.af3.specification.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.state/.settings"]
path = org.fortiss.af3.state/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.state.ui/.settings"]
path = org.fortiss.af3.state.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.task/.settings"]
path = org.fortiss.af3.task/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.task.ui/.settings"]
path = org.fortiss.af3.task.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.testing/.settings"]
path = org.fortiss.af3.testing/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.testing.ui/.settings"]
path = org.fortiss.af3.testing.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.timing/.settings"]
path = org.fortiss.af3.timing/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.timing.ui/.settings"]
path = org.fortiss.af3.timing.ui/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.af3.tools/.settings"]
path = org.fortiss.af3.tools/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
[submodule "org.fortiss.pragmatictransformation/.settings"]
path = org.fortiss.pragmatictransformation/.settings
url = https://git.fortiss.org/af3/plugin-settings.git
branch = master
......@@ -5,11 +5,6 @@
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.fortiss.ide.dev_tools.emf.builder.EcoreBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.systemfocus.tooling.emfgeneration.git.EcoreBuilderGIT</name>
<arguments>
......@@ -30,16 +25,6 @@
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.RemoveWarningsBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.GuidelinesChecker</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.systemfocus.tooling.codereview.builder.CodeReviewBuilder</name>
<arguments>
......
Subproject commit cdce9ac9a94655561e7dff41ece863f0a7062f4a
Subproject commit d117b3db1742a745f515d2b6c52cc9a02e57c299
# Howto update the Z3 base libraries
## Getting and placing the libraries
* Fetch the osx & debian & win 32-bit & win 64 binary archives from https://github.com/Z3Prover/z3/releases.
* For the Windows 32 bit version, copy all dll files from the bin folder into the x32 folder of this plugin.
* The same applies for Windows 64 bits and the x64 folder respectively.
* For Linux, copy the *.so libraries to the x64 folder.
* For MacOS, copy the *.dylib files to the x64 folder.
* From any of the above archives, copy the com.microsoft.jar file to this folder.
## Prepare for use in AF3
* For Linux, execute "patchelf --set-rpath '$ORIGIN' <path/to/libz3java.so>" in a terminal. You may need to install patchelf first.
......@@ -20,16 +20,6 @@
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.RemoveWarningsBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.GuidelinesChecker</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.systemfocus.tooling.codereview.builder.CodeReviewBuilder</name>
<arguments>
......
Subproject commit cdce9ac9a94655561e7dff41ece863f0a7062f4a