25175 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rick Winfrey	ddff2144ac	Update Semantic.Config to use envLookupNum	2018-08-21 14:46:15 -07:00
Rick Winfrey	5ea5798aac	Relax envLookupInt -> envLookupNum	2018-08-21 14:44:40 -07:00
Charlie Somerville	7abe418829	Merge pull request #2141 from github/charliesome/analysis-configuration-module ... Reshuffle module layout so that Environment can depend on Heap	2018-08-21 13:59:14 +10:00
Charlie Somerville	b8f33b7890	remove unused import	2018-08-21 13:49:48 +10: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
Josh Vera	46eace3c50	Merge pull request #2138 from github/auto-proto-gen ... Generate protodefs for syntaxes	2018-08-17 12:02:14 -04:00
Josh Vera	03d22bf671	Merge branch 'master' into auto-proto-gen	2018-08-17 11:51:28 -04:00
Josh Vera	4f99f86ba8	Merge pull request #2139 from github/there-can-only-be-one-concrete-evaluator-newtype ... Combine the concrete evaluator newtypes	2018-08-17 11:40:36 -04:00
Rob Rix	3f7a77c639	Merge branch 'master' into there-can-only-be-one-concrete-evaluator-newtype	2018-08-16 11:24:25 -04:00
Josh Vera	951692c3e0	Merge branch 'master' into auto-proto-gen	2018-08-16 11:23:04 -04:00
Josh Vera	7cf34d29c1	Merge pull request #2110 from github/interactive-debugger ... Interactive debugger	2018-08-16 11:21:54 -04:00
joshvera	7ebdfa2c1a	Merge remote-tracking branch 'origin/master' into interactive-debugger	2018-08-16 11:07:36 -04:00
Rob Rix	ff1185f937	Merge remote-tracking branch 'origin/bump-licensed-1.3.2' into interactive-debugger	2018-08-16 10:08:45 -04:00
Timothy Clem	bd29d222e1	Merge branch 'master' into auto-proto-gen	2018-08-15 12:47:29 -07:00
Rob Rix	886a140881	Merge branch 'interactive-debugger' into there-can-only-be-one-concrete-evaluator-newtype	2018-08-15 13:53:01 -04:00
Rob Rix	ac94df12c2	Merge branch 'master' into interactive-debugger	2018-08-15 13:52:43 -04:00
Timothy Clem	9de677ecc5	Merge pull request #2137 from github/change-port ... Change default port from 8080 to 8001	2018-08-15 10:40:03 -07:00
Rob Rix	90b29a39ab	Add a missing import.	2018-08-15 12:08:15 -04:00
Rob Rix	358b8cc564	Replace UtilEff with ConcreteEff.	2018-08-15 11:55:45 -04:00
Rob Rix	ff31962bd7	Infer the presence of the graph effect.	2018-08-15 11:54:52 -04:00
Rob Rix	ed3189d828	Reformat a couple of signatures.	2018-08-15 11:54:14 -04:00
Rob Rix	c4e94f0d80	🔥 some redundant quantifiers.	2018-08-15 11:53:43 -04:00
Rob Rix	9af75f3f85	Infer the remaining effects.	2018-08-15 11:53:15 -04:00
Rob Rix	30627fa518	Move the graph state outside the heap state.	2018-08-15 11:52:48 -04:00
Rob Rix	4d08e47cf0	Move the Reader effects to the head of UtilEff.	2018-08-15 11:49:21 -04:00
Rob Rix	bb021d404a	Use the ModuleEffects synonym in UtilEff.	2018-08-15 11:47:43 -04:00
Rob Rix	6e71a76402	Use the ValueEffects synonym in UtilEff.	2018-08-15 11:47:15 -04:00
Rob Rix	e340bfefe1	Factor a list of effects out of ConcreteEff.	2018-08-15 11:46:22 -04:00
Rob Rix	7f423daec4	Rename ImportGraphEff to ConcreteEff.	2018-08-15 11:40:30 -04:00
Rob Rix	93d79dfd30	Use ModuleEffects in ImportGraphEff.	2018-08-15 11:33:30 -04:00
Rob Rix	c04fc7d048	Use ValueEffects in ImportGraphEff.	2018-08-15 11:32:57 -04:00
Rob Rix	263b068984	Define a synonym for the value effects.	2018-08-15 11:32:05 -04:00
Rob Rix	d74812dbd2	Define a synonym for the module-level effects.	2018-08-15 11:31:08 -04:00
Rob Rix	224a4e206f	Merge branch 'master' into fix-abstract-semantics	2018-08-15 09:48:08 -04:00
Rob Rix	4d29fc87f3	Merge branch 'master' into change-port	2018-08-15 09:33:23 -04:00
Rob Rix	8bc3951021	Merge pull request #2136 from github/one-for-the-money,-two-for-the-show ... (Further) customized Show instances for Bindings/Heap	2018-08-15 09:33:06 -04:00
Timothy Clem	6d4c4bc09c	Regen protos, slight ordering differences	2018-08-14 18:16:09 -07:00
Rick Winfrey	1665df55aa	Merge branch 'master' into interactive-debugger	2018-08-14 15:04:02 -07:00
Rob Rix	b57bacb302	Flatten out the sets in the Heap Show instance.	2018-08-14 14:42:26 -04:00
Rob Rix	788afa5a96	Define a specialized Show instance for Bindings.	2018-08-14 14:41:33 -04:00
Rick Winfrey	3aeead2bfe	Merge pull request #2135 from github/clean-per-weeder ... Clean up `weeder` warnings	2018-08-14 10:42:23 -07:00
Rick Winfrey	76a91c825d	Merge branch 'master' into clean-per-weeder	2018-08-14 10:26:44 -07:00
Ayman Nadeem	17c1ccffbc	Merge pull request #2128 from github/update-program-analysis-docs ... update program analysis docs	2018-08-14 11:57:06 -04:00
Rick Winfrey	f9bc7d7a1f	Merge branch 'master' into clean-per-weeder	2018-08-13 16:22:33 -07:00
Ayman Nadeem	4674a1b98d	Merge branch 'master' into update-program-analysis-docs	2018-08-13 18:58:31 -04:00
Rick Winfrey	54bc2a9521	🔥 unused exports	2018-08-13 15:43:23 -07:00
Rick Winfrey	bdeae17ff6	🔥 unneeded build-depends	2018-08-13 15:43:07 -07:00
Rick Winfrey	00693a54ee	Update bench to work again	2018-08-13 15:42:42 -07:00
joshvera	75365e9caa	Merge remote-tracking branch 'origin/master' into interactive-debugger	2018-08-13 16:40:27 -04:00