1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 14:54:16 +03:00
Commit Graph

858 Commits

Author SHA1 Message Date
Timothy Clem
552576f80c New Eval type class to go with 2018-02-16 13:39:05 -08:00
Timothy Clem
47c60e7807 New evaluating strategy 2018-02-16 13:38:35 -08:00
Timothy Clem
3296644cc8 Remove Linker Effect 2018-02-16 12:38:29 -08:00
Timothy Clem
dc6ff09ccf Stub out some sort of linker 2018-02-16 12:38:29 -08:00
Timothy Clem
aed971ed07 Merge branch 'master' into import-graph 2018-02-12 10:11:29 -08:00
Timothy Clem
fb000828ed Test out import-graph output for relevant languages 2018-02-07 12:20:41 -08:00
Rob Rix
36d0cc99a8 Merge branch 'master' into algebraic-graphs 2018-02-07 14:32:28 -05:00
Rob Rix
4ceddcd531 Depend on algebraic-graphs. 2018-02-07 12:54:15 -05:00
Timothy Clem
84cd63fe1b Add span, remove pretty encoding 2018-02-06 11:35:01 -08:00
joshvera
819664e2f7 Merge remote-tracking branch 'origin/master' into php-assignment 2018-01-25 17:46:00 -05:00
Timothy Clem
f8167a6941 Split out detection of package/module name 2018-01-25 11:12:57 -08:00
Timothy Clem
ea3a11bd55 Rework import graph output construction 2018-01-25 10:32:13 -08:00
Timothy Clem
a6fbebbf6d Basic plumbing for import rendering 2018-01-23 11:21:42 -08:00
Timothy Clem
6517970f8a Symbol rendering (like tags, but new hotness) 2018-01-17 12:54:17 -08:00
joshvera
6ffbd5f4e0 Merge remote-tracking branch 'origin/master' into php-assignment 2018-01-11 15:36:57 -05:00
Rob Rix
6af249b17c 📝 the effect modules. 2017-12-21 10:02:08 -05:00
Timothy Clem
f26ef5a59a Merge branch 'master' of github.com:github/semantic-diff into integrate-abstract-interpretation 2017-12-20 09:04:55 -08:00
joshvera
c25a478d1f Merge remote-tracking branch 'origin/master' into php-assignment 2017-12-19 17:29:00 -05:00
joshvera
99d9b7c97a Merge master into 🔥-monolithic-syntax 2017-12-19 13:09:30 -05:00
Timothy Clem
859aa731a5 Merge branch 'master' into integrate-abstract-interpretation 2017-12-18 13:52:10 -08:00
Rob Rix
a112fca6f3 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-18 15:07:00 -05:00
joshvera
9a58f6feb5 Add php modules to project 2017-12-15 11:14:08 -08:00
Timothy Clem
58ebcbfb00 Add IdentifierName decorator 2017-12-12 11:32:12 -08:00
Timothy Clem
3382a8ae72 No more alternative python 2017-12-01 14:19:55 -08:00
Rob Rix
37b44b513b Add a module for a live set. 2017-12-01 13:57:15 -05:00
Rob Rix
10d6ae7a0f Merge branch 'master' into integrate-abstract-interpretation 2017-12-01 13:46:15 -05:00
Rob Rix
ecfd121575 Merge branch 'master' into 🔥-monolithic-syntax 2017-12-01 12:28:19 -05:00
Rob Rix
c36c257618 Rename Abstract.Interpreter to Analysis.Abstract.Evaluating. 2017-11-30 19:41:34 -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
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
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