17785 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	a57a2c0d42	Simplify the Interpreter type synonym.	2017-11-30 19:54:16 -05:00
Rob Rix	16c663bfc9	Break the tracing evaluator’s dependency on the evaluator.	2017-11-30 19:53:55 -05:00
Rob Rix	51b8461be3	Abstract the tracing evaluators over the term type.	2017-11-30 19:49:26 -05:00
Rob Rix	0ac52c4fc3	Break the caching evaluator’s dependency on the evaluator.	2017-11-30 19:46:55 -05:00
Rob Rix	eb042b6032	Abstract the caching evaluator over the term type.	2017-11-30 19:44:43 -05:00
Rob Rix	d66540e574	Rename Abstract.Interpreter.Symbolic to Analysis.Abstract.Symbolic.	2017-11-30 19:42:41 -05:00
Rob Rix	c36c257618	Rename Abstract.Interpreter to Analysis.Abstract.Evaluating.	2017-11-30 19:41:34 -05:00
Rob Rix	333f5249b6	Simplify the LANGUAGE pragmas for Abstract.Interpreter.	2017-11-30 19:39:55 -05:00
Rob Rix	5dfd7fe15c	Abstract evaluate over the term type.	2017-11-30 19:38:53 -05:00
Rick Winfrey	3bc8c4cff5	Merge branch 'master' into update-go-toc-rendering	2017-11-30 16:37:14 -08:00
Rob Rix	0e309d54b4	Re-use ev in the Caching analysis.	2017-11-30 19:36:53 -05:00