46 Commits

Author	SHA1	Message	Date
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