1
1
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Commit Graph

6845 Commits

Author SHA1 Message Date
Rob Rix
d9a13717b6 Define toTerm in Term.Arbitrary. 2016-06-01 09:14:29 -04:00
Rob Rix
6206f8ae93 Define ArbitraryTerm in Term.Arbitrary. 2016-06-01 09:14:06 -04:00
Rob Rix
3ada142796 Stub in a module for arbitrary Terms. 2016-06-01 09:03: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
fe6d638673 Derive a Traversable instance over Patch. 2016-05-31 20:41:12 -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
ad8a6fd241 Simplify the definition of arbitrary over ArbitraryTerm. 2016-05-31 20:33:13 -04:00
Rob Rix
f0f11a9f0a Simplify the definition of arbitrary over ArbitraryDiff. 2016-05-31 20:32:55 -04:00
Rob Rix
514c513f13 Simplify the definition of shrink over ArbitraryTerm. 2016-05-31 20:31:32 -04:00
Rob Rix
36168c1698 Rename unTerm to toTerm. 2016-05-31 20:29:12 -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
484ed765f0 Use the field accessor to define unTerm. 2016-05-31 20:17:49 -04:00
Rob Rix
50c6c6c4fa Define a field accessor for ArbitraryTerm. 2016-05-31 20:17:42 -04:00
Rob Rix
39ddbfc60f Add the DiffF type synonym back in. 2016-05-31 20:16:19 -04:00
Rob Rix
2696635aa4 ArbitraryTerm uses the TermF type synonym. 2016-05-31 20:15:24 -04:00
Rob Rix
37f960b6d1 ArbitraryTerm wraps CofreeF. 2016-05-31 20:14:38 -04:00
joshvera
465da6bae5 one more 2016-05-31 17:02:24 -04:00
joshvera
55f286d8be Replace instance of comparable 2016-05-31 17:01:01 -04:00
joshvera
9ef2745944 Replace comparable with (==) category 2016-05-31 16:58:57 -04:00
joshvera
eb4b280dfb s/Unknown/program 2016-05-31 16:44:44 -04:00
joshvera
cf21fddc08 Fix up tests 2016-05-31 16:38:47 -04:00
Rob Rix
f1ff739394 Correct the types in the spec. 2016-05-31 16:15:40 -04:00
Rob Rix
f8508b84fd Output a JSON array of strings. 2016-05-31 16:14:10 -04:00
joshvera
0244e9a929 Store a category in Info instead of a Set 2016-05-31 16:13:01 -04:00
Rob Rix
f8ae53d2df DiffSummary’s type parameter is no longer phantom. 2016-05-31 16:11:11 -04:00
Rob Rix
64ac3703c0 Sort the benchmarks by the measured size. 2016-05-31 16:01:36 -04:00
Rob Rix
ab33a8868e Merge branch 'master' into push-benchmarks-to-graphite 2016-05-31 13:42:27 -04:00
Rob Rix
97b6e452b2 Merge branch 'master' into benchmark-alignment 2016-05-31 13:41:46 -04:00
Josh Vera
f1b4529ad1 Merge pull request #574 from github/fix-invalid-slice
Fix invalid slices in split diffs of certain reformatted nodes
2016-05-31 13:32:37 -04:00
Rob Rix
2887d0c2a1 Merge branch 'master' into fix-invalid-slice 2016-05-31 13:28:50 -04:00
Josh Vera
c1be9053a4 Merge pull request #571 from github/proportionate-cost-metric
Proportionate cost metric
2016-05-31 13:00:22 -04:00
Josh Vera
db864ee292 Merge branch 'master' into proportionate-cost-metric 2016-05-31 12:58:56 -04:00
Rob Rix
fe3bc8b83b Merge pull request #576 from github/add-notes-for-05-31-2016
Add weekly summary for 05-31-2016
2016-05-31 11:54:20 -04:00
Rick Winfrey
acf2fc85a6 Add weekly summary for 05-31-2016 2016-05-31 10:50:06 -05: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
444bdb8c50 Depend on bifunctors & these. 2016-05-31 10:58:39 -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