diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-27 17:56:46 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-06-27 17:56:46 +0200 |
| commit | 957082776dbb7efed53a783c5e5be6b443a9bb86 (patch) | |
| tree | 6b88701d4b1b3928b7d3e7de49d177ca8c93ffad /Solvers/ILP-Solver | |
| parent | Merge branch 'kris' (diff) | |
| download | VIATRA-Generator-957082776dbb7efed53a783c5e5be6b443a9bb86.tar.gz VIATRA-Generator-957082776dbb7efed53a783c5e5be6b443a9bb86.tar.zst VIATRA-Generator-957082776dbb7efed53a783c5e5be6b443a9bb86.zip | |
Fix scope + numerical propagation WIP
Diffstat (limited to 'Solvers/ILP-Solver')
| -rw-r--r-- | Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.classpath | 6 | ||||
| -rw-r--r-- | Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.settings/org.eclipse.jdt.core.prefs | 8 | ||||
| -rwxr-xr-x | Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so | bin | 33944 -> 46416 bytes |
3 files changed, 9 insertions, 5 deletions
diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.classpath b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.classpath index e19039ae..93829d26 100644 --- a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.classpath +++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.classpath | |||
| @@ -1,10 +1,6 @@ | |||
| 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.jdt.launching.JRE_CONTAINER"> | 3 | <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> |
| 4 | <attributes> | ||
| 5 | <attribute name="module" value="true"/> | ||
| 6 | </attributes> | ||
| 7 | </classpathentry> | ||
| 8 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> | 4 | <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> |
| 9 | <classpathentry kind="src" path="src"> | 5 | <classpathentry kind="src" path="src"> |
| 10 | <attributes> | 6 | <attributes> |
diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.settings/org.eclipse.jdt.core.prefs b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000..9f6ece88 --- /dev/null +++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/.settings/org.eclipse.jdt.core.prefs | |||
| @@ -0,0 +1,8 @@ | |||
| 1 | eclipse.preferences.version=1 | ||
| 2 | org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled | ||
| 3 | org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8 | ||
| 4 | org.eclipse.jdt.core.compiler.compliance=1.8 | ||
| 5 | org.eclipse.jdt.core.compiler.problem.assertIdentifier=error | ||
| 6 | org.eclipse.jdt.core.compiler.problem.enumIdentifier=error | ||
| 7 | org.eclipse.jdt.core.compiler.release=disabled | ||
| 8 | org.eclipse.jdt.core.compiler.source=1.8 | ||
diff --git a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so index 96289216..ba3cdc06 100755 --- a/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so +++ b/Solvers/ILP-Solver/hu.bme.mit.inf.dslreasoner.ilp.cbc/lib/libviatracbc.so | |||
| Binary files differ | |||