17987 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	41c28c4de0	Do a better job pulling out lists of ts imports	2018-01-15 19:55:10 -07:00
Timothy Clem	7359d16dd9	WIP typescript import restructuring	2018-01-12 17:22:04 -07:00
Timothy Clem	34640ef7d2	Bring Go import assignment inline	2018-01-12 17:21:50 -07:00
Timothy Clem	05c1d5e0dc	Slightly different ordering for easy of construction	2018-01-12 17:21:11 -07:00
Timothy Clem	9ef05f5135	Remove a level for single items in expressions	2018-01-12 13:08:27 -07:00
Timothy Clem	132eb26486	Give imports a bit more structure	2018-01-12 13:08:07 -07:00
Rob Rix	891d489937	Merge pull request #1465 from github/bump-stack ... Bump resolver to lts-10.0 for ghc 8.2.2	2018-01-11 09:52:38 -05:00
Rick Winfrey	e8e25c248c	Merge branch 'master' into bump-stack	2018-01-10 17:59:23 -08:00
Timothy Clem	a11163ec42	Merge pull request #1476 from github/remove-toc-assignment-flag ... Remove old --toc-assignment flag	2018-01-10 15:35:48 -08:00
Timothy Clem	816eb600f7	Remove old --toc-assignment flag	2018-01-10 15:26:13 -08:00
Rob Rix	3a83ce8c35	Merge branch 'bump-stack' of https://github.com/github/semantic-diff into bump-stack	2018-01-10 13:23:11 -05:00
Rob Rix	97d1d4b96c	Merge branch 'master' into bump-stack	2018-01-10 13:15:27 -05:00
Rob Rix	e2b5087450	Merge pull request #1458 from github/diff-api-updates ... Diff and Parse JSON output API changes	2018-01-10 09:49:24 -05:00
Timothy Clem	cb9e3e9134	Remove AskOptions for now	2018-01-09 15:31:51 -08:00
Rob Rix	1a682b77b6	Merge branch 'master' into diff-api-updates	2018-01-09 15:48:58 -05:00
Rob Rix	1a4271aafb	Merge pull request #1467 from github/document-abstract-interpretation ... Document abstract interpretation	2018-01-09 15:47:56 -05:00
Timothy Clem	02c18b45fd	Remove metadata from response	2018-01-08 09:36:17 -08:00
Rob Rix	09a1827fd7	Merge branch 'master' into diff-api-updates	2017-12-22 11:37:11 -05:00
Rob Rix	d3cf7a217e	Fix the Product unification bug.	2017-12-21 17:10:25 -05:00
Rob Rix	f8096013f9	Rename TVar to Var.	2017-12-21 17:07:15 -05:00
Rob Rix	e011a71835	🔥 :*.	2017-12-21 17:05:51 -05:00
Rob Rix	ed626389a6	Rename TArr to Product.	2017-12-21 17:05:26 -05:00
Rob Rix	0dc48a0672	Rewrite the docs for converge.	2017-12-21 16:44:34 -05:00
Rob Rix	67366633e5	Rename mlfp to converge.	2017-12-21 16:42:48 -05:00
Rob Rix	d2a903f204	Correct a 📝.	2017-12-21 16:37:28 -05:00
Rob Rix	6d026b8ace	Clarify the docs for MonadCaching.	2017-12-21 16:36:09 -05:00
Rob Rix	166f476fb8	🔥 EvalResult.	2017-12-21 16:34:58 -05:00
Rob Rix	b448087096	🔥 the MonadInterpreter synonym.	2017-12-21 16:34:45 -05:00
Rob Rix	5801ede0fe	🔥 DeadCodeResult.	2017-12-21 16:34:06 -05:00
Rob Rix	95f3763a20	🔥 CachingResult.	2017-12-21 16:33:38 -05:00
Rob Rix	9d6c030802	Rename CachingInterpreter to Caching.	2017-12-21 16:00:08 -05:00
Rob Rix	2413c32626	Rename TracingInterpreter to Tracing and 🔥 TraceInterpreter & ReachableStateInterpreter.	2017-12-21 15:59:23 -05:00
Rob Rix	211c78489c	Rename DeadCodeInterpreter to DeadCodeEvaluating.	2017-12-21 15:57:30 -05:00
Rob Rix	2a4a6d54ce	Rename Interpreter to Evaluating.	2017-12-21 15:56:50 -05:00
Rob Rix	945cc9a1d4	Avoid binding the in-cache.	2017-12-21 15:54:20 -05:00
Rob Rix	4132d587bd	Define an asksCache helper.	2017-12-21 15:53:32 -05:00
Rob Rix	050f8cf8dc	Clarify the docs for getsCache.	2017-12-21 15:53:26 -05:00
Rob Rix	021017b0e4	Rename dollar to prevCache.	2017-12-21 15:51:53 -05:00
Rob Rix	738385ab04	Use the singleton set constructor explicitly.	2017-12-21 15:50:43 -05:00
Rob Rix	854999aa8e	Use getsCache to define evCache.	2017-12-21 15:48:29 -05:00
Rob Rix	afdbf79f7f	Define a getsCache function.	2017-12-21 15:47:49 -05:00
Rob Rix	f4e6ae61dd	Use getConfiguration to tidy up evCache & fixCache.	2017-12-21 15:41:16 -05:00
Rob Rix	9b57847bac	Define a getConfiguration helper.	2017-12-21 15:39:45 -05:00
Rob Rix	a1d7c5ede4	Rename collect to gather.	2017-12-21 15:35:37 -05:00
Rob Rix	aae7db2ba4	Inline the definition of foldMapA.	2017-12-21 15:34:20 -05:00
Rob Rix	3201f40987	Factor the scattering function out.	2017-12-21 15:29:51 -05:00
Rob Rix	de2b346e14	🔥 redundant calls to toList.	2017-12-21 15:27:05 -05:00
Rob Rix	10b7ce1ff3	Use foldMapA instead of asum/map.	2017-12-21 15:13:35 -05:00
Rob Rix	a50a63e6c0	Define a generalization of foldMap to Alternative.	2017-12-21 15:11:51 -05:00
Rob Rix	6723936881	Rename the cache binding.	2017-12-21 14:59:29 -05:00