Project

General

Profile

Statistics
| Branch: | Revision:

cool @ a80babbf

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.29 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
makestatic.sh 998 Bytes
playground.hs 1.42 KB
randmu.py 15 KB
tatl-compatibility-wrapper.sh 82 Bytes

Latest revisions

# Date Author Comment
a80babbf 11/16/2017 11:13 AM Hans-Peter Deifel

benchmarks: Rename gen.ml to aconjunctive_mu_generator.ml

Also disables the build of the corresponding executable by
default (can be reenabled with the flat 'benchmarks').

42f17c7e 11/07/2017 08:04 AM Hans-Peter Deifel

makestatic.sh: Add 'gen' binary for acmu benchmarks

4caf8f04 11/07/2017 07:59 AM Hans-Peter Deifel

makestatic.sh: Include benchmarks for aconjunctive mu

2357f98f 11/07/2017 07:59 AM Hans-Peter Deifel

benchmarks: Add README

2cccf57a 11/07/2017 07:32 AM Hans-Peter Deifel

Link ncurses bindings against libtinfo and libgpm

This is needed to produce static binaries.

80e49b79 11/02/2017 06:52 PM Hans-Peter Deifel

Revert "Update INSTALL file to reflect current state"

This reverts commit 5de20a335bdf0e0c5e7b940fe69952963720b1cd.

Wrong branch...

5de20a33 11/02/2017 06:47 PM Hans-Peter Deifel

Update INSTALL file to reflect current state

Since pgsolver is now a dependency and is not available in common
Linux distributions, we advise people to install all ocaml
dependencies with opam instead.

0655be7e 11/02/2017 06:11 PM Hans-Peter Deifel

benchmarks: Correctly parse output with REPEATS=1

In this case, no stddev is generated

6c3793cb 10/20/2017 07:09 PM Hans-Peter Deifel

benchmarks: Fix early_caching_ac formula

db56eb9d 10/20/2017 06:25 PM Hans-Peter Deifel

benchmarks: Add early_ac formulae to generator

View all revisions | View revisions

Also available in: Atom