867 Commits

Author	SHA1	Message	Date
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
Rob Rix	2102ab41cf	Rename Decorating to Analysis.	2017-11-27 14:32:13 -05:00
Rob Rix	a6cdcc2c55	Add section headers to the .cabal file.	2017-11-27 14:28:28 -05:00
Rob Rix	87d533cc2b	Rename Language to Data.Language.	2017-11-27 14:17:48 -05:00
Rob Rix	bcb64b3187	Rename the Integration spec.	2017-11-27 14:06:12 -05:00
Rob Rix	59fc8bffc9	Rename the TOC spec.	2017-11-27 14:04:58 -05:00
Rob Rix	69595553d6	Rename the Interpreter spec.	2017-11-27 14:03:45 -05:00
Rob Rix	a442bfeea1	Rename the Term spec.	2017-11-27 14:02:03 -05:00
Rob Rix	a079638c5b	Rename the Semantic spec.	2017-11-27 14:00:53 -05:00
Rob Rix	80fce5b41e	Rename the Diff spec.	2017-11-27 13:59:44 -05:00
Rob Rix	4b06df7db4	Rename the Stat spec.	2017-11-27 13:58:23 -05:00
Rob Rix	59166b50bb	Rename the CLI spec.	2017-11-27 13:57:25 -05:00
Rob Rix	b98375b58f	Rename the IO spec.	2017-11-27 13:52:48 -05:00
Rob Rix	8a3d34a1fc	Rename the SES spec.	2017-11-27 13:51:05 -05:00
Rob Rix	f4960b0a0d	Rename the Source spec.	2017-11-27 13:49:52 -05:00
Rob Rix	266bd1199a	Rename the RWS spec.	2017-11-27 13:48:43 -05:00
Rob Rix	a8e8489fcb	Rename the assignment spec.	2017-11-27 13:47:04 -05:00
Rob Rix	3ebb972bd8	Move the Node datatype & AST synonym into Data.AST.	2017-11-27 13:45:37 -05:00
Rob Rix	fd31babd62	Rename Decorator to Decorating.Decorator.	2017-11-27 13:36:00 -05:00
Rob Rix	3a3ed72f96	Rename Renderer to Rendering.Renderer.	2017-11-27 13:30:38 -05:00
Rob Rix	dbb1a33fca	Rename Parser to Parsing.Parser.	2017-11-27 13:24:45 -05:00
Rob Rix	9bfd64905d	Rename Data.Syntax.Assignment to Assigning.Assignment.	2017-11-27 13:19:20 -05:00
Rob Rix	062d9cbfa9	Rename Files to Semantic.IO.	2017-11-27 13:09:03 -05:00
Rob Rix	1e95b0270e	Rename SemanticCmdLine to Semantic.CLI.	2017-11-27 11:57:27 -05:00
Rob Rix	bb21a24a93	Rename RWS to Diffing.Algorithm.RWS.	2017-11-27 11:51:39 -05:00
Rob Rix	dad5abb189	Rename SES to Diffing.Algorithm.SES.	2017-11-27 11:48:39 -05:00
Rob Rix	cdefcdb33d	Rename Interpreter to Diffing.Interpreter.	2017-11-27 11:45:08 -05:00
Rob Rix	cfd27ec20c	Rename Algorithm -> Diffing.Algorithm.	2017-11-27 11:42:57 -05:00
Rob Rix	72c804dc48	Rename Language.Markdown to Parser.CMark.	2017-11-22 17:26:14 -05:00
Rob Rix	1c0101a269	Rename TreeSitter to Parser.TreeSitter.	2017-11-22 17:24:10 -05:00
Rob Rix	3a06686361	Rename Data.Syntax.Algebra to Decorator.	2017-11-22 17:21:22 -05:00
Timothy Clem	82e45bdb35	Collapse up collecting interpreter functions into one file	2017-11-22 13:50:22 -08:00
Timothy Clem	87145308cd	Bring in some of the other interpreters	2017-11-22 08:04:13 -08:00
Rob Rix	9579bbab5c	Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax	2017-11-21 17:26:05 -05:00
Rob Rix	750f6a2d93	Merge branch '🔥-patch-output' into 🔥-monolithic-syntax	2017-11-21 17:15:58 -05:00
Rob Rix	aa8f6883e8	🔥 Alignment.	2017-11-21 17:12:00 -05:00
Rob Rix	94ce3fe8f6	🔥 Renderer.Patch.	2017-11-21 17:11:54 -05:00
Rob Rix	8dea7d4194	🔥 AlignmentSpec.	2017-11-21 17:08:52 -05:00
Rob Rix	efa454edcc	🔥 PatchOutputSpec.	2017-11-21 17:08:40 -05:00
Rick Winfrey	e87b1f6e42	Add Language.Go.Type module	2017-11-21 12:48:29 -08:00
Rick Winfrey	d3211a5dd2	Merge branch 'master' into go-assignment	2017-11-21 10:42:15 -08:00
Rob Rix	99c7b5ac6e	Merge branch 'master' into 🔥-monolithic-syntax	2017-11-21 12:37:45 -05:00
Timothy Clem	9652926841	Merge remote-tracking branch 'origin/master' into generate-tags-with-context	2017-11-16 14:35:20 -08:00
Timothy Clem	480c8b1479	Small version of python syntax to work with	2017-11-15 15:08:35 -08:00
Rob Rix	5ff724abfa	Merge branch 'master' into integrate-abstract-interpretation	2017-11-15 11:33:48 -05:00
Rob Rix	2ddd0fafdc	Merge remote-tracking branch 'origin/go-assignment' into 🔥-monolithic-syntax	2017-11-15 10:57:25 -05:00
Rob Rix	fd11bac981	Merge branch '🔥-monolithic-typescript-assignment' into 🔥-monolithic-syntax	2017-11-15 10:53:01 -05:00
Rob Rix	7b291087cc	Merge branch 'master' into 🔥-monolithic-syntax	2017-11-15 10:52:30 -05:00
Rob Rix	4916ccde2f	🔥 monolithic TypeScript assignment.	2017-11-15 10:42:53 -05:00
Timothy Clem	8c727bd4f0	Extract out the Tag renderer into it's own module	2017-11-09 09:01:35 -08:00
Timothy Clem	772762ecef	Merge remote-tracking branch 'origin/master' into generate-tags-with-context	2017-11-08 13:16:07 -08:00
Rick Winfrey	460dd54c33	Merge branch 'master' into go-assignment	2017-10-30 15:02:01 -07:00
Rick Winfrey	f949980f55	Add Language.Go.Syntax to cabal file	2017-10-30 14:08:50 -07:00
Rob Rix	fbc39aad08	Stub in a feature vector module.	2017-10-27 09:48:46 -04:00
Rob Rix	f6ac8e0bbc	Compute feature vectors as unlifted doubles.	2017-10-26 19:04:56 -04:00
Rob Rix	a7f5db2507	🔥 MonadRandom.	2017-10-26 13:57:08 -04:00
Rick Winfrey	5ad5a882ba	Merge branch 'master' into go-assignment	2017-10-23 15:10:29 -07:00
joshvera	d2f2764c26	Read blobs from a directory	2017-10-17 12:48:27 -04:00
Timothy Clem	3b1fd97748	Port over the Interpreter	2017-10-13 14:17:04 -07:00
Timothy Clem	d1ad4d6318	Port over Environment, Primitive, Type, Value	2017-10-13 11:03:58 -07:00
Timothy Clem	f27ecb61cb	Break out FreeVariables	2017-10-13 11:03:16 -07:00
Timothy Clem	8e198dd460	Bring in Control.Effect	2017-10-13 11:01:04 -07:00
Timothy Clem	448d9ea338	Introduce standard and collecting evaluator type classes ... Ported from https://github.com/robrix/abstract-interpretation	2017-10-13 10:13:41 -07:00
Rob Rix	d6f4914c46	🔥 the dependencies on pretty-show & hscolour.	2017-10-13 10:08:34 -04:00
Rick Winfrey	0452d90672	Update Go.Syntax -> Go.Assignment	2017-10-11 10:39:41 -07:00
Rick Winfrey	cc97f9ee4d	Merge branch 'master' into go-assignment	2017-10-11 10:12:12 -07:00
Rick Winfrey	03d4a4d5c0	Update TypeScript	2017-10-10 15:55:42 -07:00
Rick Winfrey	7c84516fec	Update Ruby	2017-10-10 15:36:09 -07:00
Rick Winfrey	bf4300e5eb	Update Python	2017-10-10 15:27:54 -07:00
Rick Winfrey	2be6e5eef6	Update Markdown	2017-10-10 15:24:25 -07:00
Rick Winfrey	a1185a3800	Rename JSON.Syntax -> JSON.Assignment	2017-10-10 15:14:57 -07:00
Rick Winfrey	eb591f12aa	Merge branch 'master' into go-assignment	2017-10-10 11:44:14 -07:00
Rob Rix	757910c72b	Merge branch 'master' into 🔥-monolithic-syntax	2017-10-10 12:22:37 -04:00
Timothy Clem	ce2e3e737e	Merge branch 'master' into stats	2017-10-05 07:48:49 -07:00