github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity
19,594 Commits 19 Branches 16 Tags 46 MiB
592fd3051e
Commit Graph

72 Commits

Author SHA1 Message Date
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