Finally! a pull request for the Vampire-new branch

Application/hu.bme.mit.inf.dslreasoner.application.ide/.gitignore

@@ -1 +1,3 @@
 /bin/
+/xtend-gen/
+/src-gen/

Application/hu.bme.mit.inf.dslreasoner.application.ide/META-INF/MANIFEST.MF

@@ -8,9 +8,8 @@ Bundle-ActivationPolicy: lazy
 Require-Bundle: hu.bme.mit.inf.dslreasoner.application,
  org.eclipse.xtext.ide,
  org.eclipse.xtext.xbase.ide,
- org.antlr.runtime
+ org.antlr.runtime;bundle-version="[3.2.0,3.2.1)"
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr.internal,
  hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr
 Automatic-Module-Name: hu.bme.mit.inf.dslreasoner.application.ide
-

Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/AbstractApplicationConfigurationIdeModule.java

@@ -1,5 +1,5 @@
 /*
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.21.0
  */
 package hu.bme.mit.inf.dslreasoner.application.ide;
 
@@ -15,6 +15,9 @@
 import org.eclipse.xtext.ide.editor.contentassist.antlr.AntlrProposalConflictHelper;
 import org.eclipse.xtext.ide.editor.contentassist.antlr.IContentAssistParser;
 import org.eclipse.xtext.ide.editor.contentassist.antlr.internal.Lexer;
+import org.eclipse.xtext.ide.refactoring.IRenameStrategy2;
+import org.eclipse.xtext.ide.server.rename.IRenameService2;
+import org.eclipse.xtext.ide.server.rename.RenameService2;
 
 /**
  * Manual modifications go to {@link ApplicationConfigurationIdeModule}.
@@ -44,4 +47,14 @@ public Class<? extends IPrefixMatcher> bindIPrefixMatcher() {
 		return FQNPrefixMatcher.class;
 	}
 
+	// contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+	public Class<? extends IRenameService2> bindIRenameService2() {
+		return RenameService2.class;
+	}
+
+	// contributed by org.eclipse.xtext.xtext.generator.ui.refactoring.RefactorElementNameFragment2
+	public Class<? extends IRenameStrategy2> bindIRenameStrategy2() {
+		return IRenameStrategy2.DefaultImpl.class;
+	}
+
 }

Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/PartialApplicationConfigurationContentAssistParser.java

@@ -1,5 +1,5 @@
 /*
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.21.0
  */
 package hu.bme.mit.inf.dslreasoner.application.ide.contentassist.antlr;
 

Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.g

@@ -1,5 +1,5 @@
 /*
- * generated by Xtext 2.12.0
+ * generated by Xtext 2.21.0
  */
 grammar InternalApplicationConfiguration;
 
@@ -2373,6 +2373,12 @@ rule__Solver__Alternatives
 		('ViatraSolver')
 		{ after(grammarAccess.getSolverAccess().getViatraSolverEnumLiteralDeclaration_2()); }
 	)
+	|
+	(
+		{ before(grammarAccess.getSolverAccess().getTPTPSolverEnumLiteralDeclaration_3()); }
+		('TPTPSolver')
+		{ after(grammarAccess.getSolverAccess().getTPTPSolverEnumLiteralDeclaration_3()); }
+	)
 ;
 finally {
 	restoreStackSize(stackSize);

Application/hu.bme.mit.inf.dslreasoner.application.ide/src-gen/hu/bme/mit/inf/dslreasoner/application/ide/contentassist/antlr/internal/InternalApplicationConfiguration.tokens

@@ -1,50 +1,51 @@
-'#'=38
-'*'=55
-'+='=54
-','=26
-'-'=18
-'.'=17
-'..'=45
-'::'=29
-'<'=39
-'='=23
-'>'=40
+'#'=39
+'*'=56
+'+='=55
+','=27
+'-'=19
+'.'=18
+'..'=46
+'::'=30
+'<'=40
+'='=24
+'>'=41
 'AlloySolver'=15
 'SMTSolver'=14
+'TPTPSolver'=17
 'ViatraSolver'=16
-'config'=34
-'constraints'=33
-'debug'=50
-'epackage'=20
-'excluding'=28
-'file'=22
-'folder'=31
+'config'=35
+'constraints'=34
+'debug'=51
+'epackage'=21
+'excluding'=29
+'file'=23
+'folder'=32
 'full'=13
-'generate'=47
-'import'=19
-'int'=42
-'log'=51
-'log-level'=35
-'memory'=37
-'metamodel'=30
-'models'=32
-'node'=41
+'generate'=48
+'import'=20
+'int'=43
+'log'=52
+'log-level'=36
+'memory'=38
+'metamodel'=31
+'models'=33
+'node'=42
 'none'=11
 'normal'=12
-'number'=56
-'output'=53
-'package'=27
-'partial-model'=48
-'real'=43
-'runs'=57
-'runtime'=36
-'scope'=46
-'solver'=49
-'statistics'=52
-'string'=44
-'viatra'=21
-'{'=24
-'}'=25
+'number'=57
+'output'=54
+'package'=28
+'partial-model'=49
+'real'=44
+'runs'=58
+'runtime'=37
+'scope'=47
+'solver'=50
+'statistics'=53
+'string'=45
+'viatra'=22
+'{'=25
+'}'=26
 RULE_ANY_OTHER=10
 RULE_ID=4
 RULE_INT=5
@@ -99,3 +100,4 @@ T__54=54
 T__55=55
 T__56=56
 T__57=57
+T__58=58