#
# ChangeLog for /
# 
# Generated by Trac 1.0.1dev-r11478
# Jan 13, 2025, 4:39:34 AM
 
Wed, 27 Feb 2019 09:00:42 GMT eichelberger [254]
	* reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (added)
	* reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (added)
	* reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (added)
	* reasoner/figures/log.txt (added)
	* reasoner/measures (modified)
	* reasoner/measures/benchmark-results-jenkins-1.3.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-jenkins-1_3_0-20190215.zip (added)
	* reasoner/measures/benchmark-results-new-1.3.0-ojdk1.8-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-new-1.3.0-ojdk10-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-new-1_3_0-ojdk10-20190215.zip (added)
	* reasoner/measures/benchmark-results-new-1_3_0-ojdk1_8-20190215.zip (added)
	* reasoner/measures/benchmark-results-new-eclipse-1.3.0-ojdk10-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-new-eclipse-1_3_0-ojdk10-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-1.1.0-jdk1.8-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.3.0-jdk1.8-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-1_1_0-jdk1_8-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-1_3_0-jdk1_8-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-eclipse-1.1.0-jdk1.8-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-eclipse-1.3.0-jdk1.8-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-eclipse-1_1_0-jdk1_8-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-eclipse-1_3_0-jdk1_8-20190215.zip (added)
	* reasoner/measures/benchmark-results-pi-1.10-jdk1.8-20190219.zip (deleted)
	* reasoner/measures/benchmark-results-pi-1.3.0-jdk1.8-20190219.zip (deleted)
	* reasoner/measures/benchmark-results-pi-1_1_0-jdk1_8-20190219.zip (added)
	* reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190219.zip (added)




Wed, 27 Feb 2019 08:59:29 GMT eichelberger [253]
	* reasoner/evaluation.tex (modified)
	* reasoner/measures/script.r (modified)




Tue, 26 Feb 2019 10:20:39 GMT eichelberger [252]
	* reasoner/measures/EASyProducer-measurement-2.patch (added)




Tue, 26 Feb 2019 10:20:30 GMT eichelberger [251]
	* reasoner/measures (modified)
	* reasoner/measures/benchmark-results-new-1.3.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-new-1.3.0-ojdk1.8-20190215.zip (added)
	* reasoner/measures/benchmark-results-new-1.3.0-ojdk10-20190215.zip (added)
	* reasoner/measures/benchmark-results-new-eclipse-1.3.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-new-eclipse-1.3.0-ojdk10-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-1.1.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.1.0-jdk1.8-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-1.3.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.3.0-jdk1.8-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-eclipse-1.1.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-eclipse-1.1.0-jdk1.8-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-eclipse-1.3.0-20190215.zip (deleted)
	* reasoner/measures/benchmark-results-old-eclipse-1.3.0-jdk1.8-20190215.zip (added)
	* reasoner/measures/benchmark-results-pi-1.10-jdk1.8-20190219.zip (added)
	* reasoner/measures/benchmark-results-pi-1.10-jdk1.8-2190219.zip (deleted)
	* reasoner/measures/benchmark-results-pi-1.3.0-jdk1.8-20190219.zip (added)
	* reasoner/measures/pi-1.3.0-jdk1.8.zip (deleted)




Tue, 26 Feb 2019 10:16:03 GMT eichelberger [250]
	* reasoner/measures/script.r (modified)




Fri, 22 Feb 2019 16:30:29 GMT eichelberger [249]
	* reasoner/evaluation.tex (modified)
	* reasoner/reasoner.bib (modified)




Fri, 22 Feb 2019 16:09:28 GMT eichelberger [248]
	* reasoner/evaluation.tex (modified)
	* reasoner/reasoner.bib (modified)




Fri, 22 Feb 2019 14:19:38 GMT eichelberger [247]
	* reasoner/measures/pi-1.3.0-jdk1.8.zip (added)




Thu, 21 Feb 2019 16:36:32 GMT eichelberger [246]
	* reasoner/evaluation.tex (modified)
	* reasoner/measures/old/pi-1.1-jdk1.8.zip (added)
	* reasoner/measures/old/pi-incompl-1.1-jdk1.8.zip (added)
	* reasoner/measures/pi-1.30-jdk1.8-incomplete.zip (added)
	* reasoner/measures/pi-1.30-jdk1.8_201-incomplete.zip (added)
	* reasoner/measures/script.r (modified)
	* reasoner/performance.tex (modified)




Wed, 20 Feb 2019 08:48:26 GMT eichelberger [245]
	* reasoner/measures/benchmark-results-pi-1.10-jdk1.8-2190219.zip (added)




Sun, 17 Feb 2019 13:41:07 GMT eichelberger [244]
	* reasoner/measures/script.r (modified)




Sun, 17 Feb 2019 13:29:44 GMT eichelberger [243]
	* reasoner/measures/script.r (modified)




