 Andreas Abel
|
0d80f4600d
Benchmark run 2014-03-23 with new benchmark facility.
|
%!s(int64=11) %!d(string=hai) anos |
 ulfn
|
ab98bc2570
benchmarks with and without sharing
|
%!s(int64=12) %!d(string=hai) anos |
|
ulfn
|
b735903866
implemented sharing and call-by-need (disabled for now)
|
%!s(int64=12) %!d(string=hai) anos |
|
ulfn
|
f8b5b43457
benchmark run
|
%!s(int64=12) %!d(string=hai) anos |
|
ulfn
|
0f8b3cb164
avoid creating metas in isType_
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
15b2d884ca
benchmark run after new mutual syntax
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
5474d3d7db
benchmark run
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
05eb51dbeb
benchmark run after positivity fix (cwf is now twice as slow)
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
fabf26da75
benchmark run for nuked MonadTCMs
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
1d303c2e6d
replaced nubBy in Syntax.Operators.localNames with the new Agda.Utils.List.uniqBy
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
af1da280f1
benchmark run with new constraint machinery
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
b556a66664
benchmark run
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
93763453f7
benchmark run
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
b5f2ad8726
benchmark run for improved lambda checking
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
f208ef73e0
benchmark run after pushing types into lambda abstractions
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
7163009645
benchmark run for (\x -> x) as (\(x : _) -> x)
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
dadd7ef57f
benchmark run with new state monad implementation
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
c1eb642726
reduced the complexity of the pattern match benchmark
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
2230158da0
new benchmark example which requires a lot of memory for mysterious reasons
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
598bd70d43
benchmark run with new computer
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
0503f76399
benchmark run
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
f894a74496
switched prim benchmark to using a record for sigma and two new benchmark runs
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
177a700aca
benchmark run
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
c252e823c2
benchmark run with new improved compareArgs constraint
|
%!s(int64=13) %!d(string=hai) anos |
|
ulfn
|
8fbbf5c9da
notes on the benchmarks
|
%!s(int64=13) %!d(string=hai) anos |
