6 commits

Author	SHA1	Message	Date
Shautvast	45f8e3307c	just Sets	2023-08-20 22:12:37 +02:00
Shautvast	8127b59e17	big size	2023-08-20 20:59:49 +02:00
Shautvast	34d49e489a	fixed a mistake	2023-08-12 10:14:39 +02:00
Shautvast	8d45e3e28f	avoid dead code elimination	2023-08-12 09:54:21 +02:00
Shautvast	79795d242d	reenabled all benchmarks	2023-08-12 09:40:32 +02:00
Shautvast	a8103b9c2e	second commit	2023-08-12 09:18:37 +02:00