Sun, 17 Feb 2019 12:41:17 GMT eichelberger [242]
	* reasoner/measures/script.r (modified)




Sat, 16 Feb 2019 18:40:33 GMT eichelberger [241]
	* reasoner/measures/old-system.txt (modified)




Sat, 16 Feb 2019 18:38:28 GMT eichelberger [240]
	* reasoner/measures/benchmark-results-new-eclipse-1.3.0-20190215.zip (added)
	* reasoner/measures/new-system.txt (modified)




Sat, 16 Feb 2019 09:27:08 GMT eichelberger [239]
	* reasoner/measures/new-system.txt (modified)




Fri, 15 Feb 2019 16:02:24 GMT eichelberger [238]
	* reasoner/measures/benchmark-results-old-eclipse-1.3.0-20190215.zip (added)




Fri, 15 Feb 2019 15:19:50 GMT eichelberger [237]
	* reasoner/measures/new-system.txt (added)




Fri, 15 Feb 2019 15:17:50 GMT eichelberger [236]
	* reasoner/measures/benchmark-results-new-1.3.0-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-1.1.0-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-1.3.0-20190215.zip (added)
	* reasoner/measures/benchmark-results-old-eclipse-1.1.0-20190215.zip (added)
	* reasoner/measures/old-system.txt (added)
	* reasoner/measures/script.r (modified)




Fri, 15 Feb 2019 11:21:02 GMT eichelberger [235]
	* reasoner/measures/EASyProducer-measurement-2.zip (added)
	* reasoner/measures/ScaleLog-measurement-2-patch.txt (added)




Fri, 15 Feb 2019 08:16:44 GMT eichelberger [234]
	* reasoner/measures/benchmark-eclipse-results-new-1.3.0-20180824.zip (deleted)
	* reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180818.zip (deleted)
	* reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180818.zip (deleted)
	* reasoner/measures/benchmark-results-jenkins-1.3.0-20180819.zip (deleted)
	* reasoner/measures/benchmark-results-jenkins-1.3.0-20190215.zip (added)
	* reasoner/measures/benchmark-results-new-1.3.0-20180824.zip (deleted)
	* reasoner/measures/benchmark-results-new-1.3.0-20180826.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.1.0-20180818.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.1.0-20180826.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.3.0-20180818.zip (deleted)
	* reasoner/measures/benchmark-results-old-1.3.0-20180826.zip (deleted)
	* reasoner/measures/old (added)
	* reasoner/measures/old/benchmark-eclipse-results-new-1.3.0-20180824.zip (added)
	* reasoner/measures/old/benchmark-eclipse-results-old-1.1.0-20180818.zip (added)
	* reasoner/measures/old/benchmark-eclipse-results-old-1.3.0-20180818.zip (added)
	* reasoner/measures/old/benchmark-results-jenkins-1.3.0-20180819.zip (added)
	* reasoner/measures/old/benchmark-results-new-1.3.0-20180824.zip (added)
	* reasoner/measures/old/benchmark-results-new-1.3.0-20180826.zip (added)
	* reasoner/measures/old/benchmark-results-old-1.1.0-20180818.zip (added)
	* reasoner/measures/old/benchmark-results-old-1.1.0-20180826.zip (added)
	* reasoner/measures/old/benchmark-results-old-1.3.0-20180818.zip (added)
	* reasoner/measures/old/benchmark-results-old-1.3.0-20180826.zip (added)
	* reasoner/measures/script.r (added)




Sat, 09 Feb 2019 11:06:13 GMT eichelberger [233]
	* reasoner/evaluation.tex (modified)




Fri, 08 Feb 2019 16:20:20 GMT eichelberger [232]
	* reasoner/evaluation.tex (modified)
	* reasoner/reasoner.bib (modified)




Fri, 08 Feb 2019 15:37:23 GMT eichelberger [231]
	* reasoner/evaluation.tex (modified)




Fri, 08 Feb 2019 15:07:56 GMT eichelberger [230]
	* reasoner/evaluation.tex (modified)




Fri, 08 Feb 2019 14:34:50 GMT eichelberger [229]
	* reasoner/reasoner.bib (modified)
	* reasoner/reasoner.tex (modified)




Fri, 08 Feb 2019 14:15:21 GMT eichelberger [228]
	* reasoner/performance.tex (modified)




Fri, 08 Feb 2019 12:22:44 GMT eichelberger [227]
	* reasoner/ivmlCompleteness.tex (modified)




Fri, 08 Feb 2019 11:54:16 GMT eichelberger [226]
	* reasoner/appendixTests.tex (modified)
	* reasoner/ivmlCompleteness.tex (modified)
	* reasoner/reasoner.tex (modified)




Fri, 08 Feb 2019 11:04:44 GMT eichelberger [225]
	* reasoner/approach.tex (modified)
	* reasoner/introduction.tex (modified)
	* reasoner/ivmlCompleteness.tex (modified)
	* reasoner/mainAlgorithms.tex (modified)
	* reasoner/notation.tex (modified)
	* reasoner/reasoner.tex (modified)




