github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Code Issues Projects Releases Wiki Activity
17,458 Commits 19 Branches 16 Tags 46 MiB
f42c2ef375
Commit Graph

10643 Commits

Author SHA1 Message Date
Rob Rix
f42c2ef375 🔥 ev. 2017-11-30 19:56:44 -05:00
Rob Rix
a9e5619d6c Break the dead evaluator’s dependency on the evaluator. 2017-11-30 19:56:21 -05:00
Rob Rix
a57a2c0d42 Simplify the Interpreter type synonym. 2017-11-30 19:54:16 -05:00
Rob Rix
16c663bfc9 Break the tracing evaluator’s dependency on the evaluator. 2017-11-30 19:53:55 -05:00
Rob Rix
51b8461be3 Abstract the tracing evaluators over the term type. 2017-11-30 19:49:26 -05:00
Rob Rix
0ac52c4fc3 Break the caching evaluator’s dependency on the evaluator. 2017-11-30 19:46:55 -05:00
Rob Rix
eb042b6032 Abstract the caching evaluator over the term type. 2017-11-30 19:44:43 -05:00
Rob Rix
d66540e574 Rename Abstract.Interpreter.Symbolic to Analysis.Abstract.Symbolic. 2017-11-30 19:42:41 -05:00
Rob Rix
c36c257618 Rename Abstract.Interpreter to Analysis.Abstract.Evaluating. 2017-11-30 19:41:34 -05:00
Rob Rix
333f5249b6 Simplify the LANGUAGE pragmas for Abstract.Interpreter. 2017-11-30 19:39:55 -05:00
Rob Rix
5dfd7fe15c Abstract evaluate over the term type. 2017-11-30 19:38:53 -05:00
Rob Rix
0e309d54b4 Re-use ev in the Caching analysis. 2017-11-30 19:36:53 -05:00
Rob Rix
9f7c07a2c8 Re-use ev in the Dead analysis. 2017-11-30 19:36:05 -05:00
Rob Rix
d9da859024 Generalize ev over the term type. 2017-11-30 19:35:43 -05:00
Rob Rix
2525992123 Move evCollect & evRoots into their own module. 2017-11-30 19:35:35 -05:00
Rob Rix
8f392661dd Rename Abstract.Interpreter.Caching to Analysis.Abstract.Caching. 2017-11-30 19:27:26 -05:00
Rob Rix
41656cd4f1 Move MonadNonDet into its own module. 2017-11-30 19:24:27 -05:00
Rob Rix
2aa8a601bc Move MonadCacheIn and MonadCacheOut into their own module. 2017-11-30 19:22:17 -05:00
Rob Rix
4695e4c544 Extract Cache into its own module. 2017-11-30 19:16:28 -05:00
Rob Rix
ddecfc41e5 Extract MonadAddress into its own module. 2017-11-30 19:12:18 -05:00
Rob Rix
f1e5080c69 Rename Abstract.Interpreter.Tracing to Analysis.Abstract.Tracing. 2017-11-30 18:57:56 -05:00
Rob Rix
c3f8107046 🔥 some redundant LANGUAGE pragmas in Data.Abstract.Eval. 2017-11-30 18:55:24 -05:00
Rob Rix
6811300401 Move MonadTrace into its own module. 2017-11-30 18:53:58 -05:00
Rob Rix
8d6676aebe Rename Analysis.Abstract.Eval to Data.Abstract.Eval. 2017-11-30 18:51:15 -05:00
Rob Rix
4a64ede395 Rename Abstract.Interpreter.Dead to Analysis.Abstract.Dead. 2017-11-30 18:49:19 -05:00
Rob Rix
e47703a782 Generalize the dead code analysis over the term type. 2017-11-30 18:48:04 -05:00
Rob Rix
c30869e076 Extract MonadDead into its own module. 2017-11-30 18:43:43 -05:00
Rob Rix
15d9bdceb9 🔥 Abstract.Primitive. 2017-11-30 18:38:01 -05:00
Rob Rix
ecae28204e Rename Abstract.Store to Control.Monad.Effect.Store. 2017-11-30 18:35:29 -05:00
Rob Rix
60256cfe30 Extract the Store type into Data.Abstract.Store. 2017-11-30 18:32:05 -05:00
Rob Rix
efbe6988cc Rename Abstract.Value to Data.Abstract.Value. 2017-11-30 18:27:35 -05:00
Rob Rix
576f7774ea Rename Abstract.Type to Data.Abstract.Type. 2017-11-30 18:21:02 -05:00
Rob Rix
e614b818a7 Rename Abstract.Address to Data.Abstract.Address. 2017-11-30 18:08:46 -05:00
Rob Rix
105eb793e1 Rename Abstract.FreeVariables to Data.Abstract.FreeVariables. 2017-11-30 18:02:14 -05:00
Rob Rix
627f6fb731 Rename Abstract.Configuration to Data.Abstract.Configuration. 2017-11-30 17:57:58 -05:00
Rob Rix
536ea7e1b1 Rename Abstract.Environment to Data.Abstract.Environment. 2017-11-30 17:55:18 -05:00
Rob Rix
d3aacd96e6 Rename Abstract.Eval to Analysis.Abstract.Eval. 2017-11-30 17:51:38 -05:00
Rob Rix
2df600835f Move MonadGC into its own module. 2017-11-30 17:43:30 -05:00
Rob Rix
e938875a93 Rename Abstract.Monad.Env to Control.Monad.Effect.Env. 2017-11-30 17:38:19 -05:00
Rob Rix
251520f926 Move MonadFresh into its own module. 2017-11-30 17:33:26 -05:00
Rob Rix
cd8a79a2a9 Fresh operates over TName instead of Int. 2017-11-30 17:24:25 -05:00
Rob Rix
5f8aa1e573 Merge branch 'master' into integrate-abstract-interpretation 2017-11-30 17:16:26 -05:00
Rob Rix
d1da673a9f More docs for F- & R-algebras. 
cc @joshvera — I talked a little about open recursion as well.
 2017-11-30 17:04:36 -05:00
Rob Rix
755f12a2b4 Simplify the language extensions in the environment module. 2017-11-30 16:02:52 -05:00
Rob Rix
1564d11ecd 🔥 ambiguous types & type applications in Value. 2017-11-30 15:59:36 -05:00
Rob Rix
4d6f982240 🔥 ambiguous types in Store. 2017-11-30 15:58:58 -05:00
Rob Rix
52997e736e 🔥 ambiguous types & type applications in Eval. 2017-11-30 15:57:03 -05:00
Rob Rix
f996b9ddff 🔥 the location parameter to MonadCacheIn & MonadCacheOut. 2017-11-30 15:55:14 -05:00
Rob Rix
3f1a94efb7 🔥 the location parameter to MonadGC. 2017-11-30 15:53:51 -05:00
Rob Rix
e26cc860fd 🔥 the location parameter to MonadEnv. 2017-11-30 15:48:01 -05:00