Rob Rix
|
c427be3670
|
Stub in a spec for Evaluator.
|
2018-05-07 14:21:05 -04:00 |
|
Rob Rix
|
29c755a8dc
|
Sort the test modules.
|
2018-05-07 14:20:56 -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
|
5d91cfd843
|
Move the roots functionality into its own module.
|
2018-05-07 11:58:30 -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
|
2a1c7f17b3
|
🔥 microlens.
|
2018-05-07 08:46:40 -04:00 |
|
Rob Rix
|
4f69f5e3de
|
Merge branch 'master' into scope-effects-to-evaluation
|
2018-05-06 22:50:04 -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
|
71d5eebbab
|
🔥 Erroring.
|
2018-05-06 16:44:04 -04:00 |
|
Rob Rix
|
dcb771a29e
|
🔥 the TypeChecking module.
|
2018-05-06 16:41:36 -04:00 |
|
Rob Rix
|
63269866fc
|
Merge pull request #1811 from github/add-fastsum
Add the fastsum package as a dependency.
|
2018-05-06 15:23:37 -04:00 |
|
Rob Rix
|
30b8002394
|
🔥 Origin altogether.
|
2018-05-06 13:25:28 -04:00 |
|
Rob Rix
|
93895186cf
|
Imagine there’s no MonadAnalysis.
It’s easy if you try.
|
2018-05-04 18:37:37 -04:00 |
|
Patrick Thomson
|
b6f8853d5b
|
Add the fastsum package as a dependency.
|
2018-05-02 15:59:22 -04:00 |
|
Rob Rix
|
50a3fecfe3
|
Rename our Union type to Sum.
|
2018-05-02 11:25:44 -04:00 |
|
Rob Rix
|
171d349eee
|
Define our own Union type.
|
2018-05-02 10:59:30 -04:00 |
|
joshvera
|
19f0672f34
|
Separate import graphs into call graph and import graph analyses
|
2018-05-01 18:10:25 -04:00 |
|
joshvera
|
1f2e234549
|
Add CallGraph
|
2018-05-01 17:51:24 -04:00 |
|
Rob Rix
|
013b5cb4b7
|
Merge branch 'master' into analyses-provide-and-handle-effects
|
2018-04-30 14:22:09 -04:00 |
|
Timothy Clem
|
da89a11fae
|
Introduce place to put all these directives
|
2018-04-26 13:43:49 -07:00 |
|
Rob Rix
|
2066b33aaf
|
Rename Empty to Lower.
|
2018-04-25 18:25:02 -04:00 |
|
Rob Rix
|
2267f24ea8
|
Merge branch 'master' into analyses-provide-and-handle-effects
|
2018-04-25 16:43:00 -04:00 |
|
Rob Rix
|
6646c8ca27
|
Rename Quietly to BadSyntax.
|
2018-04-25 15:44:44 -04:00 |
|
Patrick Thomson
|
35a85e6a06
|
Merge branch 'master' into resumable-type-errors
|
2018-04-25 15:19:36 -04:00 |
|
Timothy Clem
|
2da5acf57a
|
Add ability to exclude directories from globbing
|
2018-04-25 09:55:05 -07:00 |
|
Rob Rix
|
0b0bd2a1a8
|
🔥 Control.Effect.Fresh in favour of Control.Monad.Effect.Fresh.
|
2018-04-25 10:40:58 -04:00 |
|
Rob Rix
|
1cedeac8e1
|
Move Erroring into its own module.
|
2018-04-24 18:44:23 -04:00 |
|
Patrick Thomson
|
89c1403f89
|
WIP
|
2018-04-24 14:12:28 -04:00 |
|
Timothy Clem
|
156246e477
|
Finding a need for a File datatype
|
2018-04-20 11:10:27 -07:00 |
|
joshvera
|
04428df6bd
|
Return holes from uninitialized address errors
|
2018-04-19 13:12:51 -04:00 |
|
Timothy Clem
|
42f680fc47
|
Merge remote-tracking branch 'origin/fix-graph-errors' into typescript-graphs
|
2018-04-17 14:24:41 -07:00 |
|
Timothy Clem
|
8120b2af73
|
Merge remote-tracking branch 'origin/master' into typescript-graphs
|
2018-04-17 14:24:10 -07:00 |
|
Timothy Clem
|
95b7fd5888
|
Resolve module import paths that walk up directory structure (e.g. ../)
|
2018-04-17 14:13:01 -07:00 |
|
joshvera
|
3a19dae1f9
|
Add a Declarations class
|
2018-04-17 16:25:11 -04:00 |
|
Charlie Somerville
|
560642579f
|
add Data.Empty typeclass
|
2018-04-17 16:31:08 +10:00 |
|
Timothy Clem
|
bf5af4ec21
|
Move to Graph.hs
|
2018-04-09 10:57:12 -07:00 |
|
joshvera
|
1f441ec518
|
Merge remote-tracking branch 'origin/master' into repo-import-graph
|
2018-04-05 19:50:59 -04:00 |
|
Rob Rix
|
98084c5e81
|
Merge branch 'master' into task-in-eff
|
2018-04-05 09:18:32 -04:00 |
|
Rob Rix
|
9dc1d6e5f8
|
🔥 Semantic.
|
2018-04-04 15:43:46 -04:00 |
|
Patrick Thomson
|
faf246ff1e
|
Merge remote-tracking branch 'origin/master' into fix-scientific-parsing
|
2018-04-04 15:40:51 -04:00 |
|
Rob Rix
|
8ae61645f8
|
Rename Semantic.Command.{Diff,Parse} to Semantic.{Diff,Parse}.
|
2018-04-04 15:17:01 -04:00 |
|
Rob Rix
|
113bbd1ed9
|
Merge branch 'master' into task-in-eff
|
2018-04-04 15:05:28 -04:00 |
|
Rob Rix
|
a5dd989db2
|
Stub in separate parse/diff command modules.
|
2018-04-04 13:14:25 -04:00 |
|