Fri, 08 Feb 2019 10:53:33 GMT eichelberger [224]
	* reasoner/consRescheduling.tex (modified)
	* reasoner/figures/figures.vsdx (modified)
	* reasoner/figures/structure.pdf (modified)
	* reasoner/mainAlgorithms.tex (modified)




Thu, 07 Feb 2019 13:23:12 GMT eichelberger [223]
	* reasoner/consRescheduling.tex (modified)




Thu, 07 Feb 2019 12:12:43 GMT eichelberger [222]
	* reasoner/consTranslation.tex (modified)
	* reasoner/figures/figures.vsdx (modified)
	* reasoner/figures/structure.pdf (modified)
	* reasoner/mainAlgorithms.tex (modified)




Thu, 07 Feb 2019 11:58:36 GMT eichelberger [221]
	* reasoner/consRescheduling.tex (modified)
	* reasoner/consTranslation.tex (modified)




Wed, 06 Feb 2019 17:08:32 GMT eichelberger [220]
	* reasoner/consTranslation.tex (modified)




Wed, 06 Feb 2019 13:51:23 GMT eichelberger [219]
	* reasoner/consTranslation.tex (modified)
	* reasoner/reasoner.tex (modified)




Tue, 05 Feb 2019 09:24:28 GMT eichelberger [218]
	* reasoner/consTranslation.tex (modified)




Mon, 04 Feb 2019 18:12:54 GMT eichelberger [217]
	* reasoner/consTranslation.tex (modified)




Mon, 04 Feb 2019 17:26:10 GMT eichelberger [216]
	* reasoner/consTranslation.tex (modified)




Mon, 04 Feb 2019 16:59:58 GMT eichelberger [215]
	* reasoner/consTranslation.tex (modified)




Fri, 01 Feb 2019 16:45:54 GMT eichelberger [214]
	* reasoner/consTranslation.tex (modified)
	* reasoner/mainAlgorithms.tex (modified)




Thu, 31 Jan 2019 17:01:57 GMT eichelberger [213]
	* reasoner/consTranslation.tex (modified)




Thu, 31 Jan 2019 16:01:20 GMT eichelberger [212]
	* reasoner/consTranslation.tex (modified)
	* reasoner/reasoner.tex (modified)




Thu, 31 Jan 2019 15:22:54 GMT eichelberger [211]
	* reasoner/consTranslation.tex (modified)




Thu, 31 Jan 2019 15:19:21 GMT eichelberger [210]
	* reasoner/consTranslation.tex (modified)
	* reasoner/reasoner.tex (modified)




Thu, 31 Jan 2019 13:31:23 GMT eichelberger [209]
	* reasoner/consTranslation.tex (modified)




Thu, 31 Jan 2019 12:24:16 GMT eichelberger [208]
	* reasoner/consTranslation.tex (modified)




Thu, 31 Jan 2019 10:38:51 GMT eichelberger [207]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 17:39:55 GMT eichelberger [206]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 16:54:50 GMT eichelberger [205]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 16:52:41 GMT eichelberger [204]
	* reasoner/consTranslation.tex (modified)
	* reasoner/notation.tex (modified)
	* reasoner/reasoner.tex (modified)




Fri, 25 Jan 2019 16:28:13 GMT eichelberger [203]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 15:51:59 GMT eichelberger [202]
	* reasoner/consTranslation.tex (modified)
	* reasoner/notation.tex (modified)
	* reasoner/reasoner.tex (modified)




Fri, 25 Jan 2019 15:35:48 GMT eichelberger [201]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 14:24:46 GMT eichelberger [200]
	* reasoner/consTranslation.tex (modified)
	* reasoner/mainAlgorithms.tex (modified)
	* reasoner/notation.tex (modified)
	* reasoner/reasoner.tex (modified)




Fri, 25 Jan 2019 12:53:22 GMT eichelberger [199]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 11:33:28 GMT eichelberger [198]
	* reasoner/consTranslation.tex (modified)




Fri, 25 Jan 2019 10:31:26 GMT eichelberger [197]
	* reasoner/consTranslation.tex (modified)




Wed, 23 Jan 2019 09:27:07 GMT eichelberger [196]
	* reasoner/consTranslation.tex (modified)
	* reasoner/mainAlgorithms.tex (modified)




Mon, 21 Jan 2019 17:27:16 GMT eichelberger [195]
	* reasoner/mainAlgorithms.tex (modified)




Fri, 18 Jan 2019 17:32:32 GMT eichelberger [194]
	* reasoner/mainAlgorithms.tex (modified)




Fri, 18 Jan 2019 16:44:13 GMT eichelberger [193]
	* reasoner/mainAlgorithms.tex (modified)




Fri, 18 Jan 2019 14:00:23 GMT eichelberger [192]
	* reasoner/mainAlgorithms.tex (modified)




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)