1471 Commits

Author	SHA1	Message	Date
joshvera	4de2396b0a	++tests	2017-01-25 15:50:17 -05:00
joshvera	b30b98375e	update tests	2017-01-25 11:45:50 -05:00
Rob Rix	23881c21b6	Hide that other definition of Nil.	2017-01-19 15:53:16 -05:00
Rob Rix	8e1c5706b6	Replace uses of (.:) with (:.).	2017-01-19 15:46:28 -05:00
Rob Rix	877fec5e38	Rename RNil to Nil.	2017-01-19 15:36:04 -05:00
joshvera	a5709517e7	bump ruby	2017-01-18 15:37:29 -05:00
joshvera	7880046c40	Bump ruby tests for class superclasses	2017-01-18 15:18:45 -05:00
joshvera	69a3dc061c	bump method tests	2017-01-18 15:12:54 -05:00
joshvera	9c689cc05a	update tests for pairs	2017-01-18 13:23:54 -05:00
joshvera	d4c33c0176	Map keyed_element to Pair	2017-01-18 13:01:25 -05:00
joshvera	8e88838495	Merge remote-tracking branch 'origin/master' into more-go-terms	2017-01-18 11:14:03 -05:00
joshvera	2af1bc0109	update tests	2017-01-17 21:06:49 -05:00
joshvera	496e95a41f	fix rune tests	2017-01-17 18:55:59 -05:00
joshvera	b845e8d778	Fix type-declarations terms in go.json	2017-01-17 17:31:09 -05:00
joshvera	591c8b986e	bump tests	2017-01-17 15:26:07 -05:00
Rick Winfrey	4fcd80a6fe	Add qualified identifiers for Go	2017-01-13 16:46:16 -08:00
Rick Winfrey	27196d8f6b	Add Go support for increment / decrement statements	2017-01-13 15:03:42 -08:00
Rick Winfrey	4fae2e8740	Bump go tests	2017-01-13 14:42:09 -08:00
Rick Winfrey	91f019b442	Add Go comment diff summaries test	2017-01-13 14:42:00 -08:00
Rick Winfrey	86a456b285	Merge remote	2017-01-12 15:54:14 -08:00
Rob Rix	c64049304e	🐫-case ioresultiers.	2017-01-12 15:51:01 -05:00
Rick Winfrey	b4de374b30	Bump go tests	2017-01-12 12:00:21 -08:00
Rick Winfrey	4f3f16b506	bump go tests	2017-01-11 15:28:58 -08:00
Rick Winfrey	ad9895a28c	Merge branch 'more-go-terms' of github.com:github/semantic-diff into more-go-terms	2017-01-11 15:23:04 -08:00
Rick Winfrey	e4ac0af32e	Remove newline	2017-01-11 15:19:45 -08:00
Rick Winfrey	089e9417b5	bump go tests	2017-01-11 15:19:22 -08:00
Rick Winfrey	e122c4c91d	Update repo url to point to shared go test repo	2017-01-11 15:19:07 -08:00
Rick Winfrey	bfc139f54d	Add struct-field-declaration syntax to go.json generator file	2017-01-11 15:18:55 -08:00
Rick Winfrey	26a4a41a61	Add struct-field-declarations summary tests	2017-01-11 15:18:14 -08:00
joshvera	74dbe899fa	bump tests	2017-01-11 16:30:01 -05:00
joshvera	18c178b664	bump ruby tests	2017-01-10 16:58:40 -05:00
joshvera	8fc30bea71	never mind don't make case statements identifiable	2017-01-10 16:51:50 -05:00
joshvera	4d06cbd63c	Update tests	2017-01-10 16:21:35 -05:00
joshvera	8cff7ff000	++tests	2017-01-10 16:08:59 -05:00
Rob Rix	9a0845c72a	📝 the LeanCheck/Hspec integration API.	2017-01-10 16:03:22 -05:00
joshvera	3d95799fc7	Handle parameter declarations	2017-01-10 15:09:09 -05:00
joshvera	313a2a51e7	Bump tests	2017-01-09 17:21:36 -05:00
joshvera	57137db0cf	bump tests	2017-01-09 15:13:55 -05:00
Rob Rix	1ee9a60039	🔥 Arbitrary instances.	2017-01-09 14:59:04 -05:00
Rob Rix	f3381daf2f	Migrate the DiffSummary property tests to leancheck.	2017-01-09 14:29:49 -05:00
Rob Rix	88aec60e23	Migrate the Interpreter property tests to leancheck.	2017-01-09 14:20:11 -05:00
Rob Rix	5d4cc364ae	Migrate the property tests of Alignment to leancheck.	2017-01-09 14:13:41 -05:00
Rob Rix	389378fbff	Migrate the Mergeable property tests to leancheck.	2017-01-08 00:10:14 -05:00
Rob Rix	8d626d0fea	Define a forAll combinator by analogy with QuickCheck.	2017-01-07 23:46:22 -05:00
Rob Rix	43faae0864	Migrate the RWS property tests to leancheck.	2017-01-07 23:27:01 -05:00
Rob Rix	4cc81c552b	Migrate the Term property test to leancheck.	2017-01-07 23:21:22 -05:00
Rob Rix	26d0a634ed	Migrate the Diff property tests to leancheck.	2017-01-07 23:17:05 -05:00
Rob Rix	a86db572f6	Integrate LeanCheck into Hspec.	2017-01-07 23:16:27 -05:00
joshvera	ec1ea9aa17	update ruby tests	2017-01-05 17:09:50 -05:00
joshvera	ae40908cd2	Update go tests	2017-01-05 17:08:28 -05:00