1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 08:54:07 +03:00
Commit Graph

801 Commits

Author SHA1 Message Date
Rob Rix
4a64ede395 Rename Abstract.Interpreter.Dead to Analysis.Abstract.Dead. 2017-11-30 18:49:19 -05:00
Rob Rix
c30869e076 Extract MonadDead into its own module. 2017-11-30 18:43:43 -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
5f8aa1e573 Merge branch 'master' into integrate-abstract-interpretation 2017-11-30 17:16:26 -05:00
Rob Rix
9f5a5e0469 Move MonadEnv into its own module. 2017-11-30 15:44:58 -05:00
Rob Rix
671ddbee55 Fix the module name. 2017-11-30 14:42:38 -05:00
Rob Rix
636109e5ef Move Address into its own module. 2017-11-30 12:06:30 -05:00
Rob Rix
10f7ed7978 Merge branch 'master' into integrate-abstract-interpretation 2017-11-30 11:30:55 -05:00
Rob Rix
cbd02eab7b Merge branch 'master' into musical-modules 2017-11-30 09:53:19 -05:00
Rob Rix
a34a8ec3a3 Split Primitive up into component types. 2017-11-29 12:28:08 -05:00
Timothy Clem
026cc46dbc Merge branch 'master' of https://github.com/github/semantic-diff into integrate-abstract-interpretation 2017-11-28 15:49:46 -08:00
Rob Rix
0252667c34 🔥 Abstract.Set. 2017-11-28 16:08:48 -05:00
Rick Winfrey
f93a0389ce Merge branch 'master' into go-assignment 2017-11-28 09:21:10 -08:00
Rob Rix
41020b7eae Extract the Declaration algebras into a new module. 2017-11-28 09:17:41 -05:00
Rob Rix
8454467b61 Move the cyclomatic complexity analysis into its own module. 2017-11-27 14:52:27 -05:00
Rob Rix
ae985ef4e5 Factor ConstructorName into its own module. 2017-11-27 14:45:13 -05:00
Rob Rix
a844fec2bd Move the algebras into their own module. 2017-11-27 14:36:20 -05:00
Rob Rix
2102ab41cf Rename Decorating to Analysis. 2017-11-27 14:32:13 -05:00
Rob Rix
a6cdcc2c55 Add section headers to the .cabal file. 2017-11-27 14:28:28 -05:00
Rob Rix
87d533cc2b Rename Language to Data.Language. 2017-11-27 14:17:48 -05:00
Rob Rix
bcb64b3187 Rename the Integration spec. 2017-11-27 14:06:12 -05:00
Rob Rix
59fc8bffc9 Rename the TOC spec. 2017-11-27 14:04:58 -05:00
Rob Rix
69595553d6 Rename the Interpreter spec. 2017-11-27 14:03:45 -05:00
Rob Rix
a442bfeea1 Rename the Term spec. 2017-11-27 14:02:03 -05:00
Rob Rix
a079638c5b Rename the Semantic spec. 2017-11-27 14:00:53 -05:00
Rob Rix
80fce5b41e Rename the Diff spec. 2017-11-27 13:59:44 -05:00
Rob Rix
4b06df7db4 Rename the Stat spec. 2017-11-27 13:58:23 -05:00
Rob Rix
59166b50bb Rename the CLI spec. 2017-11-27 13:57:25 -05:00
Rob Rix
b98375b58f Rename the IO spec. 2017-11-27 13:52:48 -05:00
Rob Rix
8a3d34a1fc Rename the SES spec. 2017-11-27 13:51:05 -05:00
Rob Rix
f4960b0a0d Rename the Source spec. 2017-11-27 13:49:52 -05:00
Rob Rix
266bd1199a Rename the RWS spec. 2017-11-27 13:48:43 -05:00
Rob Rix
a8e8489fcb Rename the assignment spec. 2017-11-27 13:47:04 -05:00
Rob Rix
3ebb972bd8 Move the Node datatype & AST synonym into Data.AST. 2017-11-27 13:45:37 -05:00
Rob Rix
fd31babd62 Rename Decorator to Decorating.Decorator. 2017-11-27 13:36:00 -05:00
Rob Rix
3a3ed72f96 Rename Renderer to Rendering.Renderer. 2017-11-27 13:30:38 -05:00
Rob Rix
dbb1a33fca Rename Parser to Parsing.Parser. 2017-11-27 13:24:45 -05:00
Rob Rix
9bfd64905d Rename Data.Syntax.Assignment to Assigning.Assignment. 2017-11-27 13:19:20 -05:00
Rob Rix
062d9cbfa9 Rename Files to Semantic.IO. 2017-11-27 13:09:03 -05:00