340 Commits

Author	SHA1	Message	Date
Patrick Thomson	7c35cb524a	Merge branch 'master' into bump-synopsis	2018-09-17 16:18:58 -04:00
Patrick Thomson	06b44c4fc9	Replace the "initial project from stack" synopsis. ... I figure that since we're starting to show this to other teams, it behooves our documentation to have a more meaningful description. Happy to change this if y'all can come up with a snappier synopsis.	2018-09-17 11:21:21 -04:00
Timothy Clem	d2524e194d	Merge branch 'master' into assignment-timeout	2018-09-14 14:03:37 -07:00
Timothy Clem	a6ce4f672f	Docs and sort out a common Duration datatype	2018-09-13 14:51:32 -07:00
Timothy Clem	7e1c7a1c84	Timeout effect	2018-09-13 14:20:42 -07:00
Patrick Thomson	7129435dc8	Merge remote-tracking branch 'origin/master' into simplify-reprinter ... also incorporates a number of changes. oops.	2018-09-12 12:14:01 -04:00
Patrick Thomson	0802e0a9f2	Use a deep embedding for Tokenize.	2018-09-11 18:54:37 -04:00
Timothy Clem	2e48678e6b	Rework diff grpc api as well, enable for all supported langauges	2018-09-11 10:32:29 -07:00
Timothy Clem	c806be4cfc	Clean up, expand grpc support to larger language list	2018-09-10 11:43:42 -07:00
Timothy Clem	38e3cba57a	Messy, but working multi-lang grpc parsing	2018-09-10 11:15:52 -07:00
Timothy Clem	a15155c4da	Basics of TermVertex in grpc	2018-09-06 17:27:13 -07:00
Timothy Clem	f0d164f952	Rework control flow graph data types	2018-09-06 15:12:12 -07:00
Timothy Clem	34648a263a	Merge branch 'master' into source-aware-reprinter	2018-08-28 11:34:53 -07:00
Timothy Clem	5da417d01c	Some basic pretty printing for mini Python	2018-08-28 09:14:48 -07:00
Timothy Clem	ea01f30de5	Put this back in order	2018-08-28 09:12:44 -07:00
Timothy Clem	8759225ac7	A mini-python	2018-08-28 09:12:29 -07:00
Timothy Clem	57f32c77bd	MiniRuby in its own module	2018-08-27 15:06:51 -07:00
joshvera	bc6614aa12	Merge remote-tracking branch 'origin/master' into entry-points	2018-08-27 12:05:20 -04:00
Timothy Clem	e9e8edbebe	Dedicated util for rewriting	2018-08-24 10:35:38 -07:00
Timothy Clem	17fbceb17a	Remove need for lens	2018-08-23 15:53:43 -07:00
Timothy Clem	8f6d1ee873	Merge branch 'master' into source-aware-reprinter	2018-08-23 07:47:48 -07:00
Timothy Clem	67f652b4d7	Refactor to have 1 additional data representation in the pipeline	2018-08-22 11:30:03 -07:00
Timothy Clem	a1294e91f1	Docs and some renaming	2018-08-21 16:15:08 -07:00
Charlie Somerville	5f6961e737	move Analysis.Abstract.Configuration to Control.Abstract	2018-08-21 13:42:45 +10:00
Charlie Somerville	ec852844cb	reshuffle module layout so that Environment can depend on Heap	2018-08-21 13:42:45 +10:00
Timothy Clem	cbdb932af8	Ruby translation step for the pipeline	2018-08-20 18:11:30 -07:00
Timothy Clem	58cf9925fa	Not using this	2018-08-20 10:37:24 -07:00
Timothy Clem	3c53862e19	Merge remote-tracking branch 'origin/master' into source-aware-reprinter	2018-08-20 10:17:38 -07:00
Timothy Clem	1dc89961b2	Remove Rule	2018-08-20 09:52:03 -07:00
Timothy Clem	b49adc41fe	Move splice to data, allow config for translation	2018-08-17 09:10:14 -07:00
Timothy Clem	f674e2dad1	WIP - translation with Eff interface	2018-08-16 16:51:07 -07:00
Rick Winfrey	1665df55aa	Merge branch 'master' into interactive-debugger	2018-08-14 15:04:02 -07:00
Timothy Clem	cd65c8814a	Some common matchers	2018-08-14 14:15:18 -07:00
Timothy Clem	487c78b854	Merge remote-tracking branch 'origin/master' into source-aware-reprinter	2018-08-13 15:56:26 -07:00
Rick Winfrey	bdeae17ff6	🔥 unneeded build-depends	2018-08-13 15:43:07 -07:00
joshvera	75365e9caa	Merge remote-tracking branch 'origin/master' into interactive-debugger	2018-08-13 16:40:27 -04:00
Rob Rix	9c9fa333d6	🔥 Allocatable & Derefable.	2018-08-13 09:46:46 -04:00
Rob Rix	16964350b0	Stub in a module for the Hole address type.	2018-08-13 09:35:37 -04:00
joshvera	2732f17719	Merge remote-tracking branch 'origin/master' into interactive-debugger	2018-08-10 14:20:16 -04:00
Rob Rix	d05f3c6ae3	🔥 Data.Abstract.Address.	2018-08-10 13:46:24 -04:00
Rob Rix	53a9ca30aa	Add modules for the address types.	2018-08-10 13:31:55 -04:00
Josh Vera	44ac28510c	Merge branch 'master' into entry-points	2018-08-08 16:17:08 -04:00
Rick Winfrey	383b6208ee	Rename ErrorContext -> BaseError	2018-08-07 16:50:55 -07:00
Rob Rix	3c976b3c7f	Merge branch 'master' into interactive-debugger	2018-08-07 09:33:53 -04:00
joshvera	967803aae3	Merge remote-tracking branch 'origin/master' into entry-points	2018-08-06 18:57:18 -04:00
Rick Winfrey	823ae6ac51	Merge branch 'master' into error-context	2018-08-06 13:46:42 -07:00
Patrick Thomson	1d6346cb64	set ground for Control.Rule and Control.Rule.Engine	2018-08-06 16:33:50 -04:00
Patrick Thomson	8549440f21	even better names, and a helper script to narrow tests	2018-08-03 13:15:14 -04:00
Patrick Thomson	2ec082d92c	implement the typesetting stage	2018-08-03 12:47:54 -04:00
Patrick Thomson	081d8eb6fa	Reorganize and add microlens, at least for now.	2018-08-03 12:23:47 -04:00