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,989 Commits 19 Branches 16 Tags 46 MiB
ea5d7437d4
Commit Graph

17989 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rick Winfrey
3bc8c4cff5 Merge branch 'master' into update-go-toc-rendering 2017-11-30 16:37:14 -08: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
Rick Winfrey
442824949d Update tests 2017-11-30 16:28:04 -08:00
Rob Rix
8f392661dd Rename Abstract.Interpreter.Caching to Analysis.Abstract.Caching. 2017-11-30 19:27:26 -05:00
Rick Winfrey
35a83422f4 Do less work for more accuracy 2017-11-30 16:26:45 -08: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
Rick Winfrey
bafff20f3b Tokenize the fun keyword in function declarations 2017-11-30 16:02:16 -08: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
8da948440e Merge branch 'master' into better-generic-show1-instances 2017-11-30 17:10:03 -05:00
Rob Rix
73b2e54a06 Merge branch 'master' into 🔥-monolithic-syntax 2017-11-30 17:09:39 -05:00
Rob Rix
44bdfbe8b6 Merge pull request #1447 from github/musical-modules 
♩ Musical modules ♫
 2017-11-30 17:09:08 -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
Rob Rix
9f5a5e0469 Move MonadEnv into its own module. 2017-11-30 15:44:58 -05:00
Rob Rix
609b1a1786 🔥 a few type applications. 2017-11-30 15:38:43 -05:00