# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Nov 24, 2024, 5:25:57 PM Thu, 14 Aug 2014 13:55:15 GMT elshar [61] * 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 [60] * 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 [59] * Code/ModelTranslator/build-jk.xml (modified) Added test target Thu, 14 Aug 2014 09:26:49 GMT elshar [58] * 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 [57] * 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 [56] * 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 [55] * 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 [54] This is an empty revision for padding. Fri, 08 Aug 2014 06:49:53 GMT anonymous [53] This is an empty revision for padding. Fri, 08 Aug 2014 06:47:53 GMT elshar [52] * 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 [51] * 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 [50] This is an empty revision for padding. Thu, 07 Aug 2014 13:36:47 GMT anonymous [49] This is an empty revision for padding. Thu, 07 Aug 2014 12:07:08 GMT krafczy [48] * 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 [47] This is an empty revision for padding. Thu, 07 Aug 2014 09:10:12 GMT anonymous [46] This is an empty revision for padding. Thu, 07 Aug 2014 06:49:03 GMT anonymous [45] This is an empty revision for padding. Wed, 06 Aug 2014 15:49:04 GMT anonymous [44] This is an empty revision for padding. Wed, 06 Aug 2014 12:26:51 GMT anonymous [43] This is an empty revision for padding. Wed, 06 Aug 2014 09:50:55 GMT anonymous [42] This is an empty revision for padding. Mon, 04 Aug 2014 06:37:16 GMT anonymous [41] This is an empty revision for padding. Mon, 04 Aug 2014 06:35:52 GMT anonymous [40] This is an empty revision for padding. Mon, 04 Aug 2014 06:35:12 GMT anonymous [39] This is an empty revision for padding. Mon, 04 Aug 2014 06:32:57 GMT elshar [38] * 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 [37] * Code/ModelTranslator (added) Initial import. Sun, 03 Aug 2014 10:10:09 GMT anonymous [36] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [35] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [34] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [33] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [32] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [31] Create a totally empty repository. Tue, 23 Sep 2014 12:11:01 GMT elshar [30] * Code (added) Sun, 03 Aug 2014 10:10:09 GMT anonymous [29] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [28] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [27] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [26] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [25] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [24] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [23] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [22] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [21] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [20] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [19] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [18] Create a totally empty repository. Tue, 23 Sep 2014 11:51:33 GMT elshar [17] * Code (deleted) Sun, 03 Aug 2014 10:10:09 GMT anonymous [16] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [15] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [14] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [13] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [12] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [11] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [10] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [9] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [8] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [7] Create a totally empty repository. Sun, 03 Aug 2014 10:10:09 GMT anonymous [6] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [5] Create a totally empty repository. Tue, 23 Sep 2014 11:46:41 GMT elshar [4] * Code (added) * Code/ModelTranslator (added) Created temporary folder fur importing existing project Sun, 03 Aug 2014 10:10:09 GMT anonymous [3] This is an empty revision for padding. Sun, 03 Aug 2014 10:07:31 GMT www-data [2] Create a totally empty repository. Tue, 23 Sep 2014 11:23:05 GMT www-data [1] Create a totally empty repository.