joshvera
|
619db3b828
|
Add Store2 and Evaluating3
|
2018-02-20 20:09:33 -05:00 |
|
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 |
|