# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Nov 24, 2024, 10:15:47 AM 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. Fri, 08 Aug 2014 06:49:53 GMT anonymous [295] This is an empty revision for padding. Fri, 08 Aug 2014 06:47:53 GMT elshar [294] * Code/ModelTranslator/output/model.ivml (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/cli (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/Arguments.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/ArgumentsParser.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/cli/package-info.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IModelWriter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java (modified) Improvements in IVMLWriter More Command line arguments Thu, 07 Aug 2014 15:19:49 GMT elshar [293] * Code/ModelTranslator/.classpath (modified) * Code/ModelTranslator/lib/commons-cli-1.2-sources.jar (added) * Code/ModelTranslator/lib/commons-cli-1.2.jar (added) * Code/ModelTranslator/output/model.ivml (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Bundle.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/Main.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/ModelTranslator.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/IModelReader.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/InputType.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/package-info.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out (moved) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DeclarationsComparator.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IModelWriter.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/IVMLWriter.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/OutputType.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/out/package-info.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/package-info.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/package-info.java (added) Added IVMLWriter Thu, 07 Aug 2014 13:38:19 GMT anonymous [292] This is an empty revision for padding. Thu, 07 Aug 2014 13:36:47 GMT anonymous [291] This is an empty revision for padding. Thu, 07 Aug 2014 12:07:08 GMT krafczy [290] * Code/ModelTranslator/.checkstyle (added) * Code/ModelTranslator/.project (modified) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (modified) * Code/ModelTranslator/src/out (added) * Code/ModelTranslator/src/out/DimacsWriter.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (modified) Add ModelReader.parseLine() Add DimacsWriter (WIP) Thu, 07 Aug 2014 09:11:47 GMT anonymous [289] This is an empty revision for padding. Thu, 07 Aug 2014 09:10:12 GMT anonymous [288] This is an empty revision for padding. Thu, 07 Aug 2014 06:49:03 GMT anonymous [287] This is an empty revision for padding. Wed, 06 Aug 2014 15:49:04 GMT anonymous [286] This is an empty revision for padding. Wed, 06 Aug 2014 12:26:51 GMT anonymous [285] This is an empty revision for padding. Wed, 06 Aug 2014 09:50:55 GMT anonymous [284] This is an empty revision for padding. Mon, 04 Aug 2014 06:37:16 GMT anonymous [283] This is an empty revision for padding. Mon, 04 Aug 2014 06:35:52 GMT anonymous [282] This is an empty revision for padding. Mon, 04 Aug 2014 06:35:12 GMT anonymous [281] This is an empty revision for padding. Mon, 04 Aug 2014 06:32:57 GMT elshar [280] * Code/ModelTranslator/.classpath (added) * Code/ModelTranslator/.project (added) * Code/ModelTranslator/.settings (added) * Code/ModelTranslator/.settings/org.eclipse.jdt.core.prefs (added) * Code/ModelTranslator/input (added) * Code/ModelTranslator/input/model.model (added) * Code/ModelTranslator/lib (added) * Code/ModelTranslator/lib/commons-io-2.4-sources.jar (added) * Code/ModelTranslator/lib/commons-io-2.4.jar (added) * Code/ModelTranslator/output (added) * Code/ModelTranslator/src (added) * Code/ModelTranslator/src/de (added) * Code/ModelTranslator/src/de/uni_hildesheim (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/ModelReader.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/in/package-info.java (added) * Code/ModelTranslator/src/de/uni_hildesheim/sse/trans/package-info.java (added) * Code/ModelTranslator/test (added) * Code/ModelTranslator/test/de (added) * Code/ModelTranslator/test/de/uni_hildesheim (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/AllTests.java (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in (added) * Code/ModelTranslator/test/de/uni_hildesheim/sse/trans/in/ModelReaderTest.java (added) Initial commit of ModelTranslator Mon, 04 Aug 2014 06:32:33 GMT elshar [279] * Code/ModelTranslator (added) Initial import. Sun, 03 Aug 2014 10:10:09 GMT anonymous [278] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [277] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [276] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [275] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [274] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [273] Create a totally empty repository. Tue, 23 Sep 2014 12:11:01 GMT elshar [272] * Code (added) Sun, 03 Aug 2014 10:10:09 GMT anonymous [271] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [270] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [269] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [268] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [267] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [266] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [265] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [264] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [263] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [262] Create a totally empty repository. 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.