17812 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	9f7c07a2c8	Re-use ev in the Dead analysis.	2017-11-30 19:36:05 -05:00
Rob Rix	d9da859024	Generalize ev over the term type.	2017-11-30 19:35:43 -05:00
Rob Rix	2525992123	Move evCollect & evRoots into their own module.	2017-11-30 19:35:35 -05:00
Rick Winfrey	442824949d	Update tests	2017-11-30 16:28:04 -08:00
Rob Rix	8f392661dd	Rename Abstract.Interpreter.Caching to Analysis.Abstract.Caching.	2017-11-30 19:27:26 -05:00
Rick Winfrey	35a83422f4	Do less work for more accuracy	2017-11-30 16:26:45 -08:00
Rob Rix	41656cd4f1	Move MonadNonDet into its own module.	2017-11-30 19:24:27 -05:00
Rob Rix	2aa8a601bc	Move MonadCacheIn and MonadCacheOut into their own module.	2017-11-30 19:22:17 -05:00
Rob Rix	4695e4c544	Extract Cache into its own module.	2017-11-30 19:16:28 -05:00
Rob Rix	ddecfc41e5	Extract MonadAddress into its own module.	2017-11-30 19:12:18 -05:00
Rick Winfrey	bafff20f3b	Tokenize the fun keyword in function declarations	2017-11-30 16:02:16 -08:00
Rob Rix	f1e5080c69	Rename Abstract.Interpreter.Tracing to Analysis.Abstract.Tracing.	2017-11-30 18:57:56 -05:00
Rob Rix	c3f8107046	🔥 some redundant LANGUAGE pragmas in Data.Abstract.Eval.	2017-11-30 18:55:24 -05:00
Rob Rix	6811300401	Move MonadTrace into its own module.	2017-11-30 18:53:58 -05:00
Rob Rix	8d6676aebe	Rename Analysis.Abstract.Eval to Data.Abstract.Eval.	2017-11-30 18:51:15 -05:00
Rob Rix	4a64ede395	Rename Abstract.Interpreter.Dead to Analysis.Abstract.Dead.	2017-11-30 18:49:19 -05:00
Rob Rix	e47703a782	Generalize the dead code analysis over the term type.	2017-11-30 18:48:04 -05:00
Rob Rix	c30869e076	Extract MonadDead into its own module.	2017-11-30 18:43:43 -05:00
Rob Rix	15d9bdceb9	🔥 Abstract.Primitive.	2017-11-30 18:38:01 -05:00
Rob Rix	ecae28204e	Rename Abstract.Store to Control.Monad.Effect.Store.	2017-11-30 18:35:29 -05:00
Rob Rix	60256cfe30	Extract the Store type into Data.Abstract.Store.	2017-11-30 18:32:05 -05:00
Rob Rix	efbe6988cc	Rename Abstract.Value to Data.Abstract.Value.	2017-11-30 18:27:35 -05:00
Rob Rix	576f7774ea	Rename Abstract.Type to Data.Abstract.Type.	2017-11-30 18:21:02 -05:00