# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Dec 23, 2024, 3:38:56 AM Fri, 18 Jan 2019 13:23:17 GMT eichelberger [191] * reasoner/mainAlgorithms.tex (modified) Fri, 18 Jan 2019 11:59:07 GMT eichelberger [190] * reasoner/figures/figures.vsdx (modified) * reasoner/figures/structure.pdf (modified) * reasoner/mainAlgorithms.tex (modified) Mon, 08 Oct 2018 16:52:30 GMT eichelberger [189] * reasoner/notation.tex (modified) Tue, 02 Oct 2018 09:49:15 GMT eichelberger [188] * reasoner/consTranslation.tex (modified) * reasoner/introduction.tex (modified) * reasoner/mainAlgorithms.tex (modified) * reasoner/notation.tex (modified) Mon, 01 Oct 2018 08:47:31 GMT eichelberger [187] * reasoner/notation.tex (modified) Wed, 05 Sep 2018 07:48:45 GMT eichelberger [186] * reasoner/mainAlgorithms.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoner.bib (modified) Tue, 04 Sep 2018 10:04:30 GMT eichelberger [185] * reasoner/approach.tex (modified) * reasoner/notation.tex (modified) Mon, 03 Sep 2018 10:42:15 GMT eichelberger [184] * reasoner/approach.tex (modified) * reasoner/reasoner.bib (modified) Wed, 29 Aug 2018 06:45:03 GMT eichelberger [183] * reasoner/introduction.tex (modified) * reasoner/reasoner.tex (modified) Sun, 26 Aug 2018 12:31:14 GMT eichelberger [182] * reasoner/measures/benchmark-results-old-1.1.0-20180826.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-20180826.zip (added) Sun, 26 Aug 2018 08:10:00 GMT eichelberger [181] * reasoner/measures/benchmark-results-new-1.3.0-20180826.zip (added) Fri, 24 Aug 2018 14:44:55 GMT eichelberger [180] * reasoner/measures/benchmark-eclipse-results-new-1.3.0-20180824.zip (added) Fri, 24 Aug 2018 14:18:38 GMT eichelberger [179] * reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180818.zip (added) * reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180918.zip (deleted) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180818.zip (added) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180918.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-20180818.zip (added) * reasoner/measures/benchmark-results-old-1.1.0-20180918.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-20180818.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-20180918.zip (deleted) Fri, 24 Aug 2018 14:18:02 GMT eichelberger [178] * reasoner/measures/benchmark-results-new-1.3.0-20180824.zip (added) Mon, 20 Aug 2018 12:14:35 GMT eichelberger [177] * reasoner/measures/benchmark-eclipse-results-old-1.2.0-20180918.zip (deleted) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180918.zip (added) * reasoner/measures/benchmark-results-jenkins-1.2.0-20180819.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1.3.0-20180819.zip (added) * reasoner/measures/benchmark-results-old-1.2.0-20180918.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-20180918.zip (added) Mon, 20 Aug 2018 12:14:08 GMT eichelberger [176] * reasoner/evaluation.tex (modified) Mon, 20 Aug 2018 10:14:35 GMT eichelberger [175] * reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180918.zip (added) * reasoner/measures/benchmark-eclipse-results-old-1.2.0-20180918.zip (added) * reasoner/measures/benchmark-results-jenkins-1.2.0-20180819.zip (added) * reasoner/measures/benchmark-results-jenkins-1.3.0-20180819.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-20180918.zip (added) * reasoner/measures/benchmark-results-old-1.2.0-20180918.zip (modified) Sun, 19 Aug 2018 15:16:56 GMT eichelberger [174] * reasoner/measures/benchmark-results-old-1.2.0-20180918.zip (added) Sun, 19 Aug 2018 14:35:26 GMT eichelberger [173] * reasoner/evaluation.tex (modified) * reasoner/measures (added) * reasoner/measures/benchmark-results-jenkins-1.3.0-20180819.zip (added) Fri, 10 Aug 2018 11:58:42 GMT eichelberger [172] * reasoner/evaluation.tex (modified) Fri, 10 Aug 2018 11:54:38 GMT eichelberger [171] * reasoner/evaluation.tex (modified) Wed, 08 Aug 2018 12:27:57 GMT eichelberger [170] * reasoner/appendixTests.tex (added) * reasoner/evaluation.tex (modified) * reasoner/introduction.tex (modified) * reasoner/notation.tex (modified) * reasoner/performance.tex (modified) * reasoner/reasoner.tex (modified) Tue, 31 Jul 2018 11:23:02 GMT eichelberger [169] * reasoner/mainAlgorithms.tex (modified) * reasoner/performance.tex (modified) * reasoner/reasoner.bib (modified) Tue, 31 Jul 2018 09:44:19 GMT eichelberger [168] * reasoner/approach.tex (modified) * reasoner/consTranslation.tex (modified) * reasoner/notation.tex (modified) Mon, 30 Jul 2018 09:53:12 GMT eichelberger [167] * reasoner/ivmlCompleteness.tex (modified) Mon, 30 Jul 2018 09:17:49 GMT eichelberger [166] * reasoner/consRescheduling.tex (modified) * reasoner/consTranslation.tex (modified) * reasoner/ivmlCompleteness.tex (modified) * reasoner/notation.tex (modified) Sun, 29 Jul 2018 12:30:21 GMT eichelberger [165] * reasoner/consRescheduling.tex (modified) algorithms completed Sun, 29 Jul 2018 11:04:23 GMT eichelberger [164] * reasoner/consRescheduling.tex (modified) * reasoner/consTranslation.tex (modified) * reasoner/mainAlgorithms.tex (added) * reasoner/notation.tex (modified) * reasoner/reasoner.tex (modified) * reasoner/reasoningAlg.tex (deleted) Fri, 27 Jul 2018 15:27:00 GMT eichelberger [163] * reasoner/consRescheduling.tex (modified) Fri, 27 Jul 2018 14:35:31 GMT eichelberger [162] * reasoner/consRescheduling.tex (modified) * reasoner/consTranslation.tex (modified) Fri, 27 Jul 2018 12:54:12 GMT eichelberger [161] * reasoner/consRescheduling.tex (modified) Fri, 27 Jul 2018 11:50:28 GMT eichelberger [160] * reasoner/consTranslation.tex (modified) Fri, 27 Jul 2018 07:27:16 GMT eichelberger [159] * reasoner/consTranslation.tex (modified) Thu, 26 Jul 2018 17:22:08 GMT eichelberger [158] * reasoner/consTranslation.tex (modified) Thu, 26 Jul 2018 17:16:11 GMT eichelberger [157] * reasoner/consTranslation.tex (modified) Thu, 26 Jul 2018 15:16:44 GMT eichelberger [156] * reasoner/consTranslation.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoningAlg.tex (modified) Thu, 26 Jul 2018 09:45:02 GMT eichelberger [155] * reasoner/consTranslation.tex (modified) Thu, 26 Jul 2018 07:53:39 GMT eichelberger [154] * reasoner/consTranslation.tex (modified) Wed, 25 Jul 2018 16:13:14 GMT eichelberger [153] * reasoner/consTranslation.tex (modified) Wed, 25 Jul 2018 10:31:10 GMT eichelberger [152] * reasoner/consTranslation.tex (modified) Wed, 25 Jul 2018 10:12:24 GMT eichelberger [151] * reasoner/consTranslation.tex (modified) Wed, 25 Jul 2018 08:25:13 GMT eichelberger [150] * reasoner/consTranslation.tex (modified) * reasoner/reasoningAlg.tex (modified) Tue, 24 Jul 2018 17:31:30 GMT eichelberger [149] * reasoner/consTranslation.tex (modified) * reasoner/notation.tex (modified) Tue, 24 Jul 2018 16:41:16 GMT eichelberger [148] * reasoner/consTranslation.tex (modified) * reasoner/reasoner.tex (modified) * reasoner/reasoningAlg.tex (modified) Tue, 24 Jul 2018 13:49:24 GMT eichelberger [147] * reasoner/consTranslation.tex (modified) Tue, 24 Jul 2018 08:01:59 GMT eichelberger [146] * reasoner/consTranslation.tex (modified) Mon, 23 Jul 2018 13:43:46 GMT eichelberger [145] * reasoner/consTranslation.tex (modified) Mon, 23 Jul 2018 13:14:39 GMT eichelberger [144] * reasoner/approach.tex (added) * reasoner/conclusion.tex (added) * reasoner/consRescheduling.tex (added) * reasoner/consTranslation.tex (added) * reasoner/evaluation.tex (added) * reasoner/introduction.tex (added) * reasoner/ivmlCompleteness.tex (added) * reasoner/notation.tex (added) * reasoner/performance.tex (added) * reasoner/reasoner.tex (modified) * reasoner/reasoningAlg.tex (added) Fri, 20 Jul 2018 14:53:22 GMT eichelberger [143] * reasoner/reasoner.tex (modified) Fri, 20 Jul 2018 14:51:20 GMT eichelberger [142] * reasoner/reasoner.tex (modified) Fri, 20 Jul 2018 13:37:29 GMT eichelberger [141] * reasoner/reasoner.tex (modified) Tue, 17 Jul 2018 08:10:11 GMT eichelberger [140] * reasoner/reasoner.tex (modified) Tue, 17 Jul 2018 08:03:56 GMT eichelberger [139] * reasoner/reasoner.tex (modified) Wed, 04 Jul 2018 07:45:48 GMT eichelberger [138] * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 16:32:01 GMT eichelberger [137] * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 12:53:31 GMT eichelberger [136] * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 12:06:16 GMT eichelberger [135] * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 11:39:28 GMT eichelberger [134] * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 11:33:30 GMT eichelberger [133] * reasoner/figures/structure.emf (deleted) * reasoner/figures/structure.eps (deleted) * reasoner/figures/structure.pdf (added) * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 10:31:18 GMT eichelberger [132] * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 09:31:52 GMT eichelberger [131] * reasoner/reasoner.bib (modified) * reasoner/reasoner.tex (modified) Mon, 02 Jul 2018 07:13:37 GMT eichelberger [130] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 16:30:57 GMT eichelberger [129] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 15:43:31 GMT eichelberger [128] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 15:19:43 GMT eichelberger [127] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 14:45:37 GMT eichelberger [126] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 14:08:34 GMT eichelberger [125] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 13:33:18 GMT eichelberger [124] * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 12:33:31 GMT eichelberger [123] * reasoner/reasoner.bib (modified) * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 11:06:47 GMT eichelberger [122] * reasoner/reasoner.bib (modified) * reasoner/reasoner.tex (modified) Fri, 22 Jun 2018 09:26:21 GMT eichelberger [121] * reasoner/reasoner.tex (modified) Fri, 01 Jun 2018 11:49:59 GMT eichelberger [120] * reasoner/reasoner.tex (modified) Thu, 31 May 2018 17:18:18 GMT eichelberger [119] * reasoner/reasoner.tex (modified) Wed, 23 May 2018 16:02:18 GMT eichelberger [118] * reasoner/reasoner.tex (modified) Wed, 23 May 2018 13:43:23 GMT eichelberger [117] * reasoner/reasoner.tex (modified) Tue, 22 May 2018 12:05:33 GMT eichelberger [116] * reasoner/reasoner.tex (modified) Tue, 22 May 2018 09:48:12 GMT eichelberger [115] * reasoner/reasoner.tex (modified) Wed, 16 May 2018 08:14:39 GMT eichelberger [114] * reasoner/reasoner.tex (modified) Tue, 15 May 2018 14:13:17 GMT eichelberger [113] * reasoner/reasoner.tex (modified) Tue, 15 May 2018 12:55:38 GMT eichelberger [112] * reasoner/reasoner.tex (modified) Wed, 09 May 2018 15:33:07 GMT eichelberger [111] * reasoner/reasoner.tex (modified) Tue, 08 May 2018 17:28:38 GMT eichelberger [110] * reasoner/reasoner.tex (modified) Tue, 08 May 2018 17:11:06 GMT eichelberger [109] * reasoner/reasoner.tex (modified) Sat, 05 May 2018 07:36:33 GMT eichelberger [108] * reasoner/figures/figures.pptx (added) * reasoner/reasoner.tex (modified) Wed, 02 May 2018 12:30:29 GMT eichelberger [107] * reasoner/reasoner.tex (modified) Thu, 26 Apr 2018 16:11:17 GMT eichelberger [106] * reasoner/reasoner.tex (modified) Tue, 24 Apr 2018 07:53:59 GMT eichelberger [105] * reasoner/figures/figures.vsdx (modified) * reasoner/figures/structure.emf (modified) * reasoner/figures/structure.eps (modified) * reasoner/reasoner.tex (modified) Tue, 10 Apr 2018 13:57:49 GMT eichelberger [104] * reasoner/reasoner.tex (modified) Tue, 10 Apr 2018 13:04:22 GMT eichelberger [103] * reasoner/reasoner.tex (modified) Tue, 10 Apr 2018 10:29:58 GMT eichelberger [102] * reasoner/reasoner.tex (modified) Mon, 09 Apr 2018 16:44:47 GMT eichelberger [101] * reasoner/reasoner.tex (modified) Mon, 09 Apr 2018 14:10:24 GMT eichelberger [100] * reasoner/reasoner.tex (modified) Fri, 06 Apr 2018 15:40:16 GMT eichelberger [99] * reasoner/reasoner.tex (modified) Fri, 06 Apr 2018 15:08:37 GMT eichelberger [98] * reasoner/reasoner.tex (modified) Wed, 04 Apr 2018 16:10:00 GMT eichelberger [97] * reasoner/reasoner.tex (modified) Wed, 04 Apr 2018 09:57:22 GMT eichelberger [96] * reasoner/reasoner.tex (modified) Tue, 03 Apr 2018 18:37:16 GMT eichelberger [95] * reasoner/reasoner.tex (modified) Wed, 28 Mar 2018 11:14:56 GMT eichelberger [94] * reasoner/reasoner.tex (modified) Tue, 27 Mar 2018 16:51:25 GMT eichelberger [93] * reasoner/reasoner.tex (modified) Thu, 22 Mar 2018 13:46:14 GMT eichelberger [92] * reasoner/reasoner.tex (modified)