31460 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	664c7301db	Stub in a Domain datatype modelling the basic kinds of values.	2019-11-04 14:22:48 -05:00
Rob Rix	1098d95cd8	Stub in a module for modelling the concrete domain.	2019-11-04 14:20:56 -05:00
Rob Rix	a55972ef88	Remove the heap fields from Analysis.	2019-11-04 14:04:03 -05:00
Rob Rix	a667c656a1	Reformat the signature for concreteAnalysis.	2019-11-04 14:03:31 -05:00
Rob Rix	07568e55a5	Use the Heap effect to define eval.	2019-11-04 14:00:05 -05:00
Rob Rix	9303d7e7ca	Use the Heap effect to define the scope graph analysis.	2019-11-04 13:57:16 -05:00
Rob Rix	3e987cc7e2	Sort constraints.	2019-11-04 13:56:06 -05:00
Rob Rix	42b7e77e84	Use the Heap effect to define the import graph analysis.	2019-11-04 13:54:48 -05:00
Rob Rix	641b989983	Revert "Export runNonDetM." ... This reverts commit 309b5fd1bb.	2019-11-04 13:52:42 -05:00
Rob Rix	d5b180b465	Revert "Run flow-insensitive analyses in an Alternative context." ... This reverts commit 6199c15436.	2019-11-04 13:52:28 -05:00
Rob Rix	ca50eb2fdb	Run the Heap effect inside convergeTerm.	2019-11-04 13:51:46 -05:00
Rob Rix	29d6654f1a	Use the Heap effect in Typecheck.	2019-11-04 13:50:04 -05:00
Rob Rix	6199c15436	Run flow-insensitive analyses in an Alternative context.	2019-11-04 13:47:59 -05:00
Rob Rix	309b5fd1bb	Export runNonDetM.	2019-11-04 13:46:57 -05:00
Rob Rix	ec53cd91d6	🔥 some redundant qualifiers.	2019-11-04 13:38:12 -05:00
Rob Rix	8127690358	Only import the effect.	2019-11-04 13:36:03 -05:00
Rob Rix	9327861790	Use the precise heap carrier to implement the Concrete analysis.	2019-11-04 13:35:52 -05:00
Rob Rix	327208eb15	Surface the precise heap through a State effect.	2019-11-04 13:35:07 -05:00
Rob Rix	8f50312be3	Define a Carrier instance for HeapC.	2019-11-04 13:15:49 -05:00
Rob Rix	a17a6825d3	Define a monovariant Heap carrier.	2019-11-04 12:52:03 -05:00
Rob Rix	1b8dafcf33	Re-export the heap effect.	2019-11-04 12:48:55 -05:00
Rob Rix	aaa4f6585f	Stub in a module for a monovariant heap carrier.	2019-11-04 12:48:11 -05:00
Rob Rix	08e1061b90	Define a Carrier instance for Heap.	2019-11-04 12:47:20 -05:00
Rob Rix	c3327fa1e5	HeapC wraps a state effect.	2019-11-04 12:34:38 -05:00
Rob Rix	5b8364cd51	Stub in a Heap carrier.	2019-11-04 12:32:01 -05:00
Rob Rix	b2a329c684	Re-export the Heap effect.	2019-11-04 12:29:54 -05:00
Rob Rix	05de03e2e6	Stub in a module for a precise heap carrier.	2019-11-04 12:29:21 -05:00
Rob Rix	e99299811d	Re-export Carrier & run from the effect modules.	2019-11-04 12:28:33 -05:00
Rob Rix	250237024e	Section headings.	2019-11-04 12:27:24 -05:00
Rob Rix	ab5b566bcb	Define a smart constructor for Assign.	2019-11-04 12:16:28 -05:00
Rob Rix	b1c2f261e9	Define a smart constructor for Deref.	2019-11-04 12:16:00 -05:00
Rob Rix	d23f34b8c4	Move the Heap effect to its own module.	2019-11-04 12:14:38 -05:00
Rob Rix	6359d96a7c	Stub in a module for the Heap effect.	2019-11-04 12:13:44 -05:00
Rob Rix	961bf622ca	🔥 the Analysis env fields.	2019-11-04 12:12:59 -05:00
Rob Rix	17da79fe24	Reformat the importGraphAnalysis signature.	2019-11-04 12:10:54 -05:00
Rob Rix	d70a169e93	Reorder the contexts for ease of type application.	2019-11-04 12:09:01 -05:00
Rob Rix	6e1383d2de	Evaluate Core using the Env effect.	2019-11-01 15:25:49 -04:00
Rob Rix	eb591f94df	Use the Env effect to define the scope graph analysis.	2019-11-01 15:23:21 -04:00
Rob Rix	0f7be2084d	Use the Env effect to define the import graph analysis.	2019-11-01 15:23:13 -04:00
Rob Rix	9e472c5956	Use the Env effect to define the Analysis.	2019-11-01 15:20:58 -04:00
Rob Rix	5fef3262e5	Move the monovariant Env carrier into its own module.	2019-11-01 15:19:01 -04:00
Rob Rix	778f84bb12	Define a module for the monovariant Env carrier.	2019-11-01 15:13:15 -04:00
Rob Rix	e58db3da31	Use the env effect in the concrete analysis.	2019-11-01 15:12:36 -04:00
Rob Rix	06ea57e167	Move the precise env carrier to its own module.	2019-11-01 15:04:22 -04:00
Rob Rix	d8955fdb20	Stub in a module for the precise Env carrier.	2019-11-01 15:00:03 -04:00
Rob Rix	6305e661c4	Run the env effect.	2019-11-01 14:59:04 -04:00
Rob Rix	7809bd2e8d	Move Env into its own module.	2019-11-01 14:58:33 -04:00
Rob Rix	131c804184	Stub in a module for the Env effect.	2019-11-01 14:56:43 -04:00
Rob Rix	ec94b7de1a	Define a carrier for monovariant Env.	2019-11-01 14:55:48 -04:00
Rob Rix	f0739bb151	Run the env carrier.	2019-11-01 14:52:21 -04:00