1088 Commits

Author	SHA1	Message	Date
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	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	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	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	f7055f16e8	Extract the decorating of arbitrary terms.	2016-08-11 10:27:11 -04:00
joshvera	21cb7f71d7	Merge 'origin/master' into one-json-to-rule-them-all	2016-08-10 17:33:11 -04:00
joshvera	59932277f9	Merge remote-tracking branch 'origin/master' into one-json-to-rule-them-all	2016-08-10 13:49:26 -04:00
joshvera	ae0f18593b	Remove redundant imports	2016-08-10 12:18:53 -04:00
joshvera	347f4fbb4b	Concat outputs in CorpusSpec	2016-08-10 12:17:33 -04:00
joshvera	1c1938080c	Use either path in output	2016-08-10 11:00:40 -04:00
joshvera	dfbc5e1867	infix	2016-08-10 10:58:41 -04:00
joshvera	d09c1314a4	infix	2016-08-10 10:56:28 -04:00
joshvera	1574e74bcb	Normalize names before unioning	2016-08-10 10:55:48 -04:00
joshvera	9df1399168	output the inserted/deleted path in the patch header	2016-08-09 16:14:46 -04:00
joshvera	25a53ac718	add file addition and deletion tests	2016-08-09 16:14:46 -04:00
joshvera	c286b39146	Fix oids	2016-08-09 16:14:46 -04:00
joshvera	07dfb0f5d8	handle missing files in CorpusSpec	2016-08-09 16:14:46 -04:00
joshvera	55afdaba17	Add new file patch test	2016-08-09 16:14:46 -04:00
joshvera	0bee997724	fix tests	2016-08-08 14:59:51 -04:00
joshvera	ce149af0f6	++js-test ++tree-sitter-parsers	2016-08-01 12:23:15 -04:00
joshvera	1c5f94631c	s/diffSummary/diffSummaries	2016-07-29 18:38:46 -04:00
joshvera	b354ed61d9	++js-test	2016-07-29 16:57:30 -04:00
joshvera	b242555021	++js-test	2016-07-29 16:34:09 -04:00
joshvera	04a976969e	++js-test	2016-07-29 16:16:58 -04:00
joshvera	380e980250	annotate sources	2016-07-29 14:34:28 -04:00
joshvera	1ba42a9d0f	Add Ranges to DiffSummarySpec	2016-07-29 14:31:02 -04:00
joshvera	aa99744db7	Remove SourceSpan from Record	2016-07-29 14:12:44 -04:00
joshvera	fbc9e335a3	Merge remote-tracking branch 'origin/master' into error-syntax	2016-07-29 11:44:38 -04:00
joshvera	5caa439bec	++js-test	2016-07-28 14:29:24 -04:00
joshvera	8b0f496b90	Merge remote-tracking branch 'origin/master' into error-syntax	2016-07-27 19:00:27 -04:00
joshvera	ba7d599aa3	Add SourceSpan to tests	2016-07-27 18:49:21 -04:00
joshvera	b5b3391786	add missing unwrap	2016-07-26 16:44:33 -04:00
joshvera	4bd4a93a0c	++js-test	2016-07-26 16:34:28 -04:00
joshvera	804a8457a5	++js-test for errors.js	2016-07-26 16:30:12 -04:00
joshvera	5eece69994	Use any	2016-07-26 16:29:46 -04:00
Rob Rix	cfddd9ca75	Merge branch 'master' into sequenceable	2016-07-26 15:43:02 -04:00
Rob Rix	e5f9d1ed28	Test the Mergeable laws over lists.	2016-07-26 15:27:32 -04:00
Rob Rix	475ec475b6	Weaken the identity laws to be non-empty.	2016-07-26 15:27:16 -04:00
Rob Rix	dd0b0322fc	Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes.	2016-07-26 14:56:02 -04:00