25899 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Josh Vera	887169ce8f	Merge pull request #2175 from github/scopes-and-frames ... Scopes and frames	2018-09-18 13:38:02 -04:00
Patrick Thomson	6e65f9060d	Merge remote-tracking branch 'origin/master' into term-rewriting-mk2	2018-09-18 13:31:58 -04:00
Patrick Thomson	9eb7fe5cd8	reenable all the tests	2018-09-18 13:18:31 -04:00
Josh Vera	8d9c627579	Merge branch 'master' into scopes-and-frames	2018-09-18 13:14:27 -04:00
Timothy Clem	4493dd7c6b	Merge remote-tracking branch 'origin/master' into new-take-on-parse-examples	2018-09-18 10:02:53 -07:00
Timothy Clem	bf10afe940	Merge pull request #2178 from github/tree-sitter-tracking ... Tracking latest tree-sitter	2018-09-18 10:02:40 -07:00
Timothy Clem	30b57cfd67	++tree-sitter	2018-09-18 09:57:34 -07:00
joshvera	bb08efad31	remove import	2018-09-18 12:36:25 -04:00
Patrick Thomson	5c442ff7dd	first successful roundtrip!	2018-09-18 12:36:10 -04:00
joshvera	e6d26ed322	lowerBound	2018-09-18 12:34:13 -04:00
joshvera	906da72e54	Merge remote-tracking branch 'origin/master' into scopes-and-frames	2018-09-18 12:26:18 -04:00
joshvera	1c95f42ff8	Rename and document EdgeLabel	2018-09-18 12:25:58 -04:00
joshvera	8c917e3523	Add lowerBound instance	2018-09-18 12:25:43 -04:00
Timothy Clem	12e1fe3a88	++tree-sitter	2018-09-18 09:07:26 -07:00
Timothy Clem	9b23d4a74d	Merge branch 'master' into tree-sitter-tracking	2018-09-18 08:59:51 -07:00
Patrick Thomson	c2bfde5c95	move Fragment into its own file for clarity's sake	2018-09-18 11:38:10 -04:00
Timothy Clem	fdfb8228b6	Only python to start	2018-09-18 08:36:48 -07:00
Timothy Clem	d83630443b	Rename	2018-09-18 08:36:40 -07:00
Rob Rix	f3d616fbd1	Merge branch 'master' into heap-widening	2018-09-18 11:17:21 -04:00
Rob Rix	c50cc165f6	Use the flow-insensitive caching algorithm.	2018-09-18 10:46:17 -04:00
Rob Rix	49251bbf27	Compute the least fixed-point of the cache and heap.	2018-09-18 10:45:37 -04:00
Rob Rix	dec0f3f845	Remove Heaps from the flow-insensitive cache.	2018-09-18 10:33:34 -04:00
Rob Rix	87c609fa1c	Duplicate the flow-sensitive caching module.	2018-09-18 10:27:47 -04:00
Rob Rix	58c22658d3	Rename the Caching module to note its flow-sensitivity.	2018-09-18 10:26:50 -04:00
Rob Rix	560c93784c	Move the cache into the Caching module.	2018-09-18 10:21:25 -04:00
Rob Rix	86654a2dab	Move Configuration into Data.Abstract.Cache.	2018-09-18 10:12:02 -04:00
Rob Rix	51be2081ae	🔥 Control.Abstract.Configuration.	2018-09-18 10:10:03 -04:00
Rob Rix	3a760445e3	Give Caching its own definition of getConfiguration.	2018-09-18 10:08:48 -04:00
Rob Rix	32d683fb20	Don’t re-export Configuration.	2018-09-18 10:05:03 -04:00
Rob Rix	d15790bce7	🔥 some trailing whitespace.	2018-09-18 10:04:53 -04:00
Rob Rix	c612b0d490	Tracing doesn’t require the live set.	2018-09-18 10:02:32 -04:00
Rob Rix	5043e62a71	Give the tracing analysis its own definition of Configuration.	2018-09-18 09:59:37 -04:00
Timothy Clem	38b692b17c	Merge remote-tracking branch 'origin/master' into new-take-on-parse-examples	2018-09-17 16:47:00 -07:00
Timothy Clem	31ca888da7	Introduce datatype for these language examples	2018-09-17 16:46:45 -07:00
Timothy Clem	15f7e57571	First pass at doing parse-examples in haskell and hspec	2018-09-17 15:49:18 -07:00
Patrick Thomson	1ba38e3e57	Merge remote-tracking branch 'origin/master' into term-rewriting-mk2	2018-09-17 18:31:44 -04:00
Patrick Thomson	1d61d40354	Merge branch 'master' into fix-benchmarks	2018-09-17 16:55:40 -04:00
Patrick Thomson	12ac402656	Merge pull request #2176 from github/bump-synopsis ... Replace the "initial project from stack" synopsis.	2018-09-17 16:33:49 -04:00
Patrick Thomson	eac1876a9a	Bump licenses.	2018-09-17 16:33:26 -04:00
Patrick Thomson	7c35cb524a	Merge branch 'master' into bump-synopsis	2018-09-17 16:18:58 -04:00
Patrick Thomson	8c31747dc3	Merge branch 'master' into fix-benchmarks	2018-09-17 16:16:48 -04:00
Rob Rix	e2bd55950d	Widen the heap.	2018-09-17 15:38:21 -04:00
Timothy Clem	344873f0f7	Go corpus back the other way?	2018-09-17 11:26:47 -07:00
Timothy Clem	edf66f9b98	Go has a new Identifier''	2018-09-17 11:22:18 -07:00
Timothy Clem	b6e257c088	Pick up tree-sitter-go-bump	2018-09-17 11:22:12 -07:00
joshvera	82b6b7c52e	Don't construct new scopes for every local assignment ... Only construct a new scope for a local assignment if its rhs has an associated scope.	2018-09-17 13:29:50 -04:00
joshvera	659c51305f	remove comment	2018-09-17 13:28:50 -04:00
joshvera	7e33afef4f	Remove comments	2018-09-17 13:15:20 -04:00
joshvera	2d071e5090	Remove Data.Abstract.Frame for now	2018-09-17 13:05:24 -04:00
Timothy Clem	64c9d20826	Error span changed	2018-09-17 09:56:39 -07:00