|
|
361167f5de
|
fixed some stuff as suggested by Simon
|
2020-03-27 15:38:43 +01:00 |
|
|
|
b81938bdb7
|
fixed a bug here
|
2020-03-26 10:25:58 +01:00 |
|
|
|
debcc57738
|
significantly improved time measurements
|
2020-03-24 19:27:00 +01:00 |
|
|
|
0cd2dfa8b4
|
some work on performance stuff
|
2020-03-23 19:32:17 +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 |
|
|
|
d03c076c8e
|
some work on the plots
|
2020-03-14 14:54:22 +01:00 |
|
