Patrick Thomson
|
0ac705b0f5
|
flesh out some benchmarks
|
2018-03-07 19:34:20 -05:00 |
|
Timothy Clem
|
c862b7bcf5
|
Remove benchmark target
|
2017-04-10 15:04:45 -07:00 |
|
Rob Rix
|
cfbe7e2108
|
🔥 the generative benchmark stuff.
|
2017-01-10 14:46:07 -05:00 |
|
Rob Rix
|
a5e7f584c8
|
hlint insists that this is redundant.
|
2017-01-09 16:15:36 -05:00 |
|
Rob Rix
|
d2709f6cab
|
First pass at generative testing using leancheck.
|
2017-01-09 16:12:25 -05:00 |
|
Timothy Clem
|
6cbfa91475
|
Try out moving project around
|
2016-10-05 16:17:46 -07:00 |
|
Rob Rix
|
114e203c4a
|
Handle rounding error by taking exactly n measurements.
|
2016-06-06 17:20:00 -04:00 |
|
Rob Rix
|
9eff3053ec
|
Traverse up to the default size in n steps.
|
2016-06-06 17:19:42 -04:00 |
|
Rob Rix
|
927ee4345f
|
Benchmark SES over fixed intervals.
|
2016-06-06 17:17:37 -04:00 |
|
Rob Rix
|
a7dd94f9d7
|
Compute element cost as sums of string length.
|
2016-06-06 17:17:19 -04:00 |
|
Rob Rix
|
b45bc321b2
|
Compute SES over lists of strings.
|
2016-06-06 17:16:52 -04:00 |
|
Rob Rix
|
2648406b34
|
Generalize generativeBenchmark over Gen a.
|
2016-06-06 17:15:51 -04:00 |
|
Rob Rix
|
ef57f3aece
|
Add a baseline benchmark of SES.
|
2016-06-06 15:32:38 -04:00 |
|
Rob Rix
|
95eabb8b5d
|
Add an NFData instance for Patch.
|
2016-06-06 15:32:16 -04:00 |
|
Rob Rix
|
893f53fa08
|
🔥 some unused setup from the numberedRows benchmark.
|
2016-06-06 13:09:17 -04:00 |
|
Rob Rix
|
44a1599afa
|
🔥 redundant imports.
|
2016-06-06 13:06:09 -04:00 |
|
Rob Rix
|
de41789aab
|
🔥 the pointless numberedRows benchmark.
|
2016-06-06 13:06:04 -04:00 |
|
Rob Rix
|
29a725b125
|
Move ArbitraryDiff into semantic-diff proper.
|
2016-06-06 12:07:07 -04:00 |
|
Rob Rix
|
8780ea3f26
|
Move the Arbitrary instances for Join (,) and Join These into semantic-diff proper.
|
2016-06-06 11:50:45 -04:00 |
|
Rob Rix
|
4eb76ff3a3
|
Move the Arbitrary instance for Data.These into semantic-diff proper.
|
2016-06-06 11:46:30 -04:00 |
|
Rob Rix
|
378b577175
|
Move the Arbitrary instance for Patch into semantic-diff proper.
|
2016-06-06 11:43:38 -04:00 |
|
Rob Rix
|
3d4a348072
|
Depend on semantic-diff’s definition of ArbitraryTerm in the benchmarks.
|
2016-06-01 09:15:15 -04:00 |
|
Rob Rix
|
49898ba79e
|
Try to generate ArbitraryTerms at fixed sizes.
|
2016-06-01 08:40:57 -04:00 |
|
Rob Rix
|
6eb99db102
|
Spacing.
|
2016-05-31 21:05:07 -04:00 |
|
Rob Rix
|
77e05809c6
|
Shrink ArbitraryDiffs.
|
2016-05-31 20:46:40 -04:00 |
|
Rob Rix
|
aa5f3f35ed
|
Generate arbitrary Pure cases.
|
2016-05-31 20:46:35 -04:00 |
|
Rob Rix
|
bbec20d2b5
|
Define ArbitraryDiff over ArbitraryTerm.
|
2016-05-31 20:46:18 -04:00 |
|
Rob Rix
|
5925d3d3d4
|
Implement shrink over Patch.
|
2016-05-31 20:46:03 -04:00 |
|
Rob Rix
|
28b7909e06
|
Add an Arbitrary instance over ArbitraryTerm.
|
2016-05-31 20:39:52 -04:00 |
|
Rob Rix
|
f8443c855c
|
Add an Arbitrary instance over Patch.
|
2016-05-31 20:39:39 -04:00 |
|
Rob Rix
|
ea16b4616c
|
Add ArbitraryTerm to the benchmarks.
|
2016-05-31 20:39:24 -04:00 |
|
Rob Rix
|
f0f11a9f0a
|
Simplify the definition of arbitrary over ArbitraryDiff.
|
2016-05-31 20:32:55 -04:00 |
|
Rob Rix
|
dadaa6b420
|
Add an Arbitrary instance for ArbitraryDiff.
|
2016-05-31 20:24:49 -04:00 |
|
Rob Rix
|
fd4ad219ae
|
Construct Diffs from ArbitraryDiffs.
|
2016-05-31 20:19:51 -04:00 |
|
Rob Rix
|
206c3cddc3
|
Add an ArbitraryDiff newtype wrapper.
|
2016-05-31 20:19:39 -04:00 |
|
Rob Rix
|
64ac3703c0
|
Sort the benchmarks by the measured size.
|
2016-05-31 16:01:36 -04:00 |
|
Rob Rix
|
c7f51beb12
|
📝 generativeBenchmark.
|
2016-05-31 11:47:56 -04:00 |
|
Rob Rix
|
207c0ac24c
|
Take the count as a parameter.
|
2016-05-31 11:45:17 -04:00 |
|
Rob Rix
|
b20dd87a48
|
Perform ten benchmarks within a default size.
|
2016-05-31 11:42:51 -04:00 |
|
Rob Rix
|
80cfd5d4f1
|
Maybe don’t do a hundred benchmarks just now.
|
2016-05-31 10:58:50 -04:00 |
|
Rob Rix
|
7cb5890831
|
Generate benchmarks for numberedRows.
|
2016-05-31 10:53:23 -04:00 |
|
Rob Rix
|
75b7b2c426
|
Implement Arbitrary instances for These & Join These.
These were lifted verbatim from ArbitraryTerm.hs.
|
2016-05-31 10:53:00 -04:00 |
|
Rob Rix
|
f58052cca1
|
Derive NFData instances for These & Join These.
|
2016-05-31 10:52:49 -04:00 |
|
Rob Rix
|
c93e0c65c0
|
Apply the benchmark to its input.
|
2016-05-31 10:40:25 -04:00 |
|
Rob Rix
|
ae6e59826d
|
Rename arbitraryBenchmark to generativeBenchmark.
|
2016-05-31 10:38:19 -04:00 |
|
Rob Rix
|
7a3cfd3425
|
Add a function to produce generative benchmarks.
|
2016-05-31 10:37:34 -04:00 |
|
Rob Rix
|
b4becad5a3
|
Add the entry point.
|
2016-05-31 09:27:00 -04:00 |
|
Rob Rix
|
907e7fc40f
|
Stub in a benchmark module.
|
2016-05-31 09:23:43 -04:00 |
|