Rob Rix
|
aafbeb6b72
|
Don’t export the unevaluated module table & load stack accessors.
|
2018-05-07 12:28:04 -04:00 |
|
Rob Rix
|
39f8d659e1
|
Move require, load, & LoadError into the module table effects module.
|
2018-05-07 12:26:38 -04:00 |
|
Rob Rix
|
b69a9d275d
|
Move resolve & listModulesInDir into the module table effect module.
|
2018-05-07 12:23:51 -04:00 |
|
Rob Rix
|
6557859772
|
Move the unevaluated module table and load stack accessors into the module table effects module.
|
2018-05-07 12:21:35 -04:00 |
|
Rob Rix
|
eabb3b79a1
|
Move the evaluated module table accessors into their own module.
|
2018-05-07 12:20:23 -04:00 |
|
Rob Rix
|
f2288e3d69
|
Move the Environment accessors into their own module.
|
2018-05-07 12:17:32 -04:00 |
|
Rob Rix
|
3c73571b0c
|
Move currentModule/currentPackage into their own module.
|
2018-05-07 12:14:14 -04:00 |
|
Rob Rix
|
de5a46dc6c
|
Move JumpTable, Label, label, and goto into their own module.
|
2018-05-07 12:12:11 -04:00 |
|
Rob Rix
|
0d1b025823
|
Move the Exports accessors into their own module.
|
2018-05-07 12:04:12 -04:00 |
|
Rob Rix
|
5f2c0d1345
|
Move isolate into Evaluatable.
|
2018-05-07 12:00:49 -04:00 |
|
Rob Rix
|
5d91cfd843
|
Move the roots functionality into its own module.
|
2018-05-07 11:58:30 -04:00 |
|
Rob Rix
|
c2a8c0c5fa
|
Use the combined export module.
|
2018-05-07 11:54:13 -04:00 |
|
Rob Rix
|
531f941692
|
Provide a module re-exporting all the various abstract interpretation machinery.
|
2018-05-07 11:51:56 -04:00 |
|
Rob Rix
|
57ddf31ec5
|
Move the Heap accessors into their own module.
|
2018-05-07 11:49:59 -04:00 |
|
Rob Rix
|
920ddd893f
|
Move the configuration accessor into its own module.
|
2018-05-07 11:49:47 -04:00 |
|
Rob Rix
|
3b497bd278
|
🔥 an unnecessary language extension.
|
2018-05-07 10:24:35 -04:00 |
|
Rob Rix
|
1740d6a558
|
🔥 redundant quantification.
|
2018-05-07 10:24:04 -04:00 |
|
Rob Rix
|
2a1c7f17b3
|
🔥 microlens.
|
2018-05-07 08:46:40 -04:00 |
|
Rob Rix
|
d92a5d22a3
|
📝 the graphing handlers.
|
2018-05-07 08:35:49 -04:00 |
|
Rob Rix
|
be8dcef560
|
Accidental double-comment.
|
2018-05-07 08:31:58 -04:00 |
|
Rob Rix
|
8287439e58
|
🔥 redundant parens.
|
2018-05-07 08:25:04 -04:00 |
|
Rob Rix
|
a0f37ad143
|
Move runGraphAnalysis into graph.
|
2018-05-06 23:25:19 -04:00 |
|
Rob Rix
|
9417b08777
|
🔥 loadWith/requireWith.
|
2018-05-06 23:21:00 -04:00 |
|
Rob Rix
|
0fddccf3c1
|
🔥 redundant parens.
|
2018-05-06 23:05:42 -04:00 |
|
Rob Rix
|
728743d3d5
|
Move extractGraph into graph.
|
2018-05-06 22:56:39 -04:00 |
|
Rob Rix
|
89a5ed0506
|
Factor out the analyze call.
|
2018-05-06 22:53:11 -04:00 |
|
Rob Rix
|
3164a5ff28
|
Refactor the bind.
|
2018-05-06 22:51:11 -04:00 |
|
Rob Rix
|
4f69f5e3de
|
Merge branch 'master' into scope-effects-to-evaluation
|
2018-05-06 22:50:04 -04:00 |
|
Rob Rix
|
de5d427b01
|
Placate hlint.
|
2018-05-06 19:49:29 -04:00 |
|
Rob Rix
|
709c672bbb
|
🔥 a redundant constraint.
|
2018-05-06 17:50:58 -04:00 |
|
Rob Rix
|
37cd6edf23
|
ModuleInfo can’t be unpacked.
|
2018-05-06 17:49:11 -04:00 |
|
Rob Rix
|
ca5ca629dc
|
Run the analysis.
|
2018-05-06 17:38:04 -04:00 |
|
Rob Rix
|
2fa602c98f
|
Fix stale references to interpret.
|
2018-05-06 17:37:44 -04:00 |
|
Rob Rix
|
a23bc350da
|
Constrain the specs to Value Precise.
|
2018-05-06 17:36:33 -04:00 |
|
Rob Rix
|
e638fb4715
|
Update the specs to use a testEvaluating analysis.
|
2018-05-06 17:30:07 -04:00 |
|
Rob Rix
|
4fa0486afa
|
Resume LoadErrors.
|
2018-05-06 17:28:58 -04:00 |
|
Rob Rix
|
cba1d42e95
|
Define a parameterized handler for LoadError.
|
2018-05-06 17:28:05 -04:00 |
|
Rob Rix
|
b6709b4da2
|
Use the correct injection/projection functions in the tests.
|
2018-05-06 17:23:39 -04:00 |
|
Rob Rix
|
f9ed9766fb
|
Link the tests against fastsum.
|
2018-05-06 17:22:32 -04:00 |
|
Rob Rix
|
5f0d80a6b1
|
🔥 the Bad* modules.
|
2018-05-06 17:16:10 -04:00 |
|
Rob Rix
|
1af56342bf
|
Move resumingBadValues into Semantic.Graph.
|
2018-05-06 17:15:01 -04:00 |
|
Rob Rix
|
9e4e98b2a9
|
Define a parameterized handler for ValueError.
|
2018-05-06 17:12:12 -04:00 |
|
Rob Rix
|
376c87d640
|
Move resumingBadAddresses into Semantic.Graph.
|
2018-05-06 17:10:22 -04:00 |
|
Rob Rix
|
e9bec37d6d
|
Define a parameterized handler for AddressError.
|
2018-05-06 17:08:49 -04:00 |
|
Rob Rix
|
f953f2e2a1
|
Move resumingBadSyntax into Semantic.Graph.
|
2018-05-06 17:06:55 -04:00 |
|
Rob Rix
|
55997e5c60
|
Define a parameterized handler for Unspecialized errors.
|
2018-05-06 17:05:34 -04:00 |
|
Rob Rix
|
3a79bc0dc3
|
Move resumingBadVariables into Semantic.Graph.
|
2018-05-06 17:03:26 -04:00 |
|
Rob Rix
|
bf42793078
|
Rename resumingResolutionErrors in the singular.
|
2018-05-06 17:02:41 -04:00 |
|
Rob Rix
|
df0f798299
|
Define a runEvalErrorWith handler.
|
2018-05-06 17:01:11 -04:00 |
|
Rob Rix
|
c26748e746
|
Define runResolutionErrorWith in terms of runResumableWith.
|
2018-05-06 16:58:20 -04:00 |
|