# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Nov 28, 2024, 7:59:33 AM 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 ... Fri, 26 Sep 2014 09:11:22 GMT krafczy [161] * ModelTranslator/resources/testdata/input/SingleDependsTest.rsf (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Update/change translation of Depends constraint Fri, 26 Sep 2014 07:59:21 GMT krafczy [160] * ModelTranslator/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) Comment out unnecessary/unhelpful unit test Fri, 26 Sep 2014 06:30:45 GMT elshar [159] * ModelTranslator/resources/testdata/input/ItemSelectsBoolean.rsf (modified) * ModelTranslator/resources/testdata/input/SingleDependsTest.rsf (added) * 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/test/de/uni_hildesheim/sse/trans/DimacsTestUtils.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Bug fix, new test case Fri, 26 Sep 2014 05:27:46 GMT elshar [158] * ModelTranslator/resources/testdata/input/ItemSelectsBoolean.rsf (added) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Test case for ticket #9 Thu, 25 Sep 2014 10:49:09 GMT krafczy [157] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFCondition.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Update/change variable depending on a tristate variable Thu, 25 Sep 2014 10:35:52 GMT krafczy [156] * 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/test/de/uni_hildesheim/sse/trans/in/rsf/RSFReaderTest.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Handle multiple depends lines for one variable Thu, 25 Sep 2014 10:12:11 GMT krafczy [155] * 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/RSFDependsCondition.java (modified) * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java (modified) Add getSelectedVariable() to RSFCondition to properly handle NOT(str=n) Thu, 25 Sep 2014 09:51:00 GMT krafczy [154] * ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java (modified) * ModelTranslator/test/de/uni_hildesheim/sse/trans/scenario/RsfToDimacsTranslationTest.java (modified) Fix RSFChoice to make sure that no variable is selected if the choice ... Thu, 25 Sep 2014 09:44:18 GMT krafczy [153] * 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 [152] * 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 [151] * 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 [150] * 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 [149] * ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) help corrected Wed, 24 Sep 2014 12:10:29 GMT elshar [148] * 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 [147] * Code (deleted) Tue, 23 Sep 2014 12:12:06 GMT elshar [146] * ModelTranslator (moved) Tue, 23 Sep 2014 11:14:25 GMT elshar [145] * 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 [144] * 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 [143] * 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 [142] * 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 [141] * 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 [140] * 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 [139] * Code/ModelTranslator/resources/ToDo.txt (modified) Update ToDo.txt Fri, 19 Sep 2014 08:26:08 GMT krafczy [138] * 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 [137] * 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 [136] * 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 [135] * 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 [134] * 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 [133] * 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 [132] * 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 [131] * 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 [130] * 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 [129] * 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 [128] * 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 [127] * 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 [126] * 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 [125] * 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 [124] * 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 [123] * Code/ModelTranslator/build-jk.xml (modified) Changed settings of Jacoco Tue, 16 Sep 2014 12:08:05 GMT elshar [122] * Code/ModelTranslator/build-jk.xml (modified) Changed settings of Jacoco Tue, 16 Sep 2014 12:00:06 GMT elshar [121] * 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 [120] * 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 [119] * 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 [118] * 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 [117] This is an empty revision for padding. Mon, 15 Sep 2014 13:28:54 GMT anonymous [116] This is an empty revision for padding. Mon, 15 Sep 2014 13:09:07 GMT anonymous [115] This is an empty revision for padding. Mon, 15 Sep 2014 13:04:57 GMT anonymous [114] This is an empty revision for padding. Mon, 15 Sep 2014 10:54:20 GMT anonymous [113] This is an empty revision for padding. Mon, 15 Sep 2014 10:43:31 GMT anonymous [112] This is an empty revision for padding. Mon, 15 Sep 2014 10:26:59 GMT anonymous [111] This is an empty revision for padding. Mon, 15 Sep 2014 10:24:18 GMT anonymous [110] This is an empty revision for padding. Fri, 12 Sep 2014 10:58:54 GMT krafczy [109] * 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 [108] * 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 [107] * 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 [106] * 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