840 Commits

Author	SHA1	Message	Date
Timothy Clem	f26ef5a59a	Merge branch 'master' of github.com:github/semantic-diff into integrate-abstract-interpretation	2017-12-20 09:04:55 -08:00
joshvera	99d9b7c97a	Merge master into 🔥-monolithic-syntax	2017-12-19 13:09:30 -05:00
Timothy Clem	859aa731a5	Merge branch 'master' into integrate-abstract-interpretation	2017-12-18 13:52:10 -08:00
Rob Rix	a112fca6f3	Merge branch 'master' into 🔥-monolithic-syntax	2017-12-18 15:07:00 -05:00
Timothy Clem	58ebcbfb00	Add IdentifierName decorator	2017-12-12 11:32:12 -08:00
Timothy Clem	3382a8ae72	No more alternative python	2017-12-01 14:19:55 -08:00
Rob Rix	37b44b513b	Add a module for a live set.	2017-12-01 13:57:15 -05:00
Rob Rix	10d6ae7a0f	Merge branch 'master' into integrate-abstract-interpretation	2017-12-01 13:46:15 -05:00
Rob Rix	ecfd121575	Merge branch 'master' into 🔥-monolithic-syntax	2017-12-01 12:28:19 -05:00
Rob Rix	c36c257618	Rename Abstract.Interpreter to Analysis.Abstract.Evaluating.	2017-11-30 19:41:34 -05:00
Rob Rix	2525992123	Move evCollect & evRoots into their own module.	2017-11-30 19:35:35 -05:00
Rob Rix	8f392661dd	Rename Abstract.Interpreter.Caching to Analysis.Abstract.Caching.	2017-11-30 19:27:26 -05: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
Rob Rix	f1e5080c69	Rename Abstract.Interpreter.Tracing to Analysis.Abstract.Tracing.	2017-11-30 18:57:56 -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	c30869e076	Extract MonadDead into its own module.	2017-11-30 18:43:43 -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
Rob Rix	e614b818a7	Rename Abstract.Address to Data.Abstract.Address.	2017-11-30 18:08:46 -05:00
Rob Rix	105eb793e1	Rename Abstract.FreeVariables to Data.Abstract.FreeVariables.	2017-11-30 18:02:14 -05:00
Rob Rix	627f6fb731	Rename Abstract.Configuration to Data.Abstract.Configuration.	2017-11-30 17:57:58 -05:00
Rob Rix	536ea7e1b1	Rename Abstract.Environment to Data.Abstract.Environment.	2017-11-30 17:55:18 -05:00
Rob Rix	d3aacd96e6	Rename Abstract.Eval to Analysis.Abstract.Eval.	2017-11-30 17:51:38 -05:00
Rob Rix	2df600835f	Move MonadGC into its own module.	2017-11-30 17:43:30 -05:00
Rob Rix	e938875a93	Rename Abstract.Monad.Env to Control.Monad.Effect.Env.	2017-11-30 17:38:19 -05:00
Rob Rix	251520f926	Move MonadFresh into its own module.	2017-11-30 17:33:26 -05:00
Rob Rix	5f8aa1e573	Merge branch 'master' into integrate-abstract-interpretation	2017-11-30 17:16:26 -05:00
Rob Rix	9f5a5e0469	Move MonadEnv into its own module.	2017-11-30 15:44:58 -05:00
Rob Rix	671ddbee55	Fix the module name.	2017-11-30 14:42:38 -05:00
Rob Rix	636109e5ef	Move Address into its own module.	2017-11-30 12:06:30 -05:00
Rob Rix	10f7ed7978	Merge branch 'master' into integrate-abstract-interpretation	2017-11-30 11:30:55 -05:00
Rob Rix	67f251e223	Combine the generic Eq1, Ord1, & Show1 implementations into a single module.	2017-11-30 10:24:48 -05:00
Rob Rix	bb2aa0ad0a	Stub in a module to hold all the generic Data.Functor.Classes implementations.	2017-11-30 10:14:21 -05:00
Rob Rix	cbd02eab7b	Merge branch 'master' into musical-modules	2017-11-30 09:53:19 -05:00
Rob Rix	a34a8ec3a3	Split Primitive up into component types.	2017-11-29 12:28:08 -05:00
Timothy Clem	026cc46dbc	Merge branch 'master' of https://github.com/github/semantic-diff into integrate-abstract-interpretation	2017-11-28 15:49:46 -08:00
Rob Rix	0252667c34	🔥 Abstract.Set.	2017-11-28 16:08:48 -05:00
Rick Winfrey	f93a0389ce	Merge branch 'master' into go-assignment	2017-11-28 09:21:10 -08:00
Rob Rix	f1c4b58797	Merge branch 'musical-modules' into 🔥-monolithic-syntax	2017-11-28 11:59:38 -05:00
Rob Rix	41020b7eae	Extract the Declaration algebras into a new module.	2017-11-28 09:17:41 -05:00
Rob Rix	8454467b61	Move the cyclomatic complexity analysis into its own module.	2017-11-27 14:52:27 -05:00
Rob Rix	ae985ef4e5	Factor ConstructorName into its own module.	2017-11-27 14:45:13 -05:00
Rob Rix	a844fec2bd	Move the algebras into their own module.	2017-11-27 14:36:20 -05:00