Rob Rix
|
15e5731d93
|
Generalize concrete over the term types.
|
2019-07-29 12:55:13 -04:00 |
|
Rob Rix
|
da0d780f81
|
Generalize runFile over the term type.
|
2019-07-29 12:54:01 -04:00 |
|
Rob Rix
|
d8175305da
|
Generalize addressStyle over the term type.
|
2019-07-29 12:38:10 -04:00 |
|
Rob Rix
|
bd8f0ca4c1
|
Generalize heapAddressGraph over the term type.
|
2019-07-29 12:37:54 -04:00 |
|
Rob Rix
|
a549039dd3
|
Generalize heapValueGraph over the term type.
|
2019-07-29 12:37:39 -04:00 |
|
Rob Rix
|
021350b6da
|
Generalize heapGraph over the term type.
|
2019-07-29 12:37:25 -04:00 |
|
Rob Rix
|
ea174b2144
|
Generalize runHeap over the term type.
|
2019-07-29 12:36:58 -04:00 |
|
Rob Rix
|
c3cf286d9d
|
Generalize EdgeType over the term type.
|
2019-07-29 12:36:44 -04:00 |
|
Rob Rix
|
1192971d38
|
Generalize concreteAnalysis over the term type.
|
2019-07-29 12:36:14 -04:00 |
|
Rob Rix
|
2dde20051e
|
Generalize lookupConcrete over the term type.
|
2019-07-29 12:35:59 -04:00 |
|
Rob Rix
|
2559f589a8
|
Generalize Heap over the term type.
|
2019-07-29 12:35:02 -04:00 |
|
Rob Rix
|
fde2a448d3
|
Abstract Concrete over the term type.
|
2019-07-29 12:34:04 -04:00 |
|
Rob Rix
|
4553d59faf
|
Generalize importGraph over the term type.
|
2019-07-29 12:31:52 -04:00 |
|
Rob Rix
|
b92611458e
|
Change the kind of the term field to *.
|
2019-07-29 12:30:38 -04:00 |
|
Rob Rix
|
8b8a33071e
|
Generalize runFile over the term type.
|
2019-07-29 12:28:18 -04:00 |
|
Rob Rix
|
e2875572b9
|
Generalize typecheckingFlowInsensitive over the term type.
|
2019-07-29 12:25:03 -04:00 |
|
Rob Rix
|
813cde359e
|
Reformat the signature for runFile to accommodate the evaluator.
|
2019-07-29 12:23:52 -04:00 |
|
Rob Rix
|
97ae6e9b21
|
Use a type synonym for types.
|
2019-07-29 12:23:07 -04:00 |
|
Rob Rix
|
6652520175
|
Reformat the signature for runFile.
|
2019-07-29 12:21:50 -04:00 |
|
Rob Rix
|
5c67ea0322
|
Reformat the signature for typecheckingFlowInsensitive.
|
2019-07-29 12:20:55 -04:00 |
|
Rob Rix
|
2666f6cbc8
|
Generalize runFile over the term type.
|
2019-07-29 12:20:25 -04:00 |
|
Rob Rix
|
99d9a8d94d
|
Parameterize runFile by the evaluator.
|
2019-07-29 12:19:10 -04:00 |
|
Rob Rix
|
7e7f33c6d1
|
Generalize importGraphAnalysis over the term type.
|
2019-07-29 12:15:22 -04:00 |
|
Rob Rix
|
e022b47eef
|
Reformat the signature for importGraph.
|
2019-07-29 12:14:31 -04:00 |
|
Rob Rix
|
3387eacf98
|
Abstract Value over the term type.
|
2019-07-29 12:14:07 -04:00 |
|
Rob Rix
|
54430ac56d
|
Abstract Semi over the term type.
|
2019-07-29 12:13:15 -04:00 |
|
Rob Rix
|
65e218417f
|
Import graphs don’t need to collect the set of addresses in scope when abstracting.
|
2019-07-29 12:11:54 -04:00 |
|
Rob Rix
|
9acaaaedc0
|
🔥 the parentAddr in ImportGraph.
|
2019-07-29 12:10:48 -04:00 |
|
Rob Rix
|
465319b8d4
|
Simplify deref for Typecheck & ImportGraph.
|
2019-07-29 12:08:16 -04:00 |
|
Rob Rix
|
104bdacaae
|
Generalize Analysis over the term type.
|
2019-07-29 12:03:12 -04:00 |
|
Rob Rix
|
c82623db36
|
Generalize cacheTerm over the term type.
|
2019-07-29 11:59:30 -04:00 |
|
Rob Rix
|
fdc20a4256
|
Generalize convergeTerm over the term type.
|
2019-07-29 11:58:44 -04:00 |
|
Rob Rix
|
05fa90ef84
|
Generalize the Cache type over the term type.
|
2019-07-29 11:58:02 -04:00 |
|
Rob Rix
|
7b6b6a4259
|
Generalize convergeTerm over the address type.
|
2019-07-29 11:54:57 -04:00 |
|
Rob Rix
|
56984fa7a6
|
Define Cache as a newtype.
|
2019-07-29 11:52:48 -04:00 |
|
Rob Rix
|
fcf654032c
|
Rename the name parameter to address.
|
2019-07-29 11:49:16 -04:00 |
|
Rob Rix
|
3119c222cb
|
Derive the Eq, Ord, & Show instances for Ann.
|
2019-07-29 11:29:47 -04:00 |
|
Rob Rix
|
5ec40693c3
|
Generalize the various example programs to arbitrary carriers for Core.
|
2019-07-29 11:28:30 -04:00 |
|
Rob Rix
|
604f1d97b7
|
Generalize the generators to arbitrary carriers for Core.
|
2019-07-29 11:24:31 -04:00 |
|
Rob Rix
|
4fdef93d72
|
Generalize the parser to arbitrary carriers for Core.
|
2019-07-29 11:24:22 -04:00 |
|
Rob Rix
|
e2db378be6
|
Fix the tests.
|
2019-07-29 11:18:19 -04:00 |
|
Rob Rix
|
e9b21f6ebf
|
Generate terms capable of annotation in the parser.
|
2019-07-29 11:18:15 -04:00 |
|
Rob Rix
|
01f1176348
|
Split out an Ann datatype representing locations.
|
2019-07-29 11:12:06 -04:00 |
|
Rob Rix
|
b10912b1b4
|
Merge branch 'master' into break-hearts-not-builds
|
2019-07-29 10:55:27 -04:00 |
|
Rob Rix
|
8f15669a99
|
Merge pull request #184 from github/scope-safety
Scope safety
|
2019-07-29 10:54:48 -04:00 |
|
Rob Rix
|
99a4f8ed5a
|
Write an empty scope graph into the heap during abstraction.
|
2019-07-26 15:45:52 -04:00 |
|
Rob Rix
|
16b1442b4b
|
Simplify deref slightly.
|
2019-07-26 15:35:43 -04:00 |
|
Rob Rix
|
0c106865f7
|
Record where names were bound.
|
2019-07-26 15:19:39 -04:00 |
|
Rob Rix
|
09f2362cd2
|
Abstract closures to their graphs.
|
2019-07-26 15:13:43 -04:00 |
|
Rob Rix
|
1c832f5f71
|
Merge branch 'master' into scope-safety
|
2019-07-26 10:19:13 -05:00 |
|