diff options
| author |  ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-15 12:44:33 -0500 |
|---|---|---|
| committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-01-15 12:44:33 -0500 |
| commit | 20f131a3f09edf8e1455f20b4f486629147e7eff (patch) | |
| tree | 690ee30b62caf76bdc7d45f183382965e4e7bf05 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch | |
| parent | ViatraSolver as default (diff) | |
| download | VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.gz VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.tar.zst VIATRA-Generator-20f131a3f09edf8e1455f20b4f486629147e7eff.zip | |
Initial workspace setup
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch')
2 files changed, 52 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch new file mode 100644 index 00000000..1e23f694 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Generate VampireLanguage (tptp) Language Infrastructure.launch | |||
| @@ -0,0 +1,18 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| 2 | <launchConfiguration type="org.eclipse.emf.mwe2.launch.Mwe2LaunchConfigurationType"> | ||
| 3 | <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> | ||
| 4 | <listEntry value="/ca.mcgill.ecse.dslreasoner.vampire.language"/> | ||
| 5 | </listAttribute> | ||
| 6 | <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> | ||
| 7 | <listEntry value="4"/> | ||
| 8 | </listAttribute> | ||
| 9 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> | ||
| 10 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> | ||
| 11 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> | ||
| 12 | </listAttribute> | ||
| 13 | <stringAttribute key="org.eclipse.debug.core.ATTR_REFRESH_SCOPE" value="${working_set:<?xml version="1.0" encoding="UTF-8"?> <resources> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language" type="4"/> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language.ide" type="4"/> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language.ui" type="4"/> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language.tests" type="4"/> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests" type="4"/> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language.tests" type="4"/> <item path="/ca.mcgill.ecse.dslreasoner.vampire.language.ui.tests" type="4"/> ;</resources>}"/> | ||
| 14 | <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.emf.mwe2.launch.runtime.Mwe2Launcher"/> | ||
| 15 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage"/> | ||
| 16 | <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="ca.mcgill.ecse.dslreasoner.vampire.language"/> | ||
| 17 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xmx512m"/> | ||
| 18 | </launchConfiguration> | ||
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Launch Runtime Eclipse.launch b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Launch Runtime Eclipse.launch new file mode 100644 index 00000000..b1771899 --- /dev/null +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/Launch Runtime Eclipse.launch | |||
| @@ -0,0 +1,34 @@ | |||
| 1 | <?xml version="1.0" encoding="UTF-8" standalone="no"?> | ||
| 2 | <launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench"> | ||
| 3 | <booleanAttribute key="append.args" value="true"/> | ||
| 4 | <booleanAttribute key="askclear" value="true"/> | ||
| 5 | <booleanAttribute key="automaticAdd" value="true"/> | ||
| 6 | <booleanAttribute key="automaticValidate" value="false"/> | ||
| 7 | <stringAttribute key="bad_container_name" value="/ca.mcgill.ecse.dslreasoner.vampire.language/.launch/"/> | ||
| 8 | <stringAttribute key="bootstrap" value=""/> | ||
| 9 | <stringAttribute key="checked" value="[NONE]"/> | ||
| 10 | <booleanAttribute key="clearConfig" value="false"/> | ||
| 11 | <booleanAttribute key="clearws" value="false"/> | ||
| 12 | <booleanAttribute key="clearwslog" value="false"/> | ||
| 13 | <stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse"/> | ||
| 14 | <booleanAttribute key="default" value="true"/> | ||
| 15 | <booleanAttribute key="includeOptional" value="true"/> | ||
| 16 | <stringAttribute key="location" value="${workspace_loc}/../runtime-EclipseXtext"/> | ||
| 17 | <listAttribute key="org.eclipse.debug.ui.favoriteGroups"> | ||
| 18 | <listEntry value="org.eclipse.debug.ui.launchGroup.debug"/> | ||
| 19 | <listEntry value="org.eclipse.debug.ui.launchGroup.run"/> | ||
| 20 | </listAttribute> | ||
| 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"/> | ||
| 22 | <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl}"/> | ||
| 23 | <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/> | ||
| 24 | <stringAttribute key="org.eclipse.jdt.launching.VM_ARGUMENTS" value="-Xms40m -Xmx512m"/> | ||
| 25 | <stringAttribute key="pde.version" value="3.3"/> | ||
| 26 | <stringAttribute key="product" value="org.eclipse.platform.ide"/> | ||
| 27 | <booleanAttribute key="show_selected_only" value="false"/> | ||
| 28 | <stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/> | ||
| 29 | <booleanAttribute key="tracing" value="false"/> | ||
| 30 | <booleanAttribute key="useDefaultConfig" value="true"/> | ||
| 31 | <booleanAttribute key="useDefaultConfigArea" value="true"/> | ||
| 32 | <booleanAttribute key="useProduct" value="true"/> | ||
| 33 | <booleanAttribute key="usefeatures" value="false"/> | ||
| 34 | </launchConfiguration> | ||