 Charles Ruhland
|
0e698c35fb
Add benchmark for instance argument search
|
4 年之前 |
 ulfn
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
ulfn
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 年之前 |
|
ulfn
|
c1eb642726
reduced the complexity of the pattern match benchmark
|
13 年之前 |
|
ulfn
|
2230158da0
new benchmark example which requires a lot of memory for mysterious reasons
|
13 年之前 |
|
ulfn
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 年之前 |
|
ulfn
|
c252e823c2
benchmark run with new improved compareArgs constraint
|
13 年之前 |
|
ulfn
|
7a76c52179
[benchmarks] parse number of metas
|
13 年之前 |
|
ulfn
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 年之前 |
|
ulfn
|
4bf97e3e58
benchmark run
|
15 年之前 |
 ulfn
|
79f8372d78
added another benchmark test
|
16 年之前 |
|
ulfn
|
cc1f4b51c5
added a benchmark with some categories with families stuff
|
17 年之前 |
|
ulfn
|
0a6b010ca3
added a benchmark and a couple of runs
|
17 年之前 |
|
ulfn
|
0eb15ccd13
benchmarking
|
17 年之前 |
