Timeline

View changes from
and days back
done by

Repository changesets Wiki changes

12/23/14:

11:49 Changeset [1855] by pharms

* refactoring to use correct terminology * implemented selection of which …

11:45 Changeset [1854] by pharms

* only sequences are now compared * added check that only one replacement …

11:39 Changeset [1853] by pharms

* rename of task instance comparator to task comparator as it actually …

11:37 Changeset [1852] by pharms

* added for debugging purposes --> may be removed later

11:34 Changeset [1851] by pharms

* complete refactoring to improve performance and to fix diverse bugs. * …

11:24 Changeset [1850] by pharms

* performance improvements * rename of task instance comparator to task …

11:19 Changeset [1849] by pharms

* performance improvements * removal of unused source code

11:19 Changeset [1848] by pharms

* rename of task instance comparator to task comparator as it actually …

11:15 Changeset [1847] by pharms

* performance improvement by using array list instead of linked list

10:55 Changeset [1846] by pharms

* rename of task instance comparator to task comparator as it actually …

10:53 Changeset [1845] by pharms

* adapted tests to bug fixes

12/17/14:

12:26 Changeset [1844] by pharms

* corrected log message

12:24 Changeset [1843] by pharms

* description correction

12/15/14:

13:35 Changeset [1842] by funger

* clean up * AndroidMonitorLogFile? Attributes now static

12/10/14:

15:48 Changeset [1841] by dmay

Include Borg specific guimappings

12/08/14:

16:44 Changeset [1840] by sherbold

* fixed build configuration of JFC monitor. Dependencies are now in the …

12/05/14:

13:23 PlugIns/HTML/htmlmonitor edited by pharms

(diff)