17946 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rick Winfrey	d649a514af	Update tests	2017-12-01 13:36:38 -08:00
Rick Winfrey	21024a0506	🔥 unnecessary language extensions	2017-12-01 13:36:32 -08:00
Timothy Clem	13f029238f	Use newtypes	2017-12-01 13:23:33 -08:00
Timothy Clem	1676d949fa	Not using fail	2017-12-01 13:23:28 -08:00
Rick Winfrey	7ee4b04c1f	Update CyclomaticComplexity	2017-12-01 13:00:30 -08:00
Rob Rix	43237fff1e	No need to qualify these names.	2017-12-01 14:44:21 -05:00
Rob Rix	bf26a25cff	📝 why the unsafeCoerce is ok.	2017-12-01 14:42:26 -05:00
Rob Rix	d809e0b81d	Only coerce the set itself.	2017-12-01 14:39:20 -05:00
Rick Winfrey	e7a5e88d5e	First pass updating CyclomaticComplexity	2017-12-01 11:39:04 -08:00
Rob Rix	3652fd2c63	Rename the live set functions uniquely.	2017-12-01 14:33:41 -05:00
Rob Rix	67f8aedc50	Use Live to represent root sets.	2017-12-01 14:30:05 -05:00
Rob Rix	07ec5e3238	Define insertion into live sets.	2017-12-01 14:28:35 -05:00
Rob Rix	3b315112dc	Define Live.delete tacitly.	2017-12-01 14:28:28 -05:00
Rob Rix	67c633f3b0	Define the symmetric difference on live sets.	2017-12-01 14:27:50 -05:00
Rob Rix	40d004a289	Define splitting of live sets.	2017-12-01 14:26:29 -05:00
Rob Rix	de9bdc3e34	Define membership tests on live sets.	2017-12-01 14:24:38 -05:00
Rick Winfrey	df52854ef0	Merge branch 'master' into cyclomatic-complexity-decorator	2017-12-01 11:23:15 -08:00
Rob Rix	0402253012	Construct singleton live sets.	2017-12-01 14:20:45 -05:00
Rob Rix	3050438327	Delete addresses from live sets.	2017-12-01 14:20:06 -05:00
Rob Rix	80058c9807	Spacing.	2017-12-01 14:19:58 -05:00
Rob Rix	915ce45f9f	Derive Semigroup & Monoid instances for Live.	2017-12-01 14:16:36 -05:00
Rob Rix	125392bcfc	Address is an Ord-homomorphism, so we can just unsafeCoerce everything around.	2017-12-01 14:14:53 -05:00
Rob Rix	0d31aece39	Derive Eq1, Ord1, & Show1 instances for Live.	2017-12-01 14:05:41 -05:00
Rob Rix	4bcbffe827	Define a Generic1 instance for Live.	2017-12-01 14:05:30 -05:00
Rob Rix	ae473f7ad2	Define a Functor instance for Live.	2017-12-01 13:57:56 -05:00
Rob Rix	7c3eb5cfda	Define a Live set newtype.	2017-12-01 13:57:38 -05:00
Rob Rix	37b44b513b	Add a module for a live set.	2017-12-01 13:57:15 -05:00
Rob Rix	05b35cd747	iterFreer’s algebra takes the continuation & instruction in the opposite order.	2017-12-01 13:54:32 -05:00
Rob Rix	d6128c0132	Merge branch 'integrate-abstract-interpretation' of https://github.com/github/semantic-diff into integrate-abstract-interpretation	2017-12-01 13:50:09 -05:00
Timothy Clem	9f528e8f97	++freer-cofreer for gitignore change	2017-12-01 10:48:15 -08:00
Rob Rix	cbeb7371cc	There’s just one module now.	2017-12-01 13:47:34 -05:00
Rob Rix	10d6ae7a0f	Merge branch 'master' into integrate-abstract-interpretation	2017-12-01 13:46:15 -05:00
Timothy Clem	89dcf0fe61	Don't allow evaluating to Type after all ... Evaluating to types should always use evalCache rather than evaluate. Using evaluate will infinite loop on recursive programs. - @robrix	2017-12-01 10:03:02 -08:00
Rob Rix	ecfd121575	Merge branch 'master' into 🔥-monolithic-syntax	2017-12-01 12:28:19 -05:00
Timothy Clem	5862a73334	Evaluation to Types requires NonDetEff and Fresh Effects	2017-12-01 09:21:08 -08:00
Rob Rix	2c561be63f	Merge pull request #1450 from github/update-go-toc-rendering ... Better isolate function name for function declarations vs function literals	2017-12-01 11:27:17 -05:00
Rob Rix	cffe4a757e	Merge branch 'master' into update-go-toc-rendering	2017-12-01 11:22:27 -05:00
Rob Rix	6b586f035e	Merge pull request #1449 from github/better-generic-show1-instances ... Better generic Show1 instances	2017-12-01 11:20:21 -05:00
Rob Rix	404dde2cd9	Derive the instances for Address.	2017-12-01 09:49:33 -05:00
Rob Rix	268d559bd3	Derive the instances for Environment.	2017-12-01 09:49:28 -05:00
Rob Rix	9c84fb0d2a	Derive the Eq1, Ord1, & Show1 instances for Configuration.	2017-12-01 09:46:52 -05:00
Rob Rix	5e17e4c183	📝 Address & Precise.	2017-11-30 20:07:21 -05:00
Rob Rix	45d73dec35	Use Pointed & Monoid instead of IsList.	2017-11-30 20:04:00 -05:00
Rob Rix	1543a019f2	Clean up the dead evaluator’s LANGUAGE pragmas.	2017-11-30 19:58:44 -05:00
Rob Rix	9cfad1d275	Clean up the tracing evaluator’s LANGUAGE pragmas.	2017-11-30 19:58:08 -05:00
Rob Rix	f42c2ef375	🔥 ev.	2017-11-30 19:56:44 -05:00
Rob Rix	a9e5619d6c	Break the dead evaluator’s dependency on the evaluator.	2017-11-30 19:56:21 -05:00
Rick Winfrey	e18ca5b9d0	Merge branch 'update-go-toc-rendering' of github.com:github/semantic-diff into update-go-toc-rendering	2017-11-30 16:55:40 -08:00
Rick Winfrey	be3d497f8c	Add interface test cases for method specs without return types	2017-11-30 16:55:38 -08:00
Rick Winfrey	57015bc8bd	Update methodSpec assignments to not require return type	2017-11-30 16:55:20 -08:00