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
20,547 Commits 19 Branches 16 Tags 46 MiB
a9e5ff6a11
Commit Graph

124 Commits

Author SHA1 Message Date
Patrick Thomson
d8c482acda Merge remote-tracking branch 'origin/master' into criterion 2018-03-08 10:20:57 -05:00
Rob Rix
089b08edb3 🔥 Control.Newtype1. 2018-03-07 21:03:46 -05:00
Patrick Thomson
1ea97534b6 print so that we know everything is evaluated 2018-03-07 19:56:54 -05:00
Patrick Thomson
0ac705b0f5 flesh out some benchmarks 2018-03-07 19:34:20 -05:00
Rob Rix
f4fcdfecf1 Stub in a module for Newtype1. 2018-03-07 19:02:16 -05:00
Josh Vera
ca5fa6d5b3 Merge branch 'master' into floats-scientific 2018-03-07 17:49:42 -05:00
Patrick Thomson
8a738a8760 Merge remote-tracking branch 'origin/master' into resuscitate-caching-analysis 2018-03-07 15:07:01 -05:00
Patrick Thomson
4a2d5bda53 necessary changes for floating-point munging 2018-03-07 14:46:26 -05:00
Rob Rix
257a068b3c Stub in a Monoidal map module. 2018-03-07 12:22:52 -05:00
Rob Rix
c121a0665e 🔥 the dependency on pointed. 2018-03-07 12:19:27 -05:00
Rob Rix
a2c395d54b Tracing uses a Reducer. 2018-03-07 11:27:17 -05:00
Rob Rix
ee911a0990 🔥 MonadTrace. 2018-03-06 17:14:52 -05:00
Rob Rix
c9a74da233 Re-enable the tracing analysis. 2018-03-06 17:13:58 -05:00
Patrick Thomson
37fcc4826b Rename the Linker type/module to ModuleTable. 
During my recent pairing with @robrix, we agreed that the name of
Linker was inaccurate—it doesn't link anything, it just keeps track of
past modules. This renames it and its module.
 2018-03-06 14:17:32 -05:00
Patrick Thomson
c3d01b6602 Resuscitate the caching evaluator. 
The caching analysis had been disabled, as it was still written in the
open-interpreter style. This patch restores it, defining a
`CachingAnalysis` newtype that uses nondeterministic but convergent
caching in its `MonadAnalysis` instance. This also defines an
`embedSubterm` helper that is useful in defining new analysis passes.

Thanks to @robrix for 🍐!
 2018-03-06 13:51:00 -05:00
Rob Rix
5e579df53f 🔥 Analysis.Abstract.CallGraph. 2018-03-06 10:53:57 -05:00
Rob Rix
91d502b553 Stub in a module for a non-abstract call graph analysis. 2018-03-06 10:36:02 -05:00
Rob Rix
711aa0529a Stub in a call graph analysis module. 2018-03-02 15:06:49 -05:00
Patrick Thomson
226ff88723 Rename MonadFunction to MonadValue. 2018-03-02 11:45:56 -08:00
Rob Rix
91cfe37bc7 🔥 the Analysis.Abstract.TypeInference module. 2018-03-02 10:56:04 -05:00
Rob Rix
9740758d01 Stub in a module for a type inference analysis. 2018-03-02 10:15:18 -05:00
Rob Rix
5199bebf39 Merge branch 'master' into evaluatable-simplification 2018-03-01 16:55:18 -05:00
joshvera
41a538d7e1 Merge remote-tracking branch 'origin/master' into rename-semantic 2018-03-01 10:16:35 -05:00
joshvera
e32961edde Rename semantic-diff to semantic 2018-02-26 13:16:56 -05:00