25691 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Timothy Clem	c97d43aaca	Refinement of types is Go	2018-09-17 09:56:31 -07:00
Timothy Clem	883d4586c0	TypeScript fixes for more type identifiers	2018-09-17 09:48:47 -07:00
Timothy Clem	e8298a6e1e	TypeScript Identifier''	2018-09-17 09:30:13 -07:00
Timothy Clem	80dfd75635	Ruby corpus changes	2018-09-17 09:30:03 -07:00
Timothy Clem	31f019cb65	Ruby assignment changes to support then	2018-09-17 09:29:37 -07:00
Timothy Clem	d38b0998a0	++tree-sitter with a few language grammar updates too	2018-09-17 09:29:27 -07:00
joshvera	5c96b3d6d7	Merge remote-tracking branch 'origin/master' into scopes-and-frames	2018-09-17 12:08:27 -04:00
Patrick Thomson	3c33b42031	fix lints, again	2018-09-17 11:33:48 -04:00