8203 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	ff4861e2fb	Add the unbiased insertion test to the Interpreter spec.	2016-08-12 12:16:48 -04:00
Rob Rix	d3c333ae64	🔥 the faulty tests of unbiased insertions.	2016-08-12 11:59:44 -04:00
Rob Rix	b1e893b3f8	Add a concrete test of unbiased insertions.	2016-08-12 11:59:09 -04:00
Rob Rix	ada00d0485	The RWS unbiased tests require disjoint syntax constructors.	2016-08-12 11:44:29 -04:00
Rob Rix	5462278d0f	Use the replacing combinator in the tests.	2016-08-12 11:44:23 -04:00
Rob Rix	bcaf909957	Revert "Mark the (failing) rws tests as pending for the time being." ... This reverts commit a9025cacda01db216590e99dd36e867611e0f953.	2016-08-12 11:44:18 -04:00
Rob Rix	73f73fdb40	Mark the (failing) rws tests as pending for the time being.	2016-08-11 15:24:02 -04:00
Rob Rix	3647248666	Merge branch 'master' into unbiased-branch-diff-tests	2016-08-11 15:20:51 -04:00
Rob Rix	2d63f3f1f1	Merge pull request #671 from github/auto-generate-test-cases ... Auto generate test cases	2016-08-11 15:07:49 -04:00
Rob Rix	86fd5b21fd	Use the replacing smart constructor.	2016-08-11 14:42:17 -04:00
Rob Rix	0346b5d8f1	Use galign to ensure that the constructors are disjoint.	2016-08-11 14:32:10 -04:00
Rick Winfrey	18042ee6f2	Merge branch 'master' into auto-generate-test-cases	2016-08-11 12:55:55 -05:00
Rick Winfrey	b9b426ffb2	Completely remove submodule from index	2016-08-11 12:38:40 -05:00
Rick Winfrey	9089cb3156	Reset javascript submodule	2016-08-11 12:38:17 -05:00
Rob Rix	0fc0e80ed9	Revert "Revert "Ensure that the syntaxes are disjoint."" ... This reverts commit cfe27aec6f0764f451c493439086e03a1bdcf176.	2016-08-11 13:33:33 -04:00
Rob Rix	d9b48b6def	Revert "Ensure that the syntaxes are disjoint." ... This reverts commit 43ebf52752a8cf22ae18633a5667966fd3f74aa0.	2016-08-11 13:28:51 -04:00
Rob Rix	70a622ca84	Ensure that the syntaxes are disjoint.	2016-08-11 13:27:45 -04:00
Rob Rix	fd23564dd5	Use a single root function for both interpreter tests.	2016-08-11 13:05:36 -04:00
Rob Rix	3eb05a31b1	Test the interpreter against insertions as well.	2016-08-11 13:03:22 -04:00
Rob Rix	fd2274b997	Use a single annotation for both children.	2016-08-11 13:00:54 -04:00
Rob Rix	261e82fd21	Extract a constructor for the root terms.	2016-08-11 12:54:14 -04:00
Rob Rix	7d8eb02ec8	Strip the diff and terms in the rws correctness test.	2016-08-11 12:50:56 -04:00
Rob Rix	23ba6bf12a	Export stripTerm.	2016-08-11 12:49:23 -04:00
Rob Rix	3bb86389ed	Strip the diff in the replacement of unicode equivalent terms test.	2016-08-11 12:48:41 -04:00
Rob Rix	15b515e7a1	Strip the diff in the correctness test.	2016-08-11 12:48:27 -04:00
Rob Rix	336f37d0c8	Strip diffs in the unbiased test.	2016-08-11 12:45:40 -04:00
Rob Rix	0aef8a8467	Use stripDiff in the RWS spec.	2016-08-11 12:44:49 -04:00
Rob Rix	cbe397ed1d	stripDiff expects diff annotations to be in a functor.	2016-08-11 12:44:43 -04:00
Rob Rix	66e1ff3c50	Add functions to strip terms and diffs to RWS.	2016-08-11 12:42:53 -04:00
Rob Rix	8d22e7bd85	Pointfree definition of root.	2016-08-11 12:37:19 -04:00
Rob Rix	7bb5d7cd36	Use a single function to compute both roots.	2016-08-11 12:36:41 -04:00
Rob Rix	b551f9c3d9	Test that the bias of interpreter by reversing the inputs & output.	2016-08-11 12:34:32 -04:00
Rob Rix	af831671bc	Interpreter uses category equality.	2016-08-11 12:32:44 -04:00
Rob Rix	544a6d3daf	RWS uses category equality for its comparisons.	2016-08-11 12:31:44 -04:00
Rob Rix	2477a40b6c	Enable FlexibleContexts for the tests.	2016-08-11 12:29:17 -04:00
Rob Rix	fd6701973f	Replace termA/termB with functions.	2016-08-11 12:25:30 -04:00
Rob Rix	fb847d9d3f	Add a test that interpreter is unbiased for deletions.	2016-08-11 12:23:34 -04:00
Rob Rix	e4c55a8dbd	Add (failing) tests of rws’ bias.	2016-08-11 11:53:51 -04:00
Rob Rix	6debe0a076	Add a function to get the tail of non-empty records.	2016-08-11 11:53:21 -04:00
Rob Rix	f7055f16e8	Extract the decorating of arbitrary terms.	2016-08-11 10:27:11 -04:00
Rob Rix	7dcaf788f6	Merge pull request #685 from github/one-json-to-rule-them-all ... Output one JSON object for the JSON and summary renderers	2016-08-11 09:24:45 -04:00
Rob Rix	8caa0b5c67	Merge branch 'master' into one-json-to-rule-them-all	2016-08-11 09:22:37 -04:00
Rick Winfrey	ab62a441a6	Merge branch 'master' into auto-generate-test-cases	2016-08-10 17:30:25 -05:00
joshvera	21cb7f71d7	Merge 'origin/master' into one-json-to-rule-them-all	2016-08-10 17:33:11 -04:00
Rick Winfrey	7636c169b8	Adds javascript repo submodule	2016-08-10 15:56:43 -05:00
Rick Winfrey	e79762e3e2	Updates javascript repo submodule	2016-08-10 15:53:57 -05:00
Josh Vera	9a6399c362	Merge pull request #640 from github/precompute-p,q-grams ... Precompute p,q-grams	2016-08-10 16:03:06 -04:00
Rob Rix	704ff4db08	Factor the base & stem assignment into the where clause.	2016-08-10 15:57:55 -04:00
Rob Rix	e162987c26	Factor the calculation of the gram into the where clause.	2016-08-10 15:54:37 -04:00
Rob Rix	d03ab55c23	📝 pqGramDecorator.	2016-08-10 15:53:37 -04:00