diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-26 13:55:37 +0100 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-11-26 13:55:37 +0100 |
commit | 48b83f69fba64f2846651ad470269cc01ad7fd65 (patch) | |
tree | bce325b21d5183951e1fa83c96870b375ee4d92f /Application/org.eclipse.viatra.solver.language | |
parent | Optimizing generator with linear objective functions (diff) | |
download | VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.tar.gz VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.tar.zst VIATRA-Generator-48b83f69fba64f2846651ad470269cc01ad7fd65.zip |
Fix Z3 dependency
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language')
3 files changed, 35 insertions, 32 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch index 1e189f24..d9fb69f1 100644 --- a/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch +++ b/Application/org.eclipse.viatra.solver.language/.launch/Launch Runtime Eclipse.launch | |||
@@ -1,35 +1,38 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | 1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> |
2 | <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> | 2 | <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> |
3 | <booleanAttribute key="append.args" value="true"/> | 3 | <booleanAttribute key="append.args" value="true"/> |
4 | <booleanAttribute key="askclear" value="true"/> | 4 | <booleanAttribute key="askclear" value="true"/> |
5 | <booleanAttribute key="automaticAdd" value="true"/> | 5 | <booleanAttribute key="automaticAdd" value="true"/> |
6 | <booleanAttribute key="automaticValidate" value="false"/> | 6 | <booleanAttribute key="automaticValidate" value="false"/> |
7 | <stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/> | 7 | <stringAttribute key="bad_container_name" value="/org.eclipse.viatra.solver.language/.launch/"/> |
8 | <stringAttribute key="bootstrap" value=""/> | 8 | <stringAttribute key="bootstrap" value=""/> |
9 | <stringAttribute key="checked" value="[NONE]"/> | 9 | <stringAttribute key="checked" value="[NONE]"/> |
10 | <booleanAttribute key="clearConfig" value="false"/> | 10 | <booleanAttribute key="clearConfig" value="false"/> |
11 | <booleanAttribute key="clearws" value="false"/> | 11 | <booleanAttribute key="clearws" value="false"/> |
12 | <booleanAttribute key="clearwslog" value="false"/> | 12 | <booleanAttribute key="clearwslog" value="false"/> |
13 | <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> | 13 | <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> |
14 | <booleanAttribute key="default" value="true"/> | 14 | <booleanAttribute key="default" value="true"/> |
15 | <booleanAttribute key="includeOptional" value="true"/> | 15 | <booleanAttribute key="includeOptional" value="true"/> |
16 | <stringAttribute key="location" value="${workspace_loc}/../eclipse-2020-03-runtime"/> | 16 | <stringAttribute key="location" value="${workspace_loc}/../eclipse-2020-09-runtime"/> |
17 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> | 17 | <mapAttribute key="org.eclipse.debug.core.environmentVariables"> |
18 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> | 18 | <mapEntry key="LD_LIBRARY_PATH" value="${resource_loc:/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib}"/> |
19 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> | 19 | </mapAttribute> |
20 | </listAttribute> | 20 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> |
21 | <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> | 21 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> |
22 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> | 22 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> |
23 | <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> | 23 | </listAttribute> |
24 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms40m -Xmx512m"/> | 24 | <stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/java-11-openjdk"/> |
25 | <stringAttribute key="pde.version" value="3.3"/> | 25 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> |
26 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> | 26 | <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> |
27 | <booleanAttribute key="show_selected_only" value="false"/> | 27 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms512m -Xmx16g"/> |
28 | <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> | 28 | <stringAttribute key="pde.version" value="3.3"/> |
29 | <booleanAttribute key="tracing" value="false"/> | 29 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> |
30 | <booleanAttribute key="useCustomFeatures" value="false"/> | 30 | <booleanAttribute key="show_selected_only" value="false"/> |
31 | <booleanAttribute key="useDefaultConfig" value="true"/> | 31 | <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> |
32 | <booleanAttribute key="useDefaultConfigArea" value="true"/> | 32 | <booleanAttribute key="tracing" value="false"/> |
33 | <booleanAttribute key="useProduct" value="true"/> | 33 | <booleanAttribute key="useCustomFeatures" value="false"/> |
34 | <booleanAttribute key="usefeatures" value="false"/> | 34 | <booleanAttribute key="useDefaultConfig" value="true"/> |
35 | <booleanAttribute key="useDefaultConfigArea" value="true"/> | ||
36 | <booleanAttribute key="useProduct" value="true"/> | ||
37 | <booleanAttribute key="usefeatures" value="false"/> | ||
35 | </launchConfiguration> | 38 | </launchConfiguration> |
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin index c1d5cb5e..1147f2ef 100644 --- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/parser/antlr/.SolverLanguageTokenDefInjectingParser.xtendbin | |||
Binary files differ | |||
diff --git a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin index 7fb5f085..8bb907a2 100644 --- a/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin +++ b/Application/org.eclipse.viatra.solver.language/xtend-gen/org/eclipse/viatra/solver/language/serializer/.SolverLanguageSyntheticTokenSyntacticSequencer.xtendbin | |||
Binary files differ | |||