aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-07 21:27:58 +0200
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-05-07 21:27:58 +0200
commitfd2efee477e4c32a5014fb9daa5c987ad21adb47 (patch)
treefb74ca2087e652be7c683dd179bfc228a7046ba8
parentDebug for SMT scopes (diff)
downloadVIATRA-Generator-fd2efee477e4c32a5014fb9daa5c987ad21adb47.tar.gz
VIATRA-Generator-fd2efee477e4c32a5014fb9daa5c987ad21adb47.tar.zst
VIATRA-Generator-fd2efee477e4c32a5014fb9daa5c987ad21adb47.zip
Updated and fixed dependencies:
- All java library dependency: fixed to java 1.8 - Added Automatic-Module-Name to be compatible with java 1.9 - Added all sources explicitly to build.properties - removed .util packages generated by previous versions of Viatra
Diffstat
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application.ide/META-INF/MANIFEST.MF1
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF1
-rw-r--r--Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF2
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/META-INF/MANIFEST.MF1
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/build.properties4
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF48
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF1
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/build.properties3
-rw-r--r--Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF36
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.classpath2
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.settings/org.eclipse.jdt.core.prefs6
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath4
-rw-r--r--Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF3
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF3
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF3
-rw-r--r--Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF36
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties3
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/build.properties4
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties3
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath7
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs9
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF1
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties3
28 files changed, 104 insertions, 85 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ide/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application.ide/META-INF/MANIFEST.MF
index ea887458..af0f11a6 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ide/META-INF/MANIFEST.MF
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ide/META-INF/MANIFEST.MF
@@ -11,4 +11,5 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.application,
11Bundle-RequiredExecutionEnvironment: JavaSE-1.8 11Bundle-RequiredExecutionEnvironment: JavaSE-1.8
12Export-Package: hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr.internal, 12Export-Package: hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr.internal,
13 hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr 13 hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr
14Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application.ide
14 15
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF
index d4e1dd3c..df5caadc 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF
+++ b/Application/hu.bme.mit.inf.dslreasoner.application.ui/META-INF/MANIFEST.MF
@@ -24,3 +24,4 @@ Export-Package: hu.bme.mit.inf.dslreasoner.application.ui.quickfix,
24 hu.bme.mit.inf.dslreasoner.application.ui.contentassist, 24 hu.bme.mit.inf.dslreasoner.application.ui.contentassist,
25 hu.bme.mit.inf.dslreasoner.application.ui.internal 25 hu.bme.mit.inf.dslreasoner.application.ui.internal
26Bundle-Activator: hu.bme.mit.inf.dslreasoner.application.ui.internal.ApplicationActivator 26Bundle-Activator: hu.bme.mit.inf.dslreasoner.application.ui.internal.ApplicationActivator
27Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application.ui
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
index b2b0b963..d4ff8fe9 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF
@@ -24,7 +24,6 @@ Require-Bundle: org.eclipse.xtext,
24 hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0", 24 hu.bme.mit.inf.dlsreasoner.alloy.reasoner;bundle-version="1.0.0",
25 hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0", 25 hu.bme.mit.inf.dslreasoner.logic2ecore;bundle-version="1.0.0",
26 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0", 26 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;bundle-version="1.0.0",
27 org.eclipse.viatra.query.patternlanguage;bundle-version="1.7.0",
28 org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.7.0", 27 org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.7.0",
29 org.eclipse.viatra.query.runtime;bundle-version="1.7.0", 28 org.eclipse.viatra.query.runtime;bundle-version="1.7.0",
30 org.eclipse.emf.codegen;bundle-version="2.11.0", 29 org.eclipse.emf.codegen;bundle-version="2.11.0",
@@ -48,3 +47,4 @@ Export-Package: hu.bme.mit.inf.dslreasoner.application,
48 hu.bme.mit.inf.dslreasoner.application.services, 47 hu.bme.mit.inf.dslreasoner.application.services,
49 hu.bme.mit.inf.dslreasoner.application.validation 48 hu.bme.mit.inf.dslreasoner.application.validation
50Import-Package: org.apache.log4j 49Import-Package: org.apache.log4j
50Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/META-INF/MANIFEST.MF
index f38f6fee..5d26ded7 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/META-INF/MANIFEST.MF
@@ -20,4 +20,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner.ecore2logic,
20 hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations, 20 hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations,
21 hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl, 21 hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.impl,
22 hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.util 22 hu.bme.mit.inf.dslreasoner.ecore2logic.ecore2logicannotations.util
23Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.ecore2logic
23 24
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/build.properties b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/build.properties
index 72399047..b283764d 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/build.properties
+++ b/Framework/hu.bme.mit.inf.dslreasoner.ecore2logic/build.properties
@@ -6,5 +6,7 @@ bin.includes = .,\
6 plugin.xml,\ 6 plugin.xml,\
7 plugin.properties 7 plugin.properties
8jars.compile.order = . 8jars.compile.order = .
9source.. = ecore-gen/ 9source.. = ecore-gen/,\
10 src/,\
11 xtend-gen/
10output.. = bin/ 12output.. = bin/
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
index ede7da3f..b4f60202 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic.model/META-INF/MANIFEST.MF
@@ -6,30 +6,30 @@ Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: . 6Bundle-ClassPath: .
7Bundle-Vendor: %providerName 7Bundle-Vendor: %providerName
8Bundle-Localization: plugin 8Bundle-Localization: plugin
9Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder, 9Export-Package: hu.bme.mit.inf.dslreasoner.logic.model.builder,
10 hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker, 10 hu.bme.mit.inf.dslreasoner.logic.model.builder.consistencychecker,
11 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage, 11 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage,
12 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl, 12 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.impl,
13 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util, 13 hu.bme.mit.inf.dslreasoner.logic.model.logiclanguage.util,
14 hu.bme.mit.inf.dslreasoner.logic.model.logicproblem, 14 hu.bme.mit.inf.dslreasoner.logic.model.logicproblem,
15 hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl, 15 hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.impl,
16 hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util, 16 hu.bme.mit.inf.dslreasoner.logic.model.logicproblem.util,
17 hu.bme.mit.inf.dslreasoner.logic.model.logicresult, 17 hu.bme.mit.inf.dslreasoner.logic.model.logicresult,
18 hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl, 18 hu.bme.mit.inf.dslreasoner.logic.model.logicresult.impl,
19 hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util, 19 hu.bme.mit.inf.dslreasoner.logic.model.logicresult.util,
20 hu.bme.mit.inf.dslreasoner.logic.model.patterns, 20 hu.bme.mit.inf.dslreasoner.logic.model.patterns,
21 hu.bme.mit.inf.dslreasoner.logic.model.patterns.util, 21 hu.bme.mit.inf.dslreasoner.logic.model.statistics,
22 hu.bme.mit.inf.dslreasoner.logic.model.statistics, 22 hu.bme.mit.inf.dslreasoner.util,
23 hu.bme.mit.inf.dslreasoner.util, 23 hu.bme.mit.inf.dslreasoner.workspace
24 hu.bme.mit.inf.dslreasoner.workspace 24Require-Bundle: org.eclipse.core.runtime,
25Require-Bundle: org.eclipse.core.runtime, 25 org.eclipse.emf.ecore;visibility:=reexport,
26 org.eclipse.emf.ecore;visibility:=reexport, 26 com.google.guava,
27 com.google.guava, 27 org.eclipse.xtend.lib,
28 org.eclipse.xtend.lib, 28 org.eclipse.xtext.xbase.lib,
29 org.eclipse.xtext.xbase.lib, 29 org.eclipse.core.resources;bundle-version="3.8.101",
30 org.eclipse.core.resources;bundle-version="3.8.101", 30 org.eclipse.viatra.query.runtime;bundle-version="1.3.0",
31 org.eclipse.viatra.query.runtime;bundle-version="1.3.0", 31 org.apache.commons.lang;bundle-version="2.6.0"
32 org.apache.commons.lang;bundle-version="2.6.0"
33Bundle-RequiredExecutionEnvironment: JavaSE-1.8 32Bundle-RequiredExecutionEnvironment: JavaSE-1.8
34Bundle-ActivationPolicy: lazy 33Bundle-ActivationPolicy: lazy
35Import-Package: org.apache.log4j 34Import-Package: org.apache.log4j
35Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.logic.model
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF
index 5f89c3d0..28a8906d 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/META-INF/MANIFEST.MF
@@ -11,4 +11,5 @@ Require-Bundle: com.google.guava,
11 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 11 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
12 org.eclipse.ocl.ecore;bundle-version="3.6.0" 12 org.eclipse.ocl.ecore;bundle-version="3.6.0"
13Export-Package: hu.bme.mit.inf.dslreasoner.logic2ecore 13Export-Package: hu.bme.mit.inf.dslreasoner.logic2ecore
14Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.logic2ecore
14 15
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/build.properties b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/build.properties
index 41eb6ade..d6c49e5c 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/build.properties
+++ b/Framework/hu.bme.mit.inf.dslreasoner.logic2ecore/build.properties
@@ -1,4 +1,5 @@
1source.. = src/ 1source.. = src/,\
2 xtend-gen/
2output.. = bin/ 3output.. = bin/
3bin.includes = META-INF/,\ 4bin.includes = META-INF/,\
4 . 5 .
diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
index 1872207f..9f2acd2e 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/META-INF/MANIFEST.MF
@@ -22,4 +22,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner.viatra2logic,
22 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations, 22 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations,
23 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl, 23 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.impl,
24 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util 24 hu.bme.mit.inf.dslreasoner.viatra2logic.viatra2logicannotations.util
25Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatra2logic
25 26
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
index fd78a6ae..87ff7abc 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/META-INF/MANIFEST.MF
@@ -3,24 +3,24 @@ Bundle-ManifestVersion: 2
3Bundle-Name: %pluginName 3Bundle-Name: %pluginName
4Bundle-SymbolicName: hu.bme.mit.inf.dlsreasoner.alloy.reasoner;singleton:=true 4Bundle-SymbolicName: hu.bme.mit.inf.dlsreasoner.alloy.reasoner;singleton:=true
5Bundle-Version: 1.0.0.qualifier 5Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: lib/alloy4.2_2015-02-22.jar, 6Bundle-ClassPath: lib/alloy4.2_2015-02-22.jar,
7 . 7 .
8Bundle-Vendor: %providerName 8Bundle-Vendor: %providerName
9Bundle-Localization: plugin 9Bundle-Localization: plugin
10Export-Package: hu.bme.mit.inf.dlsreasoner.alloy.reasoner, 10Export-Package: hu.bme.mit.inf.dlsreasoner.alloy.reasoner,
11 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder, 11 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.builder,
12 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries, 12 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries
13 hu.bme.mit.inf.dlsreasoner.alloy.reasoner.queries.util 13Require-Bundle: com.google.guava,
14Require-Bundle: com.google.guava, 14 org.eclipse.xtend.lib,
15 org.eclipse.xtend.lib, 15 org.eclipse.xtext.xbase.lib,
16 org.eclipse.xtext.xbase.lib, 16 org.eclipse.core.runtime,
17 org.eclipse.core.runtime, 17 org.eclipse.emf.ecore;visibility:=reexport,
18 org.eclipse.emf.ecore;visibility:=reexport, 18 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport,
19 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0";visibility:=reexport, 19 hu.bme.mit.inf.dslreasoner.alloy.language;bundle-version="1.0.0",
20 hu.bme.mit.inf.dslreasoner.alloy.language;bundle-version="1.0.0", 20 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.3.0",
21 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.3.0", 21 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
22 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 22 org.eclipse.viatra.query.runtime;bundle-version="2.0.0"
23 org.eclipse.viatra.query.runtime;bundle-version="2.0.0"
24Bundle-RequiredExecutionEnvironment: JavaSE-1.8
25Bundle-ActivationPolicy: lazy
26Import-Package: org.apache.log4j;version="1.2.15" 23Import-Package: org.apache.log4j;version="1.2.15"
24Automatic-Module-Name: hu.bme.mit.inf.dlsreasoner.alloy.reasoner
25Bundle-ActivationPolicy: lazy
26Bundle-RequiredExecutionEnvironment: JavaSE-1.8
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.classpath b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.classpath
index f5ffadb8..5f53de99 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.classpath
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.classpath
@@ -3,7 +3,7 @@
3 <classpathentry kind="src" path="src"/> 3 <classpathentry kind="src" path="src"/>
4 <classpathentry kind="src" path="src-gen"/> 4 <classpathentry kind="src" path="src-gen"/>
5 <classpathentry kind="src" path="xtend-gen"/> 5 <classpathentry kind="src" path="xtend-gen"/>
6 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
7 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> 6 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
7 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
8 <classpathentry kind="output" path="bin"/> 8 <classpathentry kind="output" path="bin"/>
9</classpath> 9</classpath>
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.settings/org.eclipse.jdt.core.prefs b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.settings/org.eclipse.jdt.core.prefs
index 11f6e462..295926d9 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.settings/org.eclipse.jdt.core.prefs
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/.settings/org.eclipse.jdt.core.prefs
@@ -1,7 +1,7 @@
1eclipse.preferences.version=1 1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled 2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4org.eclipse.jdt.core.compiler.compliance=1.7 4org.eclipse.jdt.core.compiler.compliance=1.8
5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error 5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error 6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
7org.eclipse.jdt.core.compiler.source=1.7 7org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath
index 5c568755..3b84b5ce 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/.classpath
@@ -1,9 +1,9 @@
1<?xml version="1.0" encoding="UTF-8"?> 1<?xml version="1.0" encoding="UTF-8"?>
2<classpath> 2<classpath>
3 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
3 <classpathentry kind="src" path="src"/> 4 <classpathentry kind="src" path="src"/>
4 <classpathentry kind="src" path="src-gen"/> 5 <classpathentry kind="src" path="src-gen"/>
5 <classpathentry kind="src" path="xtend-gen"/> 6 <classpathentry kind="src" path="xtend-gen"/>
6 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> 7 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
7 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
8 <classpathentry kind="output" path="bin"/> 8 <classpathentry kind="output" path="bin"/>
9</classpath> 9</classpath>
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
index 1de8b744..0b5013dd 100644
--- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
+++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext;visibility:=reexport,
21 org.objectweb.asm;bundle-version="[5.0.1,6.0.0)";resolution:=optional, 21 org.objectweb.asm;bundle-version="[5.0.1,6.0.0)";resolution:=optional,
22 org.eclipse.equinox.common;bundle-version="3.7.0" 22 org.eclipse.equinox.common;bundle-version="3.7.0"
23Import-Package: org.apache.log4j 23Import-Package: org.apache.log4j
24Bundle-RequiredExecutionEnvironment: JavaSE-1.7 24Bundle-RequiredExecutionEnvironment: JavaSE-1.8
25Export-Package: hu.bme.mit.inf.dslreasoner, 25Export-Package: hu.bme.mit.inf.dslreasoner,
26 hu.bme.mit.inf.dslreasoner.services, 26 hu.bme.mit.inf.dslreasoner.services,
27 hu.bme.mit.inf.dslreasoner.alloyLanguage, 27 hu.bme.mit.inf.dslreasoner.alloyLanguage,
@@ -34,4 +34,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner,
34 hu.bme.mit.inf.dslreasoner.scoping, 34 hu.bme.mit.inf.dslreasoner.scoping,
35 hu.bme.mit.inf.dslreasoner.generator, 35 hu.bme.mit.inf.dslreasoner.generator,
36 hu.bme.mit.inf.dslreasoner.formatting 36 hu.bme.mit.inf.dslreasoner.formatting
37Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.alloy.language
37 38
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
index ba28b7ef..15ef98c3 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui/META-INF/MANIFEST.MF
@@ -19,9 +19,10 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.smt.language;visibility:=reexport,
19 org.eclipse.xtext.xbase.lib 19 org.eclipse.xtext.xbase.lib
20Import-Package: org.apache.log4j, 20Import-Package: org.apache.log4j,
21 org.eclipse.xtext.xbase.lib 21 org.eclipse.xtext.xbase.lib
22Bundle-RequiredExecutionEnvironment: J2SE-1.5 22Bundle-RequiredExecutionEnvironment: JavaSE-1.8
23Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix, 23Export-Package: hu.bme.mit.inf.dslreasoner.ui.quickfix,
24 hu.bme.mit.inf.dslreasoner.ui.contentassist, 24 hu.bme.mit.inf.dslreasoner.ui.contentassist,
25 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr, 25 hu.bme.mit.inf.dslreasoner.ui.contentassist.antlr,
26 hu.bme.mit.inf.dslreasoner.ui.internal 26 hu.bme.mit.inf.dslreasoner.ui.internal
27Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator 27Bundle-Activator: hu.bme.mit.inf.dslreasoner.ui.internal.SmtLanguageActivator
28Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.language.ui
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
index ec8f78ce..4476ca09 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language/META-INF/MANIFEST.MF
@@ -21,7 +21,7 @@ Require-Bundle: org.eclipse.xtext;visibility:=reexport,
21 org.eclipse.xtext.xbase.lib 21 org.eclipse.xtext.xbase.lib
22Import-Package: org.apache.log4j, 22Import-Package: org.apache.log4j,
23 org.eclipse.xtext.xbase.lib 23 org.eclipse.xtext.xbase.lib
24Bundle-RequiredExecutionEnvironment: J2SE-1.5 24Bundle-RequiredExecutionEnvironment: JavaSE-1.8
25Export-Package: hu.bme.mit.inf.dslreasoner, 25Export-Package: hu.bme.mit.inf.dslreasoner,
26 hu.bme.mit.inf.dslreasoner.services, 26 hu.bme.mit.inf.dslreasoner.services,
27 hu.bme.mit.inf.dslreasoner.smtLanguage, 27 hu.bme.mit.inf.dslreasoner.smtLanguage,
@@ -34,4 +34,5 @@ Export-Package: hu.bme.mit.inf.dslreasoner,
34 hu.bme.mit.inf.dslreasoner.scoping, 34 hu.bme.mit.inf.dslreasoner.scoping,
35 hu.bme.mit.inf.dslreasoner.generator, 35 hu.bme.mit.inf.dslreasoner.generator,
36 hu.bme.mit.inf.dslreasoner.formatting 36 hu.bme.mit.inf.dslreasoner.formatting
37Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.language
37 38
diff --git a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF
index a7f26476..b844e56f 100644
--- a/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.reasoner/META-INF/MANIFEST.MF
@@ -10,3 +10,4 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.smt.language;bundle-version="1.0.0",
10 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0", 10 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0",
11 org.eclipse.viatra.query.tooling.core;bundle-version="1.5.0" 11 org.eclipse.viatra.query.tooling.core;bundle-version="1.5.0"
12Export-Package: hu.bme.mit.inf.dslreasoner.smt.reasoner 12Export-Package: hu.bme.mit.inf.dslreasoner.smt.reasoner
13Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.smt.reasoner
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF
index 8f0e037a..6510a20a 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/META-INF/MANIFEST.MF
@@ -3,24 +3,24 @@ Bundle-ManifestVersion: 2
3Bundle-Name: Logic2viatra 3Bundle-Name: Logic2viatra
4Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;singleton:=true 4Bundle-SymbolicName: hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery;singleton:=true
5Bundle-Version: 1.0.0.qualifier 5Bundle-Version: 1.0.0.qualifier
6Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra, 6Export-Package: hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra,
7 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.queries, 7 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.queries,
8 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.queries.util 8 hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.queries.util
9Require-Bundle: hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0", 9Require-Bundle: hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",
10 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0", 10 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0",
11 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 11 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
12 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0", 12 hu.bme.mit.inf.dslreasoner.viatra2logic;bundle-version="1.0.0",
13 com.google.guava, 13 com.google.guava,
14 org.eclipse.xtext.xbase.lib, 14 org.eclipse.xtext.xbase.lib,
15 org.eclipse.xtend.lib, 15 org.eclipse.xtend.lib,
16 org.eclipse.xtend.lib.macro, 16 org.eclipse.xtend.lib.macro,
17 org.eclipse.viatra.query.runtime;bundle-version="1.5.0", 17 org.eclipse.viatra.query.runtime;bundle-version="1.5.0",
18 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0", 18 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.5.0",
19 org.eclipse.viatra.query.patternlanguage;bundle-version="1.5.0", 19 org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.5.0",
20 org.eclipse.viatra.query.patternlanguage.emf;bundle-version="1.5.0", 20 com.google.inject;bundle-version="3.0.0",
21 com.google.inject;bundle-version="3.0.0", 21 org.eclipse.xtext;bundle-version="2.10.0",
22 org.eclipse.xtext;bundle-version="2.10.0", 22 org.eclipse.viatra.transformation.runtime.emf;bundle-version="1.5.0",
23 org.eclipse.viatra.transformation.runtime.emf;bundle-version="1.5.0",
24 org.eclipse.xtext.xbase;bundle-version="2.10.0" 23 org.eclipse.xtext.xbase;bundle-version="2.10.0"
25Bundle-RequiredExecutionEnvironment: JavaSE-1.8 24Bundle-RequiredExecutionEnvironment: JavaSE-1.8
26Import-Package: org.apache.log4j 25Import-Package: org.apache.log4j
26Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatraquery
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF
index f0d42f2c..703a1cef 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/META-INF/MANIFEST.MF
@@ -12,3 +12,4 @@ Require-Bundle: com.google.guava,
12 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", 12 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
13 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0" 13 hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage;bundle-version="1.0.0"
14Bundle-RequiredExecutionEnvironment: JavaSE-1.8 14Bundle-RequiredExecutionEnvironment: JavaSE-1.8
15Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties
index aed85a48..704a86e2 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretation2logic/build.properties
@@ -1,5 +1,6 @@
1bin.includes = META-INF/,\ 1bin.includes = META-INF/,\
2 . 2 .
3source.. = src/,\ 3source.. = src/,\
4 src-gen/ 4 src-gen/,\
5 xtend-gen/
5output.. = bin/ 6output.. = bin/
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF
index ea971e17..91960c3a 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/META-INF/MANIFEST.MF
@@ -24,4 +24,5 @@ Require-Bundle: org.eclipse.core.runtime,
24 org.eclipse.viatra.query.runtime;bundle-version="1.5.0", 24 org.eclipse.viatra.query.runtime;bundle-version="1.5.0",
25 org.eclipse.viatra.dse;bundle-version="0.15.0" 25 org.eclipse.viatra.dse;bundle-version="0.15.0"
26Bundle-ActivationPolicy: lazy 26Bundle-ActivationPolicy: lazy
27Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage
27 28
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/build.properties
index 72399047..b283764d 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/build.properties
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/build.properties
@@ -6,5 +6,7 @@ bin.includes = .,\
6 plugin.xml,\ 6 plugin.xml,\
7 plugin.properties 7 plugin.properties
8jars.compile.order = . 8jars.compile.order = .
9source.. = ecore-gen/ 9source.. = ecore-gen/,\
10 src/,\
11 xtend-gen/
10output.. = bin/ 12output.. = bin/
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
index 13a297f2..ef1af4dd 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF
@@ -21,3 +21,4 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
21 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0" 21 org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0"
22Bundle-RequiredExecutionEnvironment: JavaSE-1.8 22Bundle-RequiredExecutionEnvironment: JavaSE-1.8
23Import-Package: org.apache.log4j 23Import-Package: org.apache.log4j
24Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties
index aed85a48..704a86e2 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/build.properties
@@ -1,5 +1,6 @@
1bin.includes = META-INF/,\ 1bin.includes = META-INF/,\
2 . 2 .
3source.. = src/,\ 3source.. = src/,\
4 src-gen/ 4 src-gen/,\
5 xtend-gen/
5output.. = bin/ 6output.. = bin/
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath
index 0a5954ed..88c4b9c4 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.classpath
@@ -2,17 +2,12 @@
2<classpath> 2<classpath>
3 <classpathentry kind="src" path="src"/> 3 <classpathentry kind="src" path="src"/>
4 <classpathentry kind="src" path="xtend-gen"/> 4 <classpathentry kind="src" path="xtend-gen"/>
5 <classpathentry kind="src" path="tests"/>
6 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/J2SE-1.5">
7 <attributes>
8 <attribute name="maven.pomderived" value="true"/>
9 </attributes>
10 </classpathentry>
11 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> 5 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
12 <classpathentry exported="true" kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER"> 6 <classpathentry exported="true" kind="con" path="org.eclipse.m2e.MAVEN2_CLASSPATH_CONTAINER">
13 <attributes> 7 <attributes>
14 <attribute name="maven.pomderived" value="true"/> 8 <attribute name="maven.pomderived" value="true"/>
15 </attributes> 9 </attributes>
16 </classpathentry> 10 </classpathentry>
11 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
17 <classpathentry kind="output" path="target/classes"/> 12 <classpathentry kind="output" path="target/classes"/>
18</classpath> 13</classpath>
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs
index 86260262..1ab2bb53 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/.settings/org.eclipse.jdt.core.prefs
@@ -1,5 +1,8 @@
1eclipse.preferences.version=1 1eclipse.preferences.version=1
2org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 2org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
3org.eclipse.jdt.core.compiler.compliance=1.5 3org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
4org.eclipse.jdt.core.compiler.compliance=1.8
5org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
6org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
4org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning 7org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
5org.eclipse.jdt.core.compiler.source=1.5 8org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
index c34c382d..18331278 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/META-INF/MANIFEST.MF
@@ -15,4 +15,5 @@ Require-Bundle: com.google.guava,
15 guru.nidi.graphviz-java;bundle-version="0.2.1" 15 guru.nidi.graphviz-java;bundle-version="0.2.1"
16Import-Package: org.apache.log4j;version="1.2.15" 16Import-Package: org.apache.log4j;version="1.2.15"
17Export-Package: hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz 17Export-Package: hu.bme.mit.inf.dslreasoner.visualisation.pi2graphviz
18Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.visualisation
18 19
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties
index 41eb6ade..d6c49e5c 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/build.properties
@@ -1,4 +1,5 @@
1source.. = src/ 1source.. = src/,\
2 xtend-gen/
2output.. = bin/ 3output.. = bin/
3bin.includes = META-INF/,\ 4bin.includes = META-INF/,\
4 . 5 .
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 04:29:25 +0000