| .. |
|
20071213-12.58-dhcp-246-168
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20071219-11.21-livia
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20080306-11.43-livia
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20080306-11.59-livia
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20080407-14.00-dhcp-243-41
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20080730-12.47-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081126-12.59-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081126-15.26-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081127-09.18-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081127-21.23-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081201-12.53-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081201-12.55-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20081201-13.09-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20090423-08.30-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20100113-19.32-dhcp-20-76
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20110510-10.18-localhost
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20110629-21.47-ulf-norells-macbook-pro
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 years ago |
|
20110701-09.48-dhcp-183029
|
2b65ab42a0
benchmark run with number of metas
|
13 years ago |
|
20110706-10.42-dhcp-186038
|
70065af55c
removed benchmarks using the old tick format and added one in the new
|
13 years ago |
|
20110706-16.14-dhcp-186038
|
c252e823c2
benchmark run with new improved compareArgs constraint
|
13 years ago |
|
20110822-09.36-dhcp-190251
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 years ago |
|
20110822-13.57-dhcp-190251
|
177a700aca
benchmark run
|
13 years ago |
|
20110823-07.51-ulf-norells-macbook-pro
|
f894a74496
switched prim benchmark to using a record for sigma and two new benchmark runs
|
13 years ago |
|
20110823-08.00-ulf-norells-macbook-pro
|
f894a74496
switched prim benchmark to using a record for sigma and two new benchmark runs
|
13 years ago |
|
20110824-18.56-ulf-norells-macbook-pro
|
0503f76399
benchmark run
|
13 years ago |
|
20110825-14.57-ulf-norells-macbook-pro
|
0503f76399
benchmark run
|
13 years ago |
|
20110830-17.10-dhcp-178109
|
598bd70d43
benchmark run with new computer
|
13 years ago |
|
20110830-18.20-dhcp-178109
|
2230158da0
new benchmark example which requires a lot of memory for mysterious reasons
|
13 years ago |
|
20110901-08.43-Ulfs-MacBook-Pro
|
c1eb642726
reduced the complexity of the pattern match benchmark
|
13 years ago |
|
20110901-12.30-Ulfs-MacBook-Pro
|
154fcb700b
added Agda.Utils.VarSet
|
13 years ago |
|
20110901-13.33-Ulfs-MacBook-Pro
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 years ago |
|
20110902-12.38-Ulfs-MacBook-Pro
|
15b32664d4
benchmark run with projection-like functions
|
13 years ago |
|
20110906-12.30-Ulfs-MacBook-Pro
|
dadd7ef57f
benchmark run with new state monad implementation
|
13 years ago |
|
20110907-01.19-Ulfs-MacBook-Pro
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 years ago |
|
20110907-03.11-Ulfs-MacBook-Pro
|
7163009645
benchmark run for (\x -> x) as (\(x : _) -> x)
|
13 years ago |
|
20110907-03.26-Ulfs-MacBook-Pro
|
f208ef73e0
benchmark run after pushing types into lambda abstractions
|
13 years ago |
|
20110907-04.48-Ulfs-MacBook-Pro
|
b5f2ad8726
benchmark run for improved lambda checking
|
13 years ago |
|
20110907-05.32-Ulfs-MacBook-Pro
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 years ago |
|
20110908-14.00-Ulfs-MacBook-Pro
|
93763453f7
benchmark run
|
13 years ago |
|
20110909-23.56-Ulfs-MacBook-Pro
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 years ago |
|
20110910-23.55-Ulfs-MacBook-Pro
|
b556a66664
benchmark run
|
13 years ago |
|
20110915-07.38-Ulfs-MacBook-Pro
|
af1da280f1
benchmark run with new constraint machinery
|
13 years ago |
|
20110915-08.47-Ulfs-MacBook-Pro
|
1d303c2e6d
replaced nubBy in Syntax.Operators.localNames with the new Agda.Utils.List.uniqBy
|
13 years ago |
|
20110915-09.14-Ulfs-MacBook-Pro
|
ef9e839e6d
removed unnecessary evaluation of sorts
|
13 years ago |
|
20110915-13.11-Ulfs-MacBook-Pro
|
fabf26da75
benchmark run for nuked MonadTCMs
|
13 years ago |
|
20110919-16.46-Ulfs-MacBook-Pro
|
05eb51dbeb
benchmark run after positivity fix (cwf is now twice as slow)
|
13 years ago |
|
20110922-22.40-Ulfs-MacBook-Pro
|
5474d3d7db
benchmark run
|
13 years ago |
|
20110924-09.49-Ulfs-MacBook-Pro
|
15b2d884ca
benchmark run after new mutual syntax
|
13 years ago |
|
20110924-10.04-Ulfs-MacBook-Pro
|
0f8b3cb164
avoid creating metas in isType_
|
13 years ago |
|
20110924-10.14-Ulfs-MacBook-Pro
|
0f8b3cb164
avoid creating metas in isType_
|
13 years ago |
|
20120216-13.00-Ulfs-MacBook-Pro
|
3ed299ceac
benchmark run
|
13 years ago |
|
20120329-12.19-Ulfs-MacBook-Pro
|
cd8c347730
benchmark run
|
13 years ago |
|
20120406-10.19-Ulfs-MacBook-Pro
|
f8b5b43457
benchmark run
|
12 years ago |
|
20120509-13.01-Ulfs-MacBook-Pro
|
f234f9d8bd
benchmark run
|
12 years ago |
|
20120702-14.40-Ulfs-MacBook-Pro
|
aa9e13d8ca
benchmark run
|
12 years ago |
|
20120705-07.39-Ulfs-MacBook-Pro
|
b735903866
implemented sharing and call-by-need (disabled for now)
|
12 years ago |
|
20120707-11.58-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20120707-12.23-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20120707-12.29-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20120707-12.44-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20120914-21.09-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20120926-10.42-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20120926-11.42-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20121005-18.37-Ulfs-MacBook-Pro
|
ab98bc2570
benchmarks with and without sharing
|
12 years ago |
|
20121005-20.31-Ulfs-MacBook-Pro
|
ab98bc2570
benchmarks with and without sharing
|
12 years ago |
|
20121011-14.31-agda
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20121118-21.45-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20130519-15.26-bodrum
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20130615-09.30-agda
|
4f810a44b1
Benchmark run after fixing issue 854.
|
11 years ago |
|
20130615-10.00-agda
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 years ago |
|
20130902-16.43-Ulfs-QuviQ-Mac
|
c33fe2839d
benchmark run
|
11 years ago |
|
20140205-11.40-dhcp-191156
|
6c57f40d9e
benchmark run
|
11 years ago |
|
20140212-13.54-Ulfs-QuviQ-Mac
|
29f419bbda
benchmark run
|
11 years ago |
|
20140322-12.36-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140322-21.30-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140322-21.50-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140322-22.17-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140322-23.12-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140323-11.13-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140323-14.26-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140323-16.55-agda
|
0d80f4600d
Benchmark run 2014-03-23 with new benchmark facility.
|
11 years ago |
|
20140323-21.37-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20140323-23.12-agda
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 years ago |
|
20140324-15.31-agda
|
7f8f25e552
Benchmark runs Andreas Linux Laptop.
|
10 years ago |
|
20181023-21.31-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181029-11.29-Andreass-MBP
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181101-14.10-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181103-18.25-Andreass-MBP
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181123-17.54-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181123-20.55-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181206-08.50-Andreass-MBP
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20181214-22.36-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20190313-13.16-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20190314-10.25-Andreass-MacBook-Pro
|
d4a7e0e562
[ #4561 ] Removed bad entries.
|
4 years ago |
|
20190314-21.23-Andreass-MacBook-Pro
|
314d236d42
[ benchmark ] runs on Andreas' MacBook Pro
|
5 years ago |
|
20190314-23.07-Andreass-MacBook-Pro
|
314d236d42
[ benchmark ] runs on Andreas' MacBook Pro
|
5 years ago |
|
20190621-18.46-unknownACBC32A26F85
|
ba4915b331
[ benchmark ] run on Andreas Mac in June 2019
|
5 years ago |
|
20190625-20.18-unknownACBC32A26F85
|
ba4915b331
[ benchmark ] run on Andreas Mac in June 2019
|
5 years ago |
Andrés Sicard-Ramírez