174 Commits

Author	SHA1	Message	Date
Rob Rix	539c769ecc	Stub in a module for the details of DOT serialization.	2018-05-11 14:07:53 -04:00
Rob Rix	eb82239f8d	Stub in a module for serialization formats.	2018-05-11 13:27:09 -04:00
Rob Rix	ffd787a762	Rename Rendering.DOT to Rendering.Graph.	2018-05-11 12:57:20 -04:00
Rob Rix	53fab62a0e	Stub in a module for graphs.	2018-05-11 12:04:26 -04:00
Rob Rix	db185d5e47	Move Located into Data.Abstract.Address.	2018-05-11 00:09:17 -04:00
Rob Rix	2abfd92678	Bump effects for https://github.com/joshvera/effects/pull/43	2018-05-10 18:27:10 -04:00
Rob Rix	2b1d976f6a	Rename Control.Abstract.ModuleTable to Control.Abstract.Modules.	2018-05-08 16:59:25 -04:00
Rob Rix	52cfb56f54	Rename the Label module to Goto.	2018-05-08 10:37:50 -04:00
Rob Rix	c427be3670	Stub in a spec for Evaluator.	2018-05-07 14:21:05 -04:00
Rob Rix	29c755a8dc	Sort the test modules.	2018-05-07 14:20:56 -04:00
Rob Rix	eabb3b79a1	Move the evaluated module table accessors into their own module.	2018-05-07 12:20:23 -04:00
Rob Rix	f2288e3d69	Move the Environment accessors into their own module.	2018-05-07 12:17:32 -04:00
Rob Rix	3c73571b0c	Move currentModule/currentPackage into their own module.	2018-05-07 12:14:14 -04:00
Rob Rix	de5a46dc6c	Move JumpTable, Label, label, and goto into their own module.	2018-05-07 12:12:11 -04:00
Rob Rix	0d1b025823	Move the Exports accessors into their own module.	2018-05-07 12:04:12 -04:00
Rob Rix	5d91cfd843	Move the roots functionality into its own module.	2018-05-07 11:58:30 -04:00
Rob Rix	531f941692	Provide a module re-exporting all the various abstract interpretation machinery.	2018-05-07 11:51:56 -04:00
Rob Rix	57ddf31ec5	Move the Heap accessors into their own module.	2018-05-07 11:49:59 -04:00
Rob Rix	920ddd893f	Move the configuration accessor into its own module.	2018-05-07 11:49:47 -04:00
Rob Rix	2a1c7f17b3	🔥 microlens.	2018-05-07 08:46:40 -04:00
Rob Rix	4f69f5e3de	Merge branch 'master' into scope-effects-to-evaluation	2018-05-06 22:50:04 -04:00
Rob Rix	f9ed9766fb	Link the tests against fastsum.	2018-05-06 17:22:32 -04:00
Rob Rix	5f0d80a6b1	🔥 the Bad* modules.	2018-05-06 17:16:10 -04:00
Rob Rix	71d5eebbab	🔥 Erroring.	2018-05-06 16:44:04 -04:00
Rob Rix	dcb771a29e	🔥 the TypeChecking module.	2018-05-06 16:41:36 -04:00
Rob Rix	63269866fc	Merge pull request #1811 from github/add-fastsum ... Add the fastsum package as a dependency.	2018-05-06 15:23:37 -04:00
Rob Rix	30b8002394	🔥 Origin altogether.	2018-05-06 13:25:28 -04:00
Rob Rix	93895186cf	Imagine there’s no MonadAnalysis. ... It’s easy if you try.	2018-05-04 18:37:37 -04:00
Patrick Thomson	b6f8853d5b	Add the fastsum package as a dependency.	2018-05-02 15:59:22 -04:00
Rob Rix	50a3fecfe3	Rename our Union type to Sum.	2018-05-02 11:25:44 -04:00
Rob Rix	171d349eee	Define our own Union type.	2018-05-02 10:59:30 -04:00
joshvera	19f0672f34	Separate import graphs into call graph and import graph analyses	2018-05-01 18:10:25 -04:00
joshvera	1f2e234549	Add CallGraph	2018-05-01 17:51:24 -04:00
Rob Rix	013b5cb4b7	Merge branch 'master' into analyses-provide-and-handle-effects	2018-04-30 14:22:09 -04:00
Timothy Clem	da89a11fae	Introduce place to put all these directives	2018-04-26 13:43:49 -07:00
Rob Rix	2066b33aaf	Rename Empty to Lower.	2018-04-25 18:25:02 -04:00
Rob Rix	2267f24ea8	Merge branch 'master' into analyses-provide-and-handle-effects	2018-04-25 16:43:00 -04:00
Rob Rix	6646c8ca27	Rename Quietly to BadSyntax.	2018-04-25 15:44:44 -04:00
Patrick Thomson	35a85e6a06	Merge branch 'master' into resumable-type-errors	2018-04-25 15:19:36 -04:00
Timothy Clem	2da5acf57a	Add ability to exclude directories from globbing	2018-04-25 09:55:05 -07:00
Rob Rix	0b0bd2a1a8	🔥 Control.Effect.Fresh in favour of Control.Monad.Effect.Fresh.	2018-04-25 10:40:58 -04:00
Rob Rix	1cedeac8e1	Move Erroring into its own module.	2018-04-24 18:44:23 -04:00
Patrick Thomson	89c1403f89	WIP	2018-04-24 14:12:28 -04:00
Timothy Clem	156246e477	Finding a need for a File datatype	2018-04-20 11:10:27 -07:00
joshvera	04428df6bd	Return holes from uninitialized address errors	2018-04-19 13:12:51 -04:00
Timothy Clem	42f680fc47	Merge remote-tracking branch 'origin/fix-graph-errors' into typescript-graphs	2018-04-17 14:24:41 -07:00
Timothy Clem	8120b2af73	Merge remote-tracking branch 'origin/master' into typescript-graphs	2018-04-17 14:24:10 -07:00
Timothy Clem	95b7fd5888	Resolve module import paths that walk up directory structure (e.g. ../)	2018-04-17 14:13:01 -07:00
joshvera	3a19dae1f9	Add a Declarations class	2018-04-17 16:25:11 -04:00
Charlie Somerville	560642579f	add Data.Empty typeclass	2018-04-17 16:31:08 +10:00