Project

General

Profile

Statistics
| Branch: | Revision:

cool @ cf05f9f8

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 388 Bytes
.gitmodules 0 Bytes
BUGS 804 Bytes
HACKING 5.24 KB
INSTALL 2.15 KB
Makefile 826 Bytes
_oasis 5.12 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
makestatic.sh 942 Bytes
playground.hs 1.42 KB
randmu.py 15 KB
tatl-compatibility-wrapper.sh 82 Bytes

Latest revisions

# Date Author Comment
cf05f9f8 10/19/2017 09:42 PM Hans-Peter Deifel

benchmarks: Run mlsolver with -pgs stratimprloc2

f498e556 10/19/2017 07:31 PM Hans-Peter Deifel

benchmarks: Fork a subshell for mlsolver

Otherwise, 'perf stat' returns a zero exit code if mlsolver is killed
by a signal (e.g in case of an OOM situation)

a43cb4c2 10/19/2017 05:27 PM Hans-Peter Deifel

benchmarks: Distribute results over different directories

Allows benchmarks of two formula series to be performed in parallel
without interfering with each other.

63177472 10/19/2017 05:01 PM Hans-Peter Deifel

benchmarks: Add visual progress feedback

cf5e561d 10/19/2017 04:27 PM Hans-Peter Deifel

benchmarks: Add script to run 'bench_one_formula' on all formulas

775ab65f 10/19/2017 04:26 PM Hans-Peter Deifel

benchmarks: Output numbers with leading zeros

Some csv tools can only sort lexicographically

7a044d56 10/19/2017 04:26 PM Hans-Peter Deifel

benchmarks: Save full 'perf stat' output

who knows if we might need it

10b7fc02 10/19/2017 04:25 PM Hans-Peter Deifel

benchmarks: Set locale to C

This ensures that decimal separators are consistent.

ec2caa83 10/19/2017 10:23 AM Hans-Peter Deifel

benchmarks: Allow to have multiple directories with benchmark results

4b369edd 10/19/2017 10:21 AM Hans-Peter Deifel

benchmarks: Add script to collect results into CSV format

View all revisions | View revisions

Also available in: Atom