Commit Graph

145 Commits

Author SHA1 Message Date
90c419de97 added logo to VCS 2020-03-29 12:48:10 +02:00
1c0c98eddf some more stuff here; I dont like it at all. 2020-03-29 12:28:11 +02:00
6a5b76f710 some changes as suggested by Simon 2020-03-29 12:00:23 +02:00
361167f5de fixed some stuff as suggested by Simon 2020-03-27 15:38:43 +01:00
798793bdf5 added a bit more 2020-03-27 12:26:59 +01:00
b7c123a3b2 some little work here 2020-03-26 22:40:41 +01:00
78ec3aa4c9 did some more work 2020-03-26 21:35:30 +01:00
b81938bdb7 fixed a bug here 2020-03-26 10:25:58 +01:00
92fe7542d1 fixed a typo 2020-03-26 10:08:37 +01:00
bcf9a9cebb some more work 2020-03-25 18:46:32 +01:00
e5337201ab fixed some typos 2020-03-24 20:13:37 +01:00
3af319f637 updated the cover 2020-03-24 19:32:03 +01:00
cb2c425caa Merge branch 'improved_performance_measurements' 2020-03-24 19:27:29 +01:00
debcc57738 significantly improved time measurements 2020-03-24 19:27:00 +01:00
f7a2d63658 some work 2020-03-24 15:11:16 +01:00
0cd2dfa8b4 some work on performance stuff 2020-03-23 19:32:17 +01:00
0a0f424b98 some stuff here 2020-03-23 16:02:32 +01:00
54705023fb some fixes 2020-03-23 16:02:07 +01:00
8ab401c292 some work 2020-03-20 23:23:48 +01:00
b304d0bf80 fixed one proof 2020-03-20 12:30:41 +01:00
b4be315a01 some work 2020-03-20 09:59:55 +01:00
0c99006196 added something about future work on the sumulator 2020-03-20 09:39:31 +01:00
c30cc44c40 some work here 2020-03-19 12:37:27 +01:00
da2c9244ce added conclusion 2020-03-19 09:41:33 +01:00
dba87f0d7d fixed something here 2020-03-16 13:20:09 +01:00
8e27775b0e U not SU 2020-03-16 13:16:33 +01:00
edaa8ac4a4 some work 2020-03-16 12:59:37 +01:00
ba500e334e made listings look nicer and set draft mode 2020-03-16 12:17:09 +01:00
1b4702f8ff some restructuring here; might not work 2020-03-16 12:16:13 +01:00
1701b480f0 renamed a file 2020-03-16 12:15:14 +01:00
89f6f5bec2 some reformatting of code & a little work 2020-03-14 15:16:55 +01:00
20ff5399e6 updates 2020-03-14 14:56:20 +01:00
f5c7fe824d Some work here 2020-03-14 14:56:07 +01:00
d03c076c8e some work on the plots 2020-03-14 14:54:22 +01:00
79d97632c9 started to improve that. 2020-03-12 14:57:08 +01:00
35b7f3f088 some work here 2020-03-12 14:56:49 +01:00
30f75f7bb2 forgot some modulus there 2020-03-11 10:49:10 +01:00
bbbac43c82 some fixos 2020-03-11 10:48:51 +01:00
ba73d1a449 fixed a typo 2020-03-09 18:02:55 +01:00
cd2a837f06 some more stuff 2020-03-09 18:02:31 +01:00
75aeb83766 some reformatting 2020-03-09 17:32:07 +01:00
0b3755aff9 added some stuff 2020-03-09 17:31:54 +01:00
51217d15b8 Some changes from Andreas 2020-03-09 17:25:38 +01:00
8b12452157 added some more stuff 2020-03-09 16:41:26 +01:00
24c06cfaab added example pngs 2020-03-09 16:27:40 +01:00
851262e012 added example on clearing VOPs 2020-03-09 15:29:32 +01:00
c8acc5dc88 initial work on clearing VOPs 2020-03-09 15:06:28 +01:00
c9cc7b914c removed the pauses for now 2020-03-09 14:40:49 +01:00
d6d300a1b2 did a lot a work on the presentation 2020-03-09 14:33:39 +01:00
bac3697bb9 added a label 2020-03-07 15:35:47 +01:00