# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Nov 24, 2024, 11:34:17 AM Thu, 25 Sep 2014 09:44:18 GMT krafczy [395] * ModelTranslator/resources/testdata/input/stringAndIntegerVariablesTest.rsf (added) * 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/RSFDefaultCondition.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/RSFReader.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Update/change empty strings or integers to =n Thu, 25 Sep 2014 08:38:25 GMT krafczy [394] * ModelTranslator/resources/testdata/input/tristateVariableTest.rsf (added) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Update/change _MODULE condition Thu, 25 Sep 2014 08:07:17 GMT krafczy [393] * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) Fix double negation bug in DIMACS writer (ticket #5) Wed, 24 Sep 2014 13:07:00 GMT elshar [392] * ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Bug fix in adding linefeeds to comments. Wed, 24 Sep 2014 12:15:26 GMT elshar [391] * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) help corrected Wed, 24 Sep 2014 12:10:29 GMT elshar [390] * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java (modified) help corrected Tue, 23 Sep 2014 12:12:17 GMT elshar [389] * Code (deleted) Tue, 23 Sep 2014 12:12:06 GMT elshar [388] * ModelTranslator (moved) Tue, 23 Sep 2014 11:14:25 GMT elshar [387] * Code/ModelTranslator/resources/testdata/input/ConditionalPromptAndDefaultTest.rsf (added) * Code/ModelTranslator/resources/testdata/input/MultipleDependsTest.rsf (added) * Code/ModelTranslator/resources/testdata/input/PromptAndDefaultTest.rsf (added) * Code/ModelTranslator/resources/testdata/input/testModel_emptyString.rsf (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) New test cases Mon, 22 Sep 2014 09:24:08 GMT elshar [386] * Code/ModelTranslator/output/Linux.dimacs (modified) * Code/ModelTranslator/resources/ToDo.txt (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Smaller bug fixes and new ToDos Mon, 22 Sep 2014 07:59:38 GMT elshar [385] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) Smaller bug fix while reading *.model files without specifying any ... Mon, 22 Sep 2014 07:40:30 GMT elshar [384] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultCondition.java (modified) Removed checkstyle error Fri, 19 Sep 2014 11:11:04 GMT krafczy [383] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultCondition.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) * Fix xor to CNF conversion in RSFChoice * Restructure RSFConditions to ... Fri, 19 Sep 2014 08:36:33 GMT krafczy [382] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Implement automatic test in ... Fri, 19 Sep 2014 08:29:51 GMT krafczy [381] * Code/ModelTranslator/resources/ToDo.txt (modified) Update ToDo.txt Fri, 19 Sep 2014 08:26:08 GMT krafczy [380] * Code/ModelTranslator/resources/ToDo.txt (modified) * Code/ModelTranslator/resources/testdata/input/testModel_Choices.rsf (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Finish choices in RSFReader Fri, 19 Sep 2014 08:04:25 GMT krafczy [379] * Code/ModelTranslator/resources/ToDo.txt (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Remove _EMPTY variable for strings in RSFReader Fri, 19 Sep 2014 06:57:53 GMT elshar [378] * Code/ModelTranslator/resources/testdata/input/testModel_DefaultAndPrompts.rsf (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) New test case for translation into dimacs format. Thu, 18 Sep 2014 12:33:09 GMT elshar [377] * Code/ModelTranslator/resources/ToDo.txt (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * MaxTermConverter2: Output of an error added * Changed Help in ... Thu, 18 Sep 2014 11:10:19 GMT krafczy [376] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Handle Choices in RSFReader (WIP) Thu, 18 Sep 2014 10:06:45 GMT krafczy [375] * Code/ModelTranslator/resources/testdata/input/testModel.rsf (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Add condition if a tristate depends on a tristate in RSFDependsCondition Thu, 18 Sep 2014 09:28:20 GMT krafczy [374] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) Simplify boolean expression generated by RSFItemSelectsCondition Thu, 18 Sep 2014 09:05:00 GMT krafczy [373] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) Handle string comparisons ='' and !='foo' correctly in RSFReader Thu, 18 Sep 2014 05:16:09 GMT elshar [372] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java (modified) Removed obsolete DSL methods from visitors. Wed, 17 Sep 2014 13:39:40 GMT elshar [371] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Cleanup of one test case Wed, 17 Sep 2014 09:13:59 GMT elshar [370] * Code/ModelTranslator/.classpath (modified) * Code/ModelTranslator/build-jk.xml (modified) * Code/ModelTranslator/resources (added) * Code/ModelTranslator/resources/jacocoLibs (moved) * Code/ModelTranslator/resources/lib (moved) * Code/ModelTranslator/resources/scripts (moved) * Code/ModelTranslator/resources/scripts/ivmlExample.sh (copied) * Code/ModelTranslator/resources/testdata (moved) * Code/ModelTranslator/resources/testdata/input/testModel_ItemSelects.rsf (added) * Code/ModelTranslator/resources/testdata/input/testModel_emptyString.rsf (copied) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Restructured resources, added test cases for DIMACS translation Tue, 16 Sep 2014 14:26:47 GMT elshar [369] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java (modified) Fixed broken test case Tue, 16 Sep 2014 14:21:47 GMT elshar [368] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) Added help to output of DimacsWriter Tue, 16 Sep 2014 14:10:03 GMT elshar [367] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) Added help to output of DimacsWriter Tue, 16 Sep 2014 13:50:55 GMT elshar [366] * Code/ModelTranslator/output/Linux.dimacs (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/package-info.java (added) * Code/ModelTranslator/testdata/input/testModel_emptyString.rsf (added) Started to implement new test case. Tue, 16 Sep 2014 12:17:16 GMT elshar [365] * Code/ModelTranslator/build-jk.xml (modified) Changed settings of Jacoco Tue, 16 Sep 2014 12:08:05 GMT elshar [364] * Code/ModelTranslator/build-jk.xml (modified) Changed settings of Jacoco Tue, 16 Sep 2014 12:00:06 GMT elshar [363] * Code/ModelTranslator/build-jk.xml (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Bundle.java (deleted) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java (modified) RemovedBundle class, changed settings of Jacoco Tue, 16 Sep 2014 11:52:18 GMT elshar [362] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/DisjunctionCheckerTest.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/LiteralFinderTest.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/ModelOptimizerTest.java (modified) Test case added Tue, 16 Sep 2014 11:27:51 GMT elshar [361] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/testdata (added) * Code/ModelTranslator/testdata/input (added) * Code/ModelTranslator/testdata/input/testModel.model (moved) * Code/ModelTranslator/testdata/input/testModel.rsf (moved) * Code/ModelTranslator/testdata/output (added) Tue, 16 Sep 2014 10:59:13 GMT elshar [360] * Code/ModelTranslator/scripts/ivmlExample.sh (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ConstraintContainer.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ConstraintMap.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/LiteralFinder.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) Runtime optimizations inside of ModelOptimizer Mon, 15 Sep 2014 13:31:04 GMT anonymous [359] This is an empty revision for padding. Mon, 15 Sep 2014 13:28:54 GMT anonymous [358] This is an empty revision for padding. Mon, 15 Sep 2014 13:09:07 GMT anonymous [357] This is an empty revision for padding. Mon, 15 Sep 2014 13:04:57 GMT anonymous [356] This is an empty revision for padding. Mon, 15 Sep 2014 10:54:20 GMT anonymous [355] This is an empty revision for padding. Mon, 15 Sep 2014 10:43:31 GMT anonymous [354] This is an empty revision for padding. Mon, 15 Sep 2014 10:26:59 GMT anonymous [353] This is an empty revision for padding. Mon, 15 Sep 2014 10:24:18 GMT anonymous [352] This is an empty revision for padding. Fri, 12 Sep 2014 10:58:54 GMT krafczy [351] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Add support for not boolean constraints to RSFReader Fri, 12 Sep 2014 09:55:35 GMT krafczy [350] * Code/ModelTranslator/output/model.dimacs (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) Reword console output a bit Fri, 12 Sep 2014 09:23:07 GMT krafczy [349] * Code/ModelTranslator/input/testModel.rsf (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Handle integers and strings in RSFReader Fri, 12 Sep 2014 08:16:03 GMT krafczy [348] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) Fix links in javadoc comments Fri, 12 Sep 2014 08:01:28 GMT krafczy [347] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) Fix typo Thu, 11 Sep 2014 12:51:10 GMT elshar [346] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/Arguments.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/OptimizationParameter.java (added) Thu, 11 Sep 2014 10:20:46 GMT krafczy [345] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Handle "y" condition in RSFCondition Thu, 11 Sep 2014 10:00:28 GMT krafczy [344] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) Remove constant variables from constraints in ... Thu, 11 Sep 2014 09:37:04 GMT krafczy [343] * Code/ModelTranslator/input/testModel.rsf (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Handle constants and 'm' in RSF conditions Shorten RSFDependsCondition Thu, 11 Sep 2014 08:44:28 GMT krafczy [342] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) Use VariablePool in ModelReader and RSFReader Don't create multiple ... Thu, 11 Sep 2014 08:07:45 GMT anonymous [341] This is an empty revision for padding. Wed, 10 Sep 2014 10:29:31 GMT anonymous [340] This is an empty revision for padding. Wed, 10 Sep 2014 08:30:20 GMT elshar [339] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Stated implementation of RSF -> Dimacs translation Avoiding translating ... Wed, 10 Sep 2014 06:59:08 GMT elshar [338] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) Tue, 09 Sep 2014 14:52:54 GMT elshar [337] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2Test.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) * Moved test method from tests for MaxTerm1Converter to ... Fri, 05 Sep 2014 10:46:04 GMT krafczy [336] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) Update comments in ModelOptimizer Fri, 05 Sep 2014 10:32:23 GMT krafczy [335] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/ModelOptimizerTest.java (modified) Add ModelOptimizer.removeDuplicatedConstraints() Thu, 04 Sep 2014 10:46:36 GMT krafczy [334] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (modified) Optimize ModelOptimizer.handleConstantVariables() a bit Thu, 04 Sep 2014 10:20:43 GMT krafczy [333] * Code/ModelTranslator/output/model.dimacs (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ModelOptimizer.java (moved) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/ModelOptimizerTest.java (moved) Rename UnusedVariableChecker to ModelOptimizer and add ... Thu, 04 Sep 2014 08:57:21 GMT krafczy [332] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/UnusedVariableChecker.java (modified) Optimize UnusedVariableChecker Thu, 04 Sep 2014 08:11:06 GMT krafczy [331] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) MaxTermConverter: Add constraints directly instead of saving them in ... Fri, 29 Aug 2014 10:44:15 GMT krafczy [330] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/UnusedVariableChecker.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/UnusedVariableCheckerTest.java (added) Add UnusedVariableChecker Fri, 29 Aug 2014 10:09:19 GMT krafczy [329] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Remove unused import from RSFReaderTest Fri, 29 Aug 2014 10:03:48 GMT krafczy [328] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) Speedup MaxTermConverter2 by ignoring paths that are already true Thu, 28 Aug 2014 12:02:40 GMT anonymous [327] This is an empty revision for padding. Thu, 28 Aug 2014 12:02:19 GMT anonymous [326] This is an empty revision for padding. Thu, 28 Aug 2014 12:00:46 GMT anonymous [325] This is an empty revision for padding. Thu, 28 Aug 2014 10:15:34 GMT krafczy [324] * Code/ModelTranslator/input/testModel.rsf (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/AbstractReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (copied) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Finish condition for .rsf format (Depends and ItemSelects) Thu, 28 Aug 2014 10:15:21 GMT anonymous [323] This is an empty revision for padding. Thu, 28 Aug 2014 10:13:35 GMT anonymous [322] This is an empty revision for padding. Mon, 25 Aug 2014 13:23:28 GMT anonymous [321] This is an empty revision for padding. Mon, 25 Aug 2014 13:14:35 GMT anonymous [320] This is an empty revision for padding. Fri, 22 Aug 2014 10:26:43 GMT krafczy [319] * Code/ModelTranslator/.classpath (modified) * Code/ModelTranslator/input/testModel.rsf (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/package-info.java (added) Add conditions to RSFReader (WIP) Fri, 22 Aug 2014 08:54:29 GMT krafczy [318] * Code/ModelTranslator/output/model.dimacs (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) Use Variable cache Fri, 22 Aug 2014 08:20:29 GMT krafczy [317] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2Test.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) Finish the MaxTermConverter2, which uses a backtracking algorithm Better ... Wed, 20 Aug 2014 09:12:49 GMT elshar [316] * Code/ModelTranslator/output/Linux.ivml (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java (modified) Bug fix in IVMLWriter Mon, 18 Aug 2014 12:40:26 GMT elshar [315] * Code/ModelTranslator/.classpath (modified) * Code/ModelTranslator/.settings/org.eclipse.jdt.core.prefs (modified) * Code/ModelTranslator/build-jk.xml (modified) * Code/ModelTranslator/output/Linux.ivml (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/AbstractReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/IModelReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ParserException.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/Datatype.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (modified) Continued implementation of RSFReader Sun, 17 Aug 2014 18:19:49 GMT elshar [314] * Code/ModelTranslator/input/Linux.tsv (added) * Code/ModelTranslator/output/model.dimacs (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/AbstractReader.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/InputType.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/Datatype.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItem.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFReader.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/package-info.java (added) Started implementation of RSFReader Sat, 16 Aug 2014 08:03:49 GMT elshar [313] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) Removed unused imports Sat, 16 Aug 2014 08:02:01 GMT elshar [312] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Removed Iterator to reduce memory overhead Prepared recursive AND ... Fri, 15 Aug 2014 19:26:19 GMT elshar [311] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) Reduced memory consumption of MaxTermConverter Fri, 15 Aug 2014 18:45:18 GMT elshar [310] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter2.java (added) CNFConverter: Reduced memory consumption MaxTermConverter: Removed ... Fri, 15 Aug 2014 09:58:46 GMT krafczy [309] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) Add handling for constraint with more than 15 variables Fri, 15 Aug 2014 09:00:22 GMT krafczy [308] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) Refactor ModelReader a bit Fri, 15 Aug 2014 08:45:24 GMT krafczy [307] * Code/ModelTranslator/.classpath (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/DimacsWriterTest.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/out/package-info.java (added) Finish DimacsWriter Fri, 15 Aug 2014 08:08:36 GMT krafczy [306] * Code/ModelTranslator/input/testModel.model (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) Improve test-cases for ModelReader and MaxTermConverter. Add comments. Fri, 15 Aug 2014 06:52:43 GMT elshar [305] * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) Added new test case Thu, 14 Aug 2014 15:12:05 GMT elshar [304] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (modified) Enhance runtime Added new test case Thu, 14 Aug 2014 13:55:15 GMT elshar [303] * Code/ModelTranslator/build-jk.xml (modified) * Code/ModelTranslator/scripts (added) * Code/ModelTranslator/scripts/dimacsExample.bat (added) * Code/ModelTranslator/scripts/dimacsExample.sh (added) * Code/ModelTranslator/scripts/ivmlExample.bat (added) * Code/ModelTranslator/scripts/ivmlExample.sh (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) Added example scripts Thu, 14 Aug 2014 12:36:08 GMT krafczy [302] * Code/ModelTranslator/output/model.dimacs (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/MaxTermConverterTest.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) Finish MaxTermConverter WIP DimacsWriter Thu, 14 Aug 2014 09:35:52 GMT elshar [301] * Code/ModelTranslator/build-jk.xml (modified) Added test target Thu, 14 Aug 2014 09:26:49 GMT elshar [300] * Code/ModelTranslator (modified) * Code/ModelTranslator/build-jk.xml (added) * Code/ModelTranslator/jacocoLibs (added) * Code/ModelTranslator/jacocoLibs/jacocoagent.jar (added) * Code/ModelTranslator/jacocoLibs/jacocoant.jar (added) * Code/ModelTranslator/jacocoLibs/org.jacoco.agent-0.6.5.20140213-1606.jar (added) * Code/ModelTranslator/jacocoLibs/org.jacoco.ant-0.6.5.20140213-1606.jar (added) * Code/ModelTranslator/jacocoLibs/org.jacoco.core-0.6.5.20140213-1606.jar (added) * Code/ModelTranslator/jacocoLibs/org.jacoco.report-0.6.5.20140213-1606.jar (added) Added jacoco and build script Sun, 10 Aug 2014 06:54:32 GMT elshar [299] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ICNFConvertStrategy.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/MaxTermConverter.java (added) Sat, 09 Aug 2014 19:31:25 GMT elshar [298] * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/CNFConverter.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/ICNFConvertStrategy.java (added) Initial implementation of convert mechanism Sat, 09 Aug 2014 16:42:52 GMT elshar [297] * Code/ModelTranslator/.classpath (modified) * Code/ModelTranslator/.settings/org.eclipse.jdt.core.prefs (modified) * Code/ModelTranslator/.settings/org.eclipse.jdt.ui.prefs (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/DisjunctionChecker.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/convert/package-info.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/DisjunctionCheckerTest.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/convert/package-info.java (added) Added DisjunctionChecker Fri, 08 Aug 2014 09:21:53 GMT anonymous [296] This is an empty revision for padding.