10473 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	074868b289	Merge remote-tracking branch 'origin/master' into it-slices,-it-dices	2017-02-15 15:32:07 -05:00
Rob Rix	5f333e83b3	Merge pull request #1004 from github/hold-on-to-your-butts ... lts-8.0, ghc-8.0.2, and some improvements to LeanCheck integration	2017-02-15 15:28:13 -05:00
Rob Rix	73b96969a8	Generate valid 7-bit ASCII.	2017-02-15 14:51:18 -05:00
Rob Rix	ed2ac59a36	Merge remote-tracking branch 'origin/hold-on-to-your-butts' into it-slices,-it-dices	2017-02-15 14:51:03 -05:00
Timothy Clem	43ec5efdb3	Commented syntax is summarized as BranchInfo	2017-02-15 10:37:24 -08:00
Timothy Clem	c8c42f0591	Commented syntax is summarized as BranchInfo	2017-02-15 10:16:53 -08:00
Timothy Clem	af54d397a2	Test basic method toc summary, and port over one prop test	2017-02-15 10:15:57 -08:00
Timothy Clem	aa84bb40d6	Merge branch 'master' into hold-on-to-your-butts	2017-02-15 08:34:18 -08:00
Timothy Clem	a02934534a	One more newline before diff	2017-02-15 08:20:49 -08:00
Timothy Clem	72e9472ad9	Merge pull request #1005 from github/dedupe-added-removed-methods ... Dedupe methods that report as both added and removed in toc summaries	2017-02-15 08:19:19 -08:00
Timothy Clem	b34c71dcc5	Merge branch 'master' into dedupe-added-removed-methods	2017-02-15 08:14:21 -08:00
Rick Winfrey	e1d126fe52	Merge pull request #997 from github/automate-updating-dotcom ... Add script/update-github	2017-02-14 15:55:21 -08:00
Rick Winfrey	bd9a755178	Merge branch 'master' into automate-updating-dotcom	2017-02-14 15:50:35 -08:00
Timothy Clem	975fd7cb88	Merge pull request #987 from github/go-receiver-toc-iteration ... Another iteration for go method toc summaries	2017-02-14 15:43:58 -08:00
Rick Winfrey	79338030cc	Merge branch 'master' into automate-updating-dotcom	2017-02-14 14:26:05 -08:00
Timothy Clem	09337e21d8	Merge remote-tracking branch 'origin/master' into go-receiver-toc-iteration	2017-02-14 13:13:11 -08:00
Timothy Clem	51ad73bb4d	Better names for these test fixtures	2017-02-14 13:02:25 -08:00
Timothy Clem	be88ebb9f6	Import Patch	2017-02-14 12:49:09 -08:00
Rob Rix	ab8e407df3	Get the tests compiling again.	2017-02-14 15:42:14 -05:00
Rob Rix	f6e1981606	Source holds a ByteString.	2017-02-14 15:33:24 -05:00
Rob Rix	5cb06adf11	🔥 Source.at.	2017-02-14 15:08:12 -05:00
Timothy Clem	99ce07034b	Merge branch 'master' into dedupe-added-removed-methods	2017-02-14 12:05:30 -08:00
Timothy Clem	64119b3fc3	Remove unused imports and sort	2017-02-14 11:54:32 -08:00
Timothy Clem	94f606da81	Make the dedupe tests pass	2017-02-14 11:53:25 -08:00
Rob Rix	5c04e99e33	Merge remote-tracking branch 'origin/master' into hold-on-to-your-butts	2017-02-14 14:51:33 -05:00
Timothy Clem	1facca0b50	Add failing toc summary test and refactor removeDupes	2017-02-14 11:29:24 -08:00
Rob Rix	80bb79f73c	Merge remote-tracking branch 'origin/master' into hold-on-to-your-butts	2017-02-14 14:16:19 -05:00
Rob Rix	5c5b82351d	Merge pull request #998 from github/what-the-text ... 🔥 Source’s Vector	2017-02-14 14:07:33 -05:00
Rob Rix	f7f060b529	Merge branch 'master' into what-the-text	2017-02-14 13:29:07 -05:00
Rob Rix	ca134a8857	Account for vectors being in Maybe now.	2017-02-14 13:23:33 -05:00
Rob Rix	3906d33194	This weight is already being added by way of the lifts.	2017-02-14 12:38:07 -05:00
Rob Rix	b7e052cb1a	List all Category values. ... Helps avoid the combinatorial explosion that comes from multiplying all of the Category constructors by all of the Syntax constructors.	2017-02-14 12:37:32 -05:00
Rob Rix	e35e8d788e	Simpler definitions of liftCons2 through 5.	2017-02-14 12:21:12 -05:00
Rob Rix	319ecc61ce	Simpler definition of liftTiers2 over (,).	2017-02-14 12:20:56 -05:00
Rob Rix	ad81f4f605	Add weight to every layer of Free/Cofree.	2017-02-14 11:59:42 -05:00
Rob Rix	c275b0fc04	Export ofWeight and addWeight.	2017-02-14 11:59:15 -05:00
Timothy Clem	4e336520bc	Remove test files	2017-02-14 08:35:10 -08:00
Timothy Clem	8bc4da76c9	Have to check parentInfo for duplicates	2017-02-14 08:27:00 -08:00
Rob Rix	6edd2fbaf4	Print failed examples nicely.	2017-02-14 09:57:21 -05:00
Timothy Clem	2770540191	Make sure we have a real Summarizable to replace with	2017-02-13 17:30:33 -08:00
Timothy Clem	d68633f643	WIP - identify similar methods/functions	2017-02-13 17:18:25 -08:00
Timothy Clem	31519dda42	Remove dups, including matching method names	2017-02-13 16:15:38 -08:00
Rob Rix	f656ac3d32	Merge remote-tracking branch 'origin/master' into hold-on-to-your-butts	2017-02-13 17:39:57 -05:00
Rob Rix	c753196c79	There are no longer newlines here.	2017-02-13 17:39:05 -05:00
Timothy Clem	87dbe3ed9a	Merge branch 'master' into go-receiver-toc-iteration	2017-02-13 14:36:42 -08:00
Rob Rix	53a52191f6	Merge pull request #1002 from github/generate-test-cases-lives-in-tools ... Move generate-test-cases into its own package.	2017-02-13 17:33:44 -05:00
Rob Rix	744f921224	transFreeT -> hoistFree.	2017-02-13 17:30:55 -05:00
Rob Rix	80c1647d02	Fail -> Failure, plus Reason.	2017-02-13 17:29:05 -05:00
Rob Rix	b893085385	Add a hint to use unwrap instead of tailF . runCofree	2017-02-13 17:26:41 -05:00
Rob Rix	7d284252c5	Migrate semantic-diff to lts-8.0.	2017-02-13 17:25:45 -05:00