github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 07:55:12 +03:00
Code Issues Projects Releases Wiki Activity
6,629 Commits 19 Branches 16 Tags 46 MiB
aa5f3f35ed
Commit Graph

23 Commits

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