Sebastian Ullrich
|
99f2b356e9
|
chore(tests/bench/temci.yaml): move out of the way
|
2019-07-04 14:54:25 +02:00 |
|
Sebastian Ullrich
|
1539cf4505
|
chore(tests/bench/speedcenter.yaml): update temci config
|
2019-07-04 14:43:04 +02:00 |
|
Sebastian Ullrich
|
7472b4608d
|
chore(tests/bench/speedcenter.yaml): reduce max_runs to 10
|
2019-07-04 14:34:28 +02:00 |
|
Leonardo de Moura
|
745cc9902b
|
chore(tests/bench): fix tests
|
2019-07-03 08:37:40 -07:00 |
|
Sebastian Ullrich
|
928a47ee0e
|
feat(tests/bench/speedcenter): temci-based speedcenter config
|
2019-07-03 08:30:32 -07:00 |
|
Sebastian Ullrich
|
247e3f4aa2
|
chore(tests/bench): fix benchmarks
|
2019-06-30 13:29:23 +02:00 |
|
Sebastian Ullrich
|
c299e6c0e6
|
chore(tests): fix do syntax in tests
|
2019-06-30 13:04:34 +02:00 |
|
Leonardo de Moura
|
5c4ec30820
|
chore(tests/bench/deriv): use new syntax
|
2019-06-29 15:29:19 -07:00 |
|
Leonardo de Moura
|
2c4cec184a
|
test(tests/bench): add C++ versions of rbmap benchmarks
|
2019-06-22 06:58:27 -07:00 |
|
Leonardo de Moura
|
8e98e4375f
|
chore(tests/bench): match order we used in the paper
|
2019-06-22 06:29:47 -07:00 |
|
Leonardo de Moura
|
3c4c413c2c
|
test(tests/bench/rbmap2): fix benchmark
|
2019-06-21 16:11:05 -07:00 |
|
Leonardo de Moura
|
82c90c7c96
|
test(tests/bench/unionfind_clean): add clean version
|
2019-06-21 16:10:53 -07:00 |
|
Sebastian Ullrich
|
9fe86c3f96
|
chore(tests/bench): further tweak Swift support
|
2019-05-31 10:48:50 +02:00 |
|
Sebastian Ullrich
|
2a6fb67afc
|
feat(tests/bench): add qsort.swift
|
2019-05-31 00:40:09 +02:00 |
|
Leonardo de Moura
|
fab4fdf7c4
|
tests(tests/bench): add rbmap.swift
|
2019-05-30 14:47:06 -07:00 |
|
Leonardo de Moura
|
27c690b0c5
|
test(tests/bench/rbmap_checkpoint): add swift version
|
2019-05-30 14:35:58 -07:00 |
|
Leonardo de Moura
|
c347643361
|
test(tests/bench): add deriv.swift
|
2019-05-30 11:34:58 -07:00 |
|
Sebastian Ullrich
|
d532c4ad29
|
feat(tests/bench): add safe binarytrees.swift from https://benchmarksgame-team.pages.debian.net/benchmarksgame/program/binarytrees-swift-1.html
|
2019-05-30 19:33:38 +02:00 |
|
Sebastian Ullrich
|
c30209ee02
|
feat(tests/bench): add Swift support
|
2019-05-30 19:33:23 +02:00 |
|
Leonardo de Moura
|
4da2e9f7b6
|
test(tests/bench/rbmap_checkpoint): OCaml version using myLen
|
2019-05-30 07:40:53 -07:00 |
|
Leonardo de Moura
|
40ce455e79
|
chore(tests/bench/rbmap_checkpoint): myLen version for GHC
|
2019-05-30 07:35:22 -07:00 |
|
Leonardo de Moura
|
e954ed12bc
|
chore(tests/bench/rbmap_checkpoint): use myLean
|
2019-05-30 07:30:07 -07:00 |
|
Sebastian Ullrich
|
007e45794f
|
chore(tests/bench/default): update MLKit
|
2019-05-30 16:25:41 +02:00 |
|
Sebastian Ullrich
|
9ec570416d
|
chore(tests/bench): rename benchmarks
|
2019-05-30 16:25:41 +02:00 |
|
Sebastian Ullrich
|
8a2c2ffe84
|
chore(tests/bench/Makefile): reduce rbmap input sizes
|
2019-05-30 16:18:03 +02:00 |
|
Sebastian Ullrich
|
4e3191123c
|
chore(tests/bench/default.nix): remove compilers of retired categories
|
2019-05-29 17:36:42 +02:00 |
|
Sebastian Ullrich
|
dfea4be7a4
|
chore(tests/bench): add readme
|
2019-05-29 17:32:35 +02:00 |
|
Sebastian Ullrich
|
5f14d12344
|
feat(tests/bench/Makefile): update HTML report
|
2019-05-29 17:13:55 +02:00 |
|
Sebastian Ullrich
|
4d0e4c545e
|
chore(tests/bench/default.nix): fix
|
2019-05-29 17:13:55 +02:00 |
|
Sebastian Ullrich
|
9b9465d299
|
chore(tests/bench): move out from playground/
|
2019-05-29 16:33:50 +02:00 |
|