Mon, 16 Jul 2012 04:48:50 -0700 |
Mike Pavone |
Submission prep
default tip
|
Mon, 16 Jul 2012 04:37:00 -0700 |
Mike Pavone |
Set executable on lifter shell script
|
Mon, 16 Jul 2012 04:35:43 -0700 |
Mike Pavone |
merge
|
Mon, 16 Jul 2012 04:35:24 -0700 |
Mike Pavone |
More submission prep
|
Mon, 16 Jul 2012 04:31:36 -0700 |
Mike Pavone |
Preparing for submission
|
Mon, 16 Jul 2012 04:03:03 -0700 |
Mike Pavone |
Updated heuristic
|
Mon, 16 Jul 2012 02:20:38 -0700 |
Mike Pavone |
Add cullwhenover option and more tuning results
|
Mon, 16 Jul 2012 01:55:04 -0700 |
Mike Pavone |
Add hashset based pruning
|
Mon, 16 Jul 2012 01:24:47 -0700 |
Mike Pavone |
More tuning results
|
Mon, 16 Jul 2012 00:06:58 -0700 |
Mike Pavone |
Added tuning results
|
Sun, 15 Jul 2012 23:55:29 -0700 |
Mike Pavone |
Compile with -O2. Add tuning parameters and tuning results script
|
Sun, 15 Jul 2012 22:24:35 -0700 |
William Morgan |
merge
|