fbbe618 | Tim "tim3z" Zeitz | 01 July 2022, 09:23:46 UTC | prep camera ready | 01 July 2022, 09:23:46 UTC |
2038596 | Tim "tim3z" Zeitz | 22 April 2022, 10:30:44 UTC | wordsmithing | 22 April 2022, 10:30:44 UTC |
c613d27 | Tim "tim3z" Zeitz | 22 April 2022, 10:28:08 UTC | sharpen contribution | 22 April 2022, 10:28:08 UTC |
f48db4e | Tim "tim3z" Zeitz | 22 April 2022, 10:20:39 UTC | more optimizations | 22 April 2022, 10:20:39 UTC |
c19e0af | Tim "tim3z" Zeitz | 22 April 2022, 08:51:09 UTC | spellcheck and grammarcheck appendix | 22 April 2022, 08:51:09 UTC |
7744490 | Tim "tim3z" Zeitz | 22 April 2022, 08:21:57 UTC | spellcheck and grammarcheck main part | 22 April 2022, 08:21:57 UTC |
43eed3f | Tim "tim3z" Zeitz | 21 April 2022, 16:56:16 UTC | sharpen abstract | 21 April 2022, 16:56:16 UTC |
dadb51f | Tim "tim3z" Zeitz | 21 April 2022, 16:46:34 UTC | wordsmithing in appendix | 21 April 2022, 16:46:34 UTC |
1970ff4 | Tim "tim3z" Zeitz | 21 April 2022, 14:56:28 UTC | add appendix section on parallelization | 21 April 2022, 14:56:28 UTC |
6dc8588 | Tim "tim3z" Zeitz | 21 April 2022, 13:31:27 UTC | anonymize repo link | 21 April 2022, 13:31:27 UTC |
c32303b | Tim "tim3z" Zeitz | 21 April 2022, 13:21:51 UTC | more improvements | 21 April 2022, 13:21:51 UTC |
bf45293 | Tim "tim3z" Zeitz | 21 April 2022, 12:56:04 UTC | further wordsmithing of exps | 21 April 2022, 12:56:04 UTC |
996c7e2 | Tim "tim3z" Zeitz | 21 April 2022, 09:18:18 UTC | script fix | 21 April 2022, 09:18:18 UTC |
41db887 | Tim "tim3z" Zeitz | 21 April 2022, 09:15:10 UTC | wordsmithing IMP | 21 April 2022, 09:15:10 UTC |
0ab16b0 | Tim "tim3z" Zeitz | 21 April 2022, 09:15:02 UTC | wordsmithing | 21 April 2022, 09:15:02 UTC |
e58af7e | Tim "tim3z" Zeitz | 21 April 2022, 08:00:40 UTC | further wordsmithing in intro/prelim | 21 April 2022, 08:00:40 UTC |
2259be2 | Tim "tim3z" Zeitz | 21 April 2022, 06:24:17 UTC | adjust parallelization exp | 21 April 2022, 06:24:17 UTC |
fb552cc | Tim "tim3z" Zeitz | 20 April 2022, 16:35:38 UTC | more wordsmithing | 20 April 2022, 16:35:38 UTC |
3f66d7e | Tim "tim3z" Zeitz | 20 April 2022, 15:35:44 UTC | more wordsmithing intro | 20 April 2022, 15:35:44 UTC |
7ddab54 | Tim "tim3z" Zeitz | 20 April 2022, 13:24:32 UTC | wordsmithing | 20 April 2022, 13:24:32 UTC |
babab04 | Tim "tim3z" Zeitz | 20 April 2022, 13:10:01 UTC | more wordsmithing | 20 April 2022, 13:10:01 UTC |
52afca3 | Tim "tim3z" Zeitz | 20 April 2022, 12:14:47 UTC | mmp wordsmithing | 20 April 2022, 12:14:47 UTC |
e4aac41 | Tim "tim3z" Zeitz | 20 April 2022, 11:58:46 UTC | lots of wordsmithing | 20 April 2022, 11:58:46 UTC |
cab918b | Tim "tim3z" Zeitz | 20 April 2022, 09:13:36 UTC | small progress on various things, compression plot for full exps | 20 April 2022, 09:13:36 UTC |
6778170 | Tim "tim3z" Zeitz | 14 April 2022, 14:24:52 UTC | parallelization experiments for compressions | 14 April 2022, 14:24:52 UTC |
2119a20 | Tim "tim3z" Zeitz | 14 April 2022, 14:04:38 UTC | bring existing optimizations in shape | 14 April 2022, 14:04:38 UTC |
4821acf | Tim "tim3z" Zeitz | 14 April 2022, 13:24:38 UTC | add further discussion of traffic model | 14 April 2022, 13:28:33 UTC |
ae96930 | Tim "tim3z" Zeitz | 14 April 2022, 09:10:56 UTC | polish exp text | 14 April 2022, 09:10:56 UTC |
5cdd34a | Tim "tim3z" Zeitz | 14 April 2022, 07:31:13 UTC | update query numbers, style pot table | 14 April 2022, 07:31:13 UTC |
51ebdd4 | Tim "tim3z" Zeitz | 13 April 2022, 15:13:52 UTC | further improvements | 13 April 2022, 15:13:52 UTC |
5301e25 | Tim "tim3z" Zeitz | 13 April 2022, 14:53:14 UTC | move catchup intro into algo section | 13 April 2022, 14:53:14 UTC |
f8ff57d | Tim "tim3z" Zeitz | 13 April 2022, 14:31:05 UTC | significantly reorder and improve algo section | 13 April 2022, 14:31:05 UTC |
43a3a62 | Tim "tim3z" Zeitz | 13 April 2022, 11:14:17 UTC | extract optimizations into their own paragraph | 13 April 2022, 11:14:17 UTC |
347e0f4 | Tim "tim3z" Zeitz | 13 April 2022, 09:00:31 UTC | improve writing in algo section | 13 April 2022, 09:00:31 UTC |
74ac2d6 | Tim "tim3z" Zeitz | 11 April 2022, 14:34:07 UTC | write an abstract | 11 April 2022, 14:34:07 UTC |
11eda03 | Tim "tim3z" Zeitz | 11 April 2022, 13:05:01 UTC | some formalism for MMP | 11 April 2022, 13:05:01 UTC |
4e13cf0 | Tim "tim3z" Zeitz | 11 April 2022, 11:53:40 UTC | improve CH notation | 11 April 2022, 11:53:40 UTC |
5de993e | Tim "tim3z" Zeitz | 08 April 2022, 15:13:00 UTC | ch notation foo | 08 April 2022, 15:13:00 UTC |
7022a97 | Tim "tim3z" Zeitz | 08 April 2022, 13:57:31 UTC | further squashing and terminology improvements | 08 April 2022, 13:57:31 UTC |
416f543 | Tim "tim3z" Zeitz | 08 April 2022, 11:47:58 UTC | state of notebooks | 08 April 2022, 11:47:58 UTC |
962cf93 | Tim "tim3z" Zeitz | 08 April 2022, 11:47:44 UTC | wordsmithing | 08 April 2022, 11:47:44 UTC |
f0d9be2 | Tim "tim3z" Zeitz | 08 April 2022, 09:37:44 UTC | squash the shit out of preliminaries | 08 April 2022, 09:37:44 UTC |
9b808e8 | Tim "tim3z" Zeitz | 07 April 2022, 15:39:35 UTC | wordsmithing | 07 April 2022, 15:39:35 UTC |
7974b61 | Tim "tim3z" Zeitz | 07 April 2022, 14:10:08 UTC | wordsmithing | 07 April 2022, 14:10:08 UTC |
25519b6 | Tim "tim3z" Zeitz | 07 April 2022, 14:01:37 UTC | write on exp results | 07 April 2022, 14:01:37 UTC |
57edd51 | Tim "tim3z" Zeitz | 06 April 2022, 15:26:20 UTC | add cchpot to prepro exp | 06 April 2022, 15:26:20 UTC |
c1729a9 | Tim "tim3z" Zeitz | 06 April 2022, 15:11:58 UTC | preliminary pot perf table | 06 April 2022, 15:11:58 UTC |
df56093 | Tim "tim3z" Zeitz | 06 April 2022, 13:16:25 UTC | compression plots | 06 April 2022, 13:16:25 UTC |
3595e19 | Tim "tim3z" Zeitz | 05 April 2022, 15:32:22 UTC | perf over day plots | 05 April 2022, 15:32:22 UTC |
3ecb1e8 | Tim "tim3z" Zeitz | 05 April 2022, 14:20:02 UTC | add rank plot | 05 April 2022, 14:20:02 UTC |
1b24ba6 | Tim "tim3z" Zeitz | 05 April 2022, 06:46:59 UTC | more queries | 05 April 2022, 06:46:59 UTC |
7cd3186 | Tim "tim3z" Zeitz | 05 April 2022, 06:46:38 UTC | add missing dir creation | 05 April 2022, 06:46:38 UTC |
143cd62 | Tim "tim3z" Zeitz | 04 April 2022, 15:10:16 UTC | write lots of stuff on correctness | 04 April 2022, 15:10:40 UTC |
ea6f053 | Tim "tim3z" Zeitz | 04 April 2022, 09:43:10 UTC | more cch preliminaries | 04 April 2022, 09:43:10 UTC |
5f2e43f | Tim "tim3z" Zeitz | 04 April 2022, 08:23:05 UTC | maybe fix permanent cch order rebuilding | 04 April 2022, 08:23:05 UTC |
b6f74f8 | Tim "tim3z" Zeitz | 04 April 2022, 07:54:27 UTC | update engine | 04 April 2022, 07:54:27 UTC |
b91aa32 | Tim "tim3z" Zeitz | 01 April 2022, 15:45:40 UTC | writing preliminaries | 01 April 2022, 15:45:40 UTC |
15038f6 | Tim "tim3z" Zeitz | 31 March 2022, 13:18:21 UTC | syntax fix | 31 March 2022, 13:18:21 UTC |
d8948eb | Tim "tim3z" Zeitz | 31 March 2022, 13:16:28 UTC | fix syntax | 31 March 2022, 13:16:28 UTC |
c5080b4 | Tim "tim3z" Zeitz | 31 March 2022, 08:22:52 UTC | update engine | 31 March 2022, 08:22:52 UTC |
86da075 | Tim "tim3z" Zeitz | 31 March 2022, 08:22:20 UTC | actually do all the compression settings | 31 March 2022, 08:22:20 UTC |
35e91a9 | Tim "tim3z" Zeitz | 30 March 2022, 15:30:41 UTC | save compression times | 30 March 2022, 15:30:41 UTC |
a98385c | Tim "tim3z" Zeitz | 30 March 2022, 15:26:56 UTC | different compression sizes | 30 March 2022, 15:26:56 UTC |
b1c1ccf | Tim "tim3z" Zeitz | 30 March 2022, 15:15:37 UTC | exp setup stuff | 30 March 2022, 15:15:37 UTC |
b9e3532 | Tim "tim3z" Zeitz | 30 March 2022, 11:35:07 UTC | do not clean up too much | 30 March 2022, 11:35:07 UTC |
844a8bc | Tim "tim3z" Zeitz | 30 March 2022, 08:54:34 UTC | write on compression | 30 March 2022, 08:54:34 UTC |
85d9f97 | Tim "tim3z" Zeitz | 30 March 2022, 08:37:00 UTC | more cleanup | 30 March 2022, 08:37:00 UTC |
180d519 | Tim "tim3z" Zeitz | 29 March 2022, 15:07:43 UTC | initial draft of interval min text | 29 March 2022, 15:07:43 UTC |
53d2fde | Tim "tim3z" Zeitz | 29 March 2022, 13:14:09 UTC | write on multi metric | 29 March 2022, 13:14:09 UTC |
3db3eec | Tim "tim3z" Zeitz | 29 March 2022, 10:03:04 UTC | lots of references | 29 March 2022, 10:03:04 UTC |
10a5517 | Tim "tim3z" Zeitz | 29 March 2022, 09:18:40 UTC | continue with prelim | 29 March 2022, 09:18:40 UTC |
2ba8cbc | Tim "tim3z" Zeitz | 29 March 2022, 08:27:37 UTC | first draft of contribution | 29 March 2022, 08:27:37 UTC |
f2cc292 | Tim "tim3z" Zeitz | 29 March 2022, 08:03:49 UTC | first draft of related work | 29 March 2022, 08:03:49 UTC |
8fee06d | Tim "tim3z" Zeitz | 28 March 2022, 15:21:01 UTC | first draft of intro and some related work | 28 March 2022, 15:21:01 UTC |
21388cc | Tim "tim3z" Zeitz | 28 March 2022, 11:43:06 UTC | preliminary exp results | 28 March 2022, 11:43:06 UTC |
5ac8fa3 | Tim "tim3z" Zeitz | 28 March 2022, 10:10:37 UTC | more queries | 28 March 2022, 10:10:37 UTC |
30a4d63 | Tim "tim3z" Zeitz | 28 March 2022, 10:09:11 UTC | add no topo queries | 28 March 2022, 10:09:11 UTC |
23d766a | Tim "tim3z" Zeitz | 28 March 2022, 08:33:07 UTC | update engine | 28 March 2022, 08:33:07 UTC |
2073bc5 | Tim "tim3z" Zeitz | 26 March 2022, 09:23:49 UTC | fix ptv live import | 26 March 2022, 09:23:49 UTC |
6c6f279 | Tim "tim3z" Zeitz | 25 March 2022, 14:20:40 UTC | update engine | 25 March 2022, 14:20:40 UTC |
4aff184 | Tim "tim3z" Zeitz | 25 March 2022, 14:19:25 UTC | even smaller small graphs | 25 March 2022, 14:19:25 UTC |
dc4424e | Tim "tim3z" Zeitz | 25 March 2022, 14:19:11 UTC | update engine | 25 March 2022, 14:19:11 UTC |
6a6860d | Tim "tim3z" Zeitz | 25 March 2022, 09:37:21 UTC | clean up after exps | 25 March 2022, 09:37:21 UTC |
3fa3fd7 | Tim "tim3z" Zeitz | 25 March 2022, 09:14:31 UTC | avoid regenerating queries | 25 March 2022, 09:14:31 UTC |
67da352 | Tim "tim3z" Zeitz | 25 March 2022, 08:49:24 UTC | dont repeat mm preprocessing 100 times | 25 March 2022, 08:49:24 UTC |
77a0430 | Tim "tim3z" Zeitz | 25 March 2022, 08:41:23 UTC | fix crash when dir already exists | 25 March 2022, 08:41:23 UTC |
b18b409 | Tim "tim3z" Zeitz | 25 March 2022, 08:35:44 UTC | update engine | 25 March 2022, 08:35:44 UTC |
42acfbd | Tim "tim3z" Zeitz | 25 March 2022, 08:23:04 UTC | update engine | 25 March 2022, 08:23:04 UTC |
7cfa451 | Tim "tim3z" Zeitz | 24 March 2022, 16:39:30 UTC | forgot something | 24 March 2022, 16:39:30 UTC |
780c945 | Tim "tim3z" Zeitz | 24 March 2022, 16:36:50 UTC | update engine | 24 March 2022, 16:36:50 UTC |
dd90471 | Tim "tim3z" Zeitz | 24 March 2022, 16:31:34 UTC | further live metric fixing | 24 March 2022, 16:31:34 UTC |
c9967db | Tim "tim3z" Zeitz | 24 March 2022, 16:26:36 UTC | fix live tasks | 24 March 2022, 16:26:36 UTC |
c147546 | Tim "tim3z" Zeitz | 24 March 2022, 16:05:10 UTC | update engine | 24 March 2022, 16:05:10 UTC |
1833a4b | Tim "tim3z" Zeitz | 24 March 2022, 15:13:27 UTC | remove cmake entries for removed binaries | 24 March 2022, 15:13:27 UTC |
7655212 | Tim "tim3z" Zeitz | 24 March 2022, 15:12:05 UTC | fix metric dependencies | 24 March 2022, 15:12:05 UTC |
19506bf | Tim "tim3z" Zeitz | 24 March 2022, 15:08:36 UTC | fix arrays | 24 March 2022, 15:08:36 UTC |
aefa28e | Tim "tim3z" Zeitz | 24 March 2022, 14:52:14 UTC | script exps | 24 March 2022, 14:52:14 UTC |
5636388 | Tim "tim3z" Zeitz | 24 March 2022, 12:48:15 UTC | change submodule origin url | 24 March 2022, 12:48:15 UTC |
3ff42c1 | Tim "tim3z" Zeitz | 24 March 2022, 12:48:06 UTC | start writing | 24 March 2022, 12:48:06 UTC |
06d6df9 | Tim "tim3z" Zeitz | 14 March 2022, 16:20:00 UTC | import lipics template | 14 March 2022, 16:20:00 UTC |