github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 14:21:31 +03:00
Code Issues Projects Releases Wiki Activity
7,112 Commits 19 Branches 16 Tags 46 MiB
6c16a071bb
Commit Graph

7112 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
02965e2edb Cons. 2016-06-30 14:58:00 -04:00
Rob Rix
3cd2a4b82c Extract a function to select the category. 2016-06-30 14:24:59 -04:00
Rob Rix
e54f216672 Shrink ArbitraryDiff generically. 2016-06-30 14:19:29 -04:00
Rob Rix
0770a410d4 Represent ArbitraryDiff as a datatype. 2016-06-30 14:19:22 -04:00
Rob Rix
5b70ff7635 Extract unArbitraryDiff. 2016-06-30 14:16:37 -04:00
Rob Rix
99ffbebd84 Construct ArbitraryDiff using the extracted syntaxOfSize function. 2016-06-30 14:14:41 -04:00
Rob Rix
2d821fec97 Construct ArbitraryTerm using the extracted syntaxOfSize function. 2016-06-30 14:13:39 -04:00
Rob Rix
84b550262e Shrink ArbitraryTerm generically. 2016-06-30 14:13:29 -04:00
Rob Rix
8d043e7de9 Add an Arbitrary instance over Syntax. 
This also implements sized arbitrary values.
 2016-06-30 14:10:44 -04:00
Rob Rix
03b6964d7c Derive a Generic instance over Syntax. 2016-06-30 14:10:12 -04:00
Rob Rix
dd71aa0c6e Add an Arbitrary instance over OrderedMap. 2016-06-30 14:09:55 -04:00
Rob Rix
19905faee8 Derive a Generic instance for Data.OrderedMap. 2016-06-30 14:08:01 -04:00
Rob Rix
72a909ac52 ArbitraryTerm does not wrap CofreeF. 2016-06-30 14:01:54 -04:00
Rob Rix
d9e4602c67 Spacing. 2016-06-30 13:45:44 -04:00
Rob Rix
b0b8aa0616 Test that Interpreter produces zero-cost diffs of equal terms. 2016-06-30 13:34:31 -04:00
Rob Rix
d674dd06b6 Require the fields to have an Ord instance. 2016-06-30 12:59:56 -04:00
Rob Rix
e914685790 Don’t warn of orphans so much. 2016-06-30 12:59:26 -04:00
Rob Rix
ad3bb31c0d Derive an Ord instance over Patch. 2016-06-30 12:51:11 -04:00
Rob Rix
ee393400f2 Formatting. 2016-06-30 12:50:52 -04:00
Rob Rix
28abcd1b38 Move Record’s Arbitrary instance into Data.Record. 2016-06-30 12:49:50 -04:00
Rob Rix
60b92bfedf Derive Ord instances for Size and Cost. 2016-06-30 12:47:21 -04:00
Rob Rix
605a5a9ce1 Add an Ord instance over Data.Record. 2016-06-30 12:46:22 -04:00
Rob Rix
58138d5867 Scale down the sizes by a factor of four. 2016-06-30 12:37:41 -04:00
Rob Rix
a5af331f71 Generate a pair of inputs. 
This allows scaling to work correctly.
 2016-06-30 12:37:27 -04:00
Rob Rix
1a35975c4f Memoize the feature vector computation for bs. 2016-06-30 12:19:01 -04:00
Rob Rix
6e1a7957ec Implement Recursive diffing pairwise over lists of inequal length. 2016-06-30 11:59:33 -04:00
Rob Rix
a679749112 Test for subtree membership, not just key membership. 2016-06-30 11:36:55 -04:00
Rob Rix
d6c041074c Use a List instead of a Set. 2016-06-30 11:35:27 -04:00
Rob Rix
d89422d3ed Define childrenOf in tacit style. 2016-06-30 11:28:18 -04:00
Rob Rix
cb71ba3467 Use the Foldable instance instead of specifying the constructor. 2016-06-30 11:27:37 -04:00
Rob Rix
5fa96d9849 Rough estimates of time. 2016-06-30 10:29:21 -04:00
Rob Rix
18c5d47174 Link a bunch of stuff to milestones & issues. 2016-06-30 10:26:48 -04:00
Rob Rix
27cc162e1c Test against a set of children instead of sorting. 
This reverts commit e5fb9a7a89da22373e7614d0163b64bb3a994b24.
 2016-06-29 11:28:08 -04:00
Rob Rix
7bdbb0a963 Derive an Ord instance for Syntax. 2016-06-29 11:23:11 -04:00
Rob Rix
4c3c85bf87 Derive an Ord instance for OrderedMap. 2016-06-29 11:23:06 -04:00
Rob Rix
bd11e9e0ee Enumerate and sort to pass the test. 2016-06-29 10:58:06 -04:00
Rob Rix
92fb23b65e Revert "Revert "Define all our constants in one go."" 
This reverts commit 6cb041549d0c8701c10e4574ede0af1ecc87881c.
 2016-06-29 10:31:16 -04:00
Rob Rix
11a2ab907a Revert "Carry indices along through the computation." 
This reverts commit 2cc2d4d78688266a4a6791de47bfd27bfa3cca43.
 2016-06-29 10:30:32 -04:00
Rob Rix
a5cce717c8 Revert "Carry the indices all the way along." 
This reverts commit 35b54a6bd9f53d79767571e9ea0bdccf13506149.
 2016-06-29 10:30:28 -04:00
Rob Rix
223d549397 Revert "Place the index last." 
This reverts commit a7ff749b2d0fb5991b8b20c97cd1855105d48b49.
 2016-06-29 10:30:24 -04:00
Rob Rix
b49997d83e Revert "Don’t drop the indices until the very last." 
This reverts commit a47ac6be869e7ee65482a2f8606553f2ca9f8dd2.
 2016-06-29 10:30:21 -04:00
Rob Rix
237846979e Revert "DRY up the computation of indexed, feature-assigned lists." 
This reverts commit 40d1b8b449f61613ec40f0e7a7b7acb41189c53a.
 2016-06-29 10:30:17 -04:00
Rob Rix
31786e1357 Revert "Define all our constants in one go." 
This reverts commit 77c6cb8d94ccc4bd53d142851e815a74bfc79f14.
 2016-06-29 10:30:10 -04:00
Rob Rix
79d05c9520 Revert "Don’t bind the after list’s index." 
This reverts commit f5ef37312654f188a707a75e4994f4420b768516.
 2016-06-29 10:29:37 -04:00
Rob Rix
b81fc5166d Revert "Split out the computation of the deletions." 
This reverts commit 06b52e9366d99739facb7e6aaff965b9dc634dee.
 2016-06-29 10:29:30 -04:00
Rob Rix
9f6176a6cc Split out the computation of the deletions. 2016-06-29 10:16:31 -04:00
Rob Rix
e5423587c5 Define all our constants in one go. 2016-06-29 10:15:35 -04:00
Rob Rix
d56f2176b9 Don’t bind the after list’s index. 2016-06-29 10:12:25 -04:00
Rob Rix
457082ba6f DRY up the computation of indexed, feature-assigned lists. 2016-06-29 10:11:38 -04:00
Rob Rix
53cfdb8f15 Don’t drop the indices until the very last. 2016-06-29 10:07:38 -04:00