|
123299b87d
|
update fanycthm caching test
|
2022-02-03 15:44:53 +01:00 |
|
|
3c2e68f574
|
testfiles: done
|
2022-02-03 15:04:57 +01:00 |
|
|
0981e3f2d7
|
adjust first test to also define theorems directly
|
2022-02-03 14:04:12 +01:00 |
|
|
7a35a13f87
|
update test2 to match test2
|
2022-02-03 13:49:52 +01:00 |
|
|
c4d46e5dce
|
fix testfile
|
2022-02-03 13:48:47 +01:00 |
|
|
7dca64fa36
|
modify tests slightly
|
2022-02-03 13:11:13 +01:00 |
|
|
c38fd317ae
|
start two test files with different benchmarks
|
2022-02-03 12:59:21 +01:00 |
|
|
9b64e53a98
|
expand test and add benchmarkin
|
2022-02-03 12:32:37 +01:00 |
|
|
d33ea4f9b3
|
update test file
|
2022-01-31 00:44:56 +01:00 |
|
|
68407011c7
|
update fancythm test
|
2022-01-24 01:18:25 +01:00 |
|
Maximilian Keßler
|
645def4b8f
|
update gitignore
|
2021-10-07 18:18:43 +02:00 |
|
Maximilian Keßler
|
d336dde3d8
|
add test files for packages (not finished yet)
|
2021-10-07 13:55:39 +02:00 |
|