# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Nov 24, 2024, 1:05:19 PM Sun, 03 Aug 2014 10:10:09 GMT anonymous [261] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [260] Create a totally empty repository. Tue, 23 Sep 2014 11:51:33 GMT elshar [259] * Code (deleted) Sun, 03 Aug 2014 10:10:09 GMT anonymous [258] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [257] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [256] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [255] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [254] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [253] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [252] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [251] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [250] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [249] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [248] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [247] Create a totally empty repository. Tue, 23 Sep 2014 11:46:41 GMT elshar [246] * Code (added) * Code/ModelTranslator (added) Created temporary folder fur importing existing project Sun, 03 Aug 2014 10:10:09 GMT anonymous [245] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [244] Create a totally empty repository. Tue, 23 Sep 2014 11:23:05 GMT www-data [243] Create a totally empty repository. Wed, 21 Sep 2016 11:02:50 GMT krafczy [242] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java (modified) Update to latest version of IConstraintTreeVisitor Wed, 22 Jun 2016 13:44:42 GMT krafczy [241] * ModelExtender/.classpath (modified) * ModelExtender/.project (modified) Update project names Wed, 22 Jun 2016 13:44:12 GMT krafczy [240] * ModelTranslator/.classpath (modified) * ModelTranslator/.project (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) - Consider constant values in CSTNegater - Disable (probably broken) ... Thu, 16 Jun 2016 11:35:23 GMT elshar [239] * ModelExtender/test/de/uni_hildesheim/see/model_extender/ConstraintParserTest.java (modified) * ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java (modified) Adapted imports recording to refactorings in EASy-Producer (new ... Thu, 16 Jun 2016 11:29:08 GMT elshar [238] * ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ConstraintContainer.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ICNFConvertStrategy.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/AbstractReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/IModelReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DeclarationsComparator.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTExpanderTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTNegaterTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepthTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/DisjunctionCheckerTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/LiteralFinderTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2Test.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/ModelOptimizerTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java (modified) Adapted imports recording to refactorings in EASy-Producer (new ... Thu, 16 Jun 2016 11:27:27 GMT elshar [237] * ModelExtender/.checkstyle (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ConstraintParser.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ListMaxTermConverter.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/VariableSource.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (modified) Adapted imports recording to refactorings in EASy-Producer (new ... Mon, 14 Dec 2015 14:04:43 GMT elshar [236] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) CST: Visitation of AnnotationVariables introduced. Thu, 16 Jul 2015 09:58:13 GMT asadna [235] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) Project extendModel(Project model, String constraint) is added to Main Tue, 14 Jul 2015 14:22:20 GMT asadna [234] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) create a method cloneProject Tue, 14 Jul 2015 14:06:42 GMT asadna [233] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) disabled debugging Tue, 14 Jul 2015 13:13:44 GMT asadna [232] * ModelExtender/.classpath (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) Introduced extendModel method which extends the model with the ... Mon, 06 Jul 2015 10:46:55 GMT asadna [231] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) comment line 151, in order to avoid Warning: adding completly new ... Fri, 03 Jul 2015 13:50:07 GMT asadna [230] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (modified) In Main class, extendModel is changed to handle the bufferedreader ... Fri, 03 Jul 2015 13:16:47 GMT asadna [229] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (modified) Add a new method having bufferedreader as an argument instead of a file. Tue, 30 Jun 2015 12:22:36 GMT elshar [228] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (modified) Added functionality for supporting Satyr as DIMACS generator. Tue, 03 Mar 2015 09:28:30 GMT krafczy [227] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) * ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java (modified) Fix translation of not intersecting variables Fri, 27 Feb 2015 09:48:18 GMT elshar [226] * ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java (modified) Bug fix in comment Fri, 27 Feb 2015 09:27:01 GMT elshar [225] * ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java (modified) Further Function for testing. Tue, 24 Feb 2015 10:40:41 GMT krafczy [224] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) Print an error if = is found in tristate or boolean vars in RSFReader Tue, 24 Feb 2015 10:26:36 GMT krafczy [223] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ConstraintParser.java (modified) Replace all whitespace chars in ConstraintParser Tue, 24 Feb 2015 10:24:54 GMT krafczy [222] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ConstraintParser.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ConstraintParserException.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/VariableSource.java (added) * ModelExtender/test/de/uni_hildesheim/see/model_extender/AllTests.java (modified) * ModelExtender/test/de/uni_hildesheim/see/model_extender/ConstraintParserTest.java (added) * ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java (modified) Use a better way to parse constraints Wed, 18 Feb 2015 13:02:03 GMT elshar [221] * ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java (modified) Revised Test cases (not completed, yet). Wed, 18 Feb 2015 09:37:50 GMT elshar [220] * ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Fixed test cases after changing the output of writing methods. Wed, 18 Feb 2015 09:34:39 GMT elshar [219] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) changed writing/reading of problems line inside of dimacs files. "cnf" ... Wed, 18 Feb 2015 08:59:41 GMT elshar [218] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) Added new method for running this tool as a lib instead of a command ... Tue, 17 Feb 2015 10:23:00 GMT krafczy [217] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) Use regex to find if constraint contains choice item Tue, 17 Feb 2015 10:19:40 GMT krafczy [216] * ModelTranslator/resources/testdata/input/testModel_ChoicesDependOnChoices.rsf (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Fri, 13 Feb 2015 09:39:40 GMT elshar [215] * ModelTranslator/input/Linux-3.8.8.tsv (added) Added a new KConfig model. Thu, 12 Feb 2015 14:19:59 GMT elshar [214] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Removed experimental isSemanticallyEqual method. Thu, 12 Feb 2015 13:05:34 GMT elshar [213] * ModelExtender/build-jk.xml (modified) Considered file system structure of jenkins in build script. Thu, 12 Feb 2015 13:03:20 GMT elshar [212] * ModelExtender/build-jk.xml (modified) Consideres file system structure of jenkins in build script. Thu, 12 Feb 2015 12:55:58 GMT elshar [211] * ModelExtender (modified) * ModelExtender/build-jk.xml (added) * ModelExtender/test/de/uni_hildesheim/de (deleted) * ModelExtender/test/de/uni_hildesheim/see (added) * ModelExtender/test/de/uni_hildesheim/see/model_extender (copied) * ModelExtender/test/de/uni_hildesheim/see/model_extender/AllTests.java (modified) * ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java (modified) * ModelExtender/test/de/uni_hildesheim/see/model_extender/package-info.java (modified) Created build script Moved test classes in another package. Thu, 12 Feb 2015 12:13:32 GMT elshar [210] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Bug fix of optimized code from previous commit. Thu, 12 Feb 2015 11:05:49 GMT elshar [209] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Trying to optimize the translation by skipping the translation of ... Thu, 12 Feb 2015 07:16:22 GMT elshar [208] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTExpanderTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTNegaterTest.java (modified) Debug message Thu, 12 Feb 2015 06:48:43 GMT elshar [207] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Debug messages Thu, 12 Feb 2015 06:48:27 GMT elshar [206] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Debug messages Thu, 12 Feb 2015 06:35:08 GMT elshar [205] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Trying to avoid translating constraints twice. Wed, 11 Feb 2015 13:26:27 GMT elshar [204] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Debug message Wed, 11 Feb 2015 13:03:37 GMT elshar [203] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Debug message Wed, 11 Feb 2015 12:02:24 GMT krafczy [202] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepth.java (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/DeclarationInConstraintFinderWithDepthTest.java (added) Wed, 11 Feb 2015 10:21:45 GMT krafczy [201] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) Fix checkstyle errors Wed, 11 Feb 2015 10:09:40 GMT krafczy [200] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) * ModelExtender/test/de/uni_hildesheim/de/see/model_extender/test/ModelExtenderTest.java (modified) * ModelExtender/testdata/testAdditionalConstraints.dimacs (added) Add test case for additional constraint Tue, 10 Feb 2015 14:01:40 GMT elshar [199] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Added a more expressive debug message to logging output. Tue, 10 Feb 2015 12:54:21 GMT elshar [198] * ModelTranslator/input/Linux-3.13.11.tsv (added) * ModelTranslator/resources/scripts/dimacsExample.bat (modified) * ModelTranslator/resources/scripts/dimacsExample.sh (modified) Added Linux-3.13.11.tsv tu input models and also to example scripts. Mon, 09 Feb 2015 10:14:28 GMT krafczy [197] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) Implement addition of needed constraints properly in ... Thu, 05 Feb 2015 11:18:15 GMT krafczy [196] * ModelExtender/.classpath (modified) * ModelExtender/test (added) * ModelExtender/test/de (added) * ModelExtender/test/de/uni_hildesheim (added) * ModelExtender/test/de/uni_hildesheim/de (added) * ModelExtender/test/de/uni_hildesheim/de/see (added) * ModelExtender/test/de/uni_hildesheim/de/see/model_extender (added) * ModelExtender/test/de/uni_hildesheim/de/see/model_extender/test (added) * ModelExtender/test/de/uni_hildesheim/de/see/model_extender/test/AllTests.java (added) * ModelExtender/test/de/uni_hildesheim/de/see/model_extender/test/ModelExtenderTest.java (added) * ModelExtender/test/de/uni_hildesheim/de/see/model_extender/test/package-info.java (added) * ModelExtender/testdata/testAddConstraint.dimacs (added) * ModelExtender/testdata/testUseExistingVariables.dimacs (added) Add some simple jUnit tests Thu, 05 Feb 2015 10:49:29 GMT krafczy [195] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (modified) Implement additional constraints in ModelExtender Thu, 05 Feb 2015 09:43:50 GMT krafczy [194] * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ListMaxTermConverter.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/ModelExtender.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/convert/package-info.java (added) Implement addition of new constraint Mon, 02 Feb 2015 10:41:48 GMT krafczy [193] * ModelExtender/.classpath (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (modified) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (modified) Implement writing of .dimacs file by using DimacsWriter from ... Mon, 02 Feb 2015 10:27:39 GMT krafczy [192] * ModelExtender/.project (modified) * ModelExtender/.settings/org.eclipse.jdt.core.prefs (modified) * ModelExtender/src/de (added) * ModelExtender/src/de/uni_hildesheim (added) * ModelExtender/src/de/uni_hildesheim/sse (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/Main.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/DimacsReader.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/MalformedFileException.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/in/package-info.java (added) * ModelExtender/src/de/uni_hildesheim/sse/model_extender/package-info.java (added) * ModelExtender/testdata (added) * ModelExtender/testdata/model.dimacs (added) Implement reading of .dimacs files Mon, 02 Feb 2015 08:41:21 GMT krafczy [191] * ModelExtender/.classpath (added) * ModelExtender/.project (added) * ModelExtender/.settings (added) * ModelExtender/.settings/org.eclipse.jdt.core.prefs (added) * ModelExtender/src (added) Add Eclipse project settings Mon, 02 Feb 2015 08:39:27 GMT krafczy [190] * ModelExtender (added) Initial import. Mon, 29 Dec 2014 20:21:38 GMT elshar [189] * ModelTranslator/resources/testdata/input/test4KStack.rsf (added) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Added additional test. Mon, 29 Dec 2014 12:35:58 GMT elshar [188] * ModelTranslator/resources/scripts/dimacsExample.bat (modified) * ModelTranslator/resources/scripts/dimacsExample.sh (modified) * ModelTranslator/resources/scripts/ivmlExample.sh (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) Code cleanup Solved one bug regarding variable names surrounded in ... Tue, 02 Dec 2014 07:58:37 GMT elshar [187] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java (modified) Added empty method for new visit methods of CST-Visitor Tue, 18 Nov 2014 13:27:08 GMT elshar [186] * ModelTranslator/resources/scripts/dimacsExample.bat (modified) * ModelTranslator/resources/scripts/dimacsExample.sh (modified) Updated scripts Mon, 10 Nov 2014 10:47:18 GMT krafczy [185] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTExpander.java (moved) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTNegater.java (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTExpanderTest.java (added) * ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/CSTNegaterTest.java (added) Add CSTExpander and CSTNegater to simplify constraints Thu, 06 Nov 2014 10:56:57 GMT krafczy [184] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CSTSimplifier.java (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) WIP CSTSimplifier Mon, 03 Nov 2014 10:27:36 GMT krafczy [183] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Expand a OR !(b OR c) to a OR (!b AND !c) to possibly speed some ... Thu, 30 Oct 2014 10:46:46 GMT krafczy [182] * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) Handle constraint with OR at highest position and one of the sub- trees ... Thu, 16 Oct 2014 10:53:06 GMT krafczy [181] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) Revert previous commit Thu, 16 Oct 2014 10:47:49 GMT krafczy [180] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) Split conditions in RSFDependsCondition into several parts, if they are ... Thu, 16 Oct 2014 09:20:17 GMT krafczy [179] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) Treat 'm' as 'y' for non-tristate variables in ... Wed, 15 Oct 2014 10:49:43 GMT elshar [178] * ModelTranslator/resources/scripts/dimacsExample.bat (modified) * ModelTranslator/resources/scripts/dimacsExample.sh (modified) * ModelTranslator/resources/scripts/ivmlExample.bat (modified) * ModelTranslator/resources/scripts/ivmlExample.sh (modified) Switched logging level in start scripts. Wed, 15 Oct 2014 10:41:51 GMT elshar [177] * ModelTranslator/resources/scripts/dimacsExample.bat (modified) * ModelTranslator/resources/scripts/dimacsExample.sh (modified) * ModelTranslator/resources/scripts/ivmlExample.bat (modified) * ModelTranslator/resources/scripts/ivmlExample.sh (modified) Added Login output to all start scripts. Wed, 15 Oct 2014 09:24:14 GMT elshar [176] * ModelTranslator/output/Linux.dimacs (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) Disabled setting AdvancedLogger, if FileLogger was set. Wed, 15 Oct 2014 06:25:46 GMT elshar [175] * ModelTranslator/resources/scripts/dimacsExample.sh (modified) * ModelTranslator/resources/scripts/ivmlExample.sh (modified) Updated start scripts Wed, 15 Oct 2014 06:22:13 GMT elshar [174] * ModelTranslator/resources/scripts/dimacsExample.bat (modified) * ModelTranslator/resources/scripts/dimacsExample.sh (modified) * ModelTranslator/resources/scripts/ivmlExample.bat (modified) * ModelTranslator/resources/scripts/ivmlExample.sh (modified) Updated start scripts Fri, 10 Oct 2014 10:53:45 GMT krafczy [173] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Implement toNotBooleanCST of RSFItemSelectsCondtion Fri, 10 Oct 2014 10:33:10 GMT krafczy [172] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Implement toNotBolleanConstraintSyntaxTree of RSFDependsCondition Fri, 10 Oct 2014 10:10:55 GMT krafczy [171] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) Add links to the specifications in the wiki to the RSF*Choices Fri, 10 Oct 2014 10:01:21 GMT krafczy [170] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Update method signature of RSFCondition Fri, 10 Oct 2014 08:04:59 GMT krafczy [169] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Create missing selected variables in ItemSelects statements Fix handling ... Thu, 09 Oct 2014 10:56:37 GMT krafczy [168] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (modified) Improve error messages Thu, 09 Oct 2014 10:49:11 GMT krafczy [167] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) Fix NullPointerException in RSFItemSelectsCondition Thu, 09 Oct 2014 10:36:10 GMT krafczy [166] * ModelTranslator/resources/testdata/input/ConditionalPromptAndDefaultTest.rsf (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultCondition.java (deleted) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Update handling for defaults and prompts Thu, 09 Oct 2014 08:48:06 GMT krafczy [165] * ModelTranslator/resources/testdata/input/testModel_BooleanItemSelects.rsf (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Add handling for tristate ItemSelects Thu, 09 Oct 2014 08:32:48 GMT krafczy [164] * ModelTranslator/resources/testdata/input/testModel_tristateChoices.rsf (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Add handling for tristate Choices Fri, 26 Sep 2014 10:54:06 GMT krafczy [163] * ModelTranslator/resources/testdata/input/testModel_Choices.rsf (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Add additional Depends to RSFChoice (too hacky?) Fri, 26 Sep 2014 09:56:10 GMT krafczy [162] * ModelTranslator/resources/testdata/input/stringAndIntegerVariablesTest.rsf (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Add constraints to ensure that only one of the created integer and ...