diff options
| author | Eva Hasler <ehasler@saxnot.inf.ed.ac.uk> | 2012-06-01 04:49:42 +0400 |
|---|---|---|
| committer | Eva Hasler <ehasler@saxnot.inf.ed.ac.uk> | 2012-06-01 04:49:42 +0400 |
| commit | 6a6a35c65eaeb42b3f1aa44237332dd6f1bc652c (patch) | |
| tree | 8a02d798832fe36e9efb60f8a2e30d9368728a13 /cruise-control | |
| parent | 62d10a2af3f9509bf7680b8549ff1ffd9774dd83 (diff) | |
fix start weights in experiment.perl, add hypothesis queue for picking hope and fear translations, add variations to 1slack formulation
Diffstat (limited to 'cruise-control')
| -rw-r--r--[-rwxr-xr-x] | cruise-control/README | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | cruise-control/config.ems | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | cruise-control/example.config | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | cruise-control/web/html_templates.php | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | cruise-control/web/index.php | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | cruise-control/web/log_wrapper.php | 0 | ||||
| -rw-r--r--[-rwxr-xr-x] | cruise-control/web/show_commit.php | 0 |
7 files changed, 0 insertions, 0 deletions
diff --git a/cruise-control/README b/cruise-control/README index 3d65d7aac..3d65d7aac 100755..100644 --- a/cruise-control/README +++ b/cruise-control/README diff --git a/cruise-control/config.ems b/cruise-control/config.ems index eee15ec72..eee15ec72 100755..100644 --- a/cruise-control/config.ems +++ b/cruise-control/config.ems diff --git a/cruise-control/example.config b/cruise-control/example.config index 203dbb0b0..203dbb0b0 100755..100644 --- a/cruise-control/example.config +++ b/cruise-control/example.config diff --git a/cruise-control/web/html_templates.php b/cruise-control/web/html_templates.php index 83f6cc879..83f6cc879 100755..100644 --- a/cruise-control/web/html_templates.php +++ b/cruise-control/web/html_templates.php diff --git a/cruise-control/web/index.php b/cruise-control/web/index.php index 3d6aee6ae..3d6aee6ae 100755..100644 --- a/cruise-control/web/index.php +++ b/cruise-control/web/index.php diff --git a/cruise-control/web/log_wrapper.php b/cruise-control/web/log_wrapper.php index af03db016..af03db016 100755..100644 --- a/cruise-control/web/log_wrapper.php +++ b/cruise-control/web/log_wrapper.php diff --git a/cruise-control/web/show_commit.php b/cruise-control/web/show_commit.php index bcb5e5732..bcb5e5732 100755..100644 --- a/cruise-control/web/show_commit.php +++ b/cruise-control/web/show_commit.php |