37443bb | Pieter Van Gorp | 02 August 2013, 15:01:48 UTC | finished incomplete sentence | 02 August 2013, 15:01:48 UTC |
ea2e909 | Louis Rose | 02 August 2013, 07:35:45 UTC | Ensure that table 1 does not split the bibilography. Remove a couple of references to reduce size of bibliography to one page. | 02 August 2013, 07:35:45 UTC |
37ca36e | Pieter Van Gorp | 31 July 2013, 18:23:46 UTC | fixed bibtex details | 31 July 2013, 18:23:46 UTC |
94aaa37 | Pieter Van Gorp | 31 July 2013, 15:53:16 UTC | Merge branch 'master' of https://github.com/louismrose/ttc_pn2sc | 31 July 2013, 15:53:16 UTC |
35c93a0 | Pieter Van Gorp | 31 July 2013, 15:42:56 UTC | finishing update case | 31 July 2013, 15:42:56 UTC |
fe6d869 | git@pietervangorp.com | 04 March 2013, 13:41:42 UTC | Additional testcases As illustrated by testcases\images\*png, not all additional petri-nets can be reduced successfully. In summary, the following input models should be successfully reduced to statecharts: 1,2, 7, 8, 11 while the following canno be reduced completely: 3, 5, 6, 9, 10. | 04 March 2013, 13:41:42 UTC |
b6927a7 | Louis Rose | 04 March 2013, 11:01:37 UTC | Converted the largest Petrinet model to use EMF fragment paths rather than IDs. | 04 March 2013, 11:01:37 UTC |
bafc8a9 | Louis Rose | 02 March 2013, 14:20:59 UTC | Fix Epsilon solution so that it passess the second test case. | 02 March 2013, 14:20:59 UTC |
fa87897 | Louis Rose | 02 March 2013, 13:53:54 UTC | Switch to EMF fragment paths instead of IDs. | 02 March 2013, 13:53:54 UTC |
9764fc8 | Pieter Van Gorp | 01 March 2013, 20:06:41 UTC | testcase 1 and 2 outputs as generated by GrGen | 01 March 2013, 20:06:41 UTC |
eb6e4ed | Pieter Van Gorp | 18 February 2013, 23:53:37 UTC | added "merge" remark | 18 February 2013, 23:53:37 UTC |
01c4059 | Pieter Van Gorp | 18 February 2013, 23:38:36 UTC | testcases and case description Added performance tests, updated description to further accommodate reviewers' comments | 18 February 2013, 23:38:36 UTC |
a3a6729 | Louis Rose | 18 February 2013, 16:59:22 UTC | Address reviewer's comments. | 18 February 2013, 16:59:22 UTC |
6443c81 | Louis Rose | 05 February 2013, 09:27:55 UTC | Tweaked termination condition. | 05 February 2013, 09:27:55 UTC |
8c45bff | Louis Rose | 05 February 2013, 09:27:43 UTC | Fixed formatting error with listing caption. | 05 February 2013, 09:27:43 UTC |
50232e3 | Louis Rose | 05 February 2013, 09:19:57 UTC | Fix mistake in EOL or | 05 February 2013, 09:19:57 UTC |
9b4dd8d | Louis Rose | 05 February 2013, 09:14:40 UTC | Typos. | 05 February 2013, 09:14:40 UTC |
34e980d | Pieter Van Gorp | 04 February 2013, 21:18:27 UTC | Finished evaluation table and abstract | 04 February 2013, 21:18:41 UTC |
256dc04 | Louis Rose | 04 February 2013, 21:18:02 UTC | Added abstract.tex | 04 February 2013, 21:18:02 UTC |
5e72797 | Pieter Van Gorp | 04 February 2013, 20:58:47 UTC | WIP | 04 February 2013, 20:58:47 UTC |
3750714 | Pieter Van Gorp | 04 February 2013, 19:45:01 UTC | WIP | 04 February 2013, 19:45:01 UTC |
8b3b0d5 | Pieter Van Gorp | 03 February 2013, 16:29:00 UTC | almost finished, passing the lock to Louis again... | 03 February 2013, 16:29:00 UTC |
0217cde | Pieter Van Gorp | 02 February 2013, 17:13:29 UTC | added initial test models, listed pending TODOs | 02 February 2013, 17:13:29 UTC |
a6cd9cd | Pieter Van Gorp | 02 February 2013, 16:25:07 UTC | added rule application sequence | 02 February 2013, 16:25:07 UTC |
872e569 | Pieter Van Gorp | 02 February 2013, 14:41:44 UTC | rewritten the rules section (pfew.... found bug in EOL!) | 02 February 2013, 14:41:44 UTC |
b0ebb0a | Pieter Van Gorp | 02 February 2013, 10:35:09 UTC | finished draft for intro | 02 February 2013, 10:35:09 UTC |
7287f94 | Pieter Van Gorp | 02 February 2013, 09:04:26 UTC | committing .tex and .pdf for the convenience of non-lyx users | 02 February 2013, 09:04:26 UTC |
53d722f | Pieter Van Gorp | 02 February 2013, 09:00:45 UTC | added LyX version migrating from raw .tex to .lyx for more convenient writing | 02 February 2013, 09:00:45 UTC |
b3a5e1b | Pieter Van Gorp | 02 February 2013, 08:23:28 UTC | changed name test commit | 02 February 2013, 08:23:28 UTC |
5560fb0 | Louis Rose | 31 January 2013, 13:44:02 UTC | Add initialisation in Flock. | 31 January 2013, 13:44:02 UTC |
2acd902 | Louis Rose | 31 January 2013, 13:42:20 UTC | Added case description and EOL solution. | 31 January 2013, 13:42:20 UTC |
02de095 | Louis Rose | 31 January 2013, 09:15:52 UTC | Initial commit | 31 January 2013, 09:15:52 UTC |