github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-18 20:31:55 +03:00
Code Issues Projects Releases Wiki Activity
25,188 Commits 19 Branches 16 Tags 46 MiB
5891fe8510
Commit Graph

293 Commits

Author SHA1 Message Date
Patrick Thomson
38be124258 Revert "split up Semantic.IO into Data.Handle and Semantic.Effect.Files" 
This reverts commit c0064862e756a1064dc29631f94e007d9bdfb10b.
 2018-06-12 11:40:53 -04:00
Patrick Thomson
25a3ad2e55 split up Semantic.IO into Data.Handle and Semantic.Effect.Files 2018-06-11 17:38:31 -04:00
Timothy Clem
5eeaaabf76 Start to extract common configuration 2018-06-11 13:12:19 -07:00
Timothy Clem
437b465f56 First pass at haystack reporting 2018-06-11 13:12:19 -07:00
Patrick Thomson
666524a07b Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-11 14:30:52 -04:00
Patrick Thomson
dd8c8b0762 Port AdjList and create the messages 2018-06-08 12:48:23 -04:00
Timothy Clem
0282529e88 Merge remote-tracking branch 'origin/master' into port-semiotic-http-interface 2018-06-06 16:22:49 -07:00
Timothy Clem
19f30f33cc Pull port and host from environment 2018-06-06 16:17:44 -07:00
Rob Rix
946ac38f0d Merge Control.Abstract.Configuration into Control.Abstract.Heap. 2018-06-06 08:04:58 -04:00
Patrick Thomson
871ebf49b8 Add a test to ensure no one breaks Enum instances for Language. 2018-06-05 12:32:24 -04:00
Patrick Thomson
e25791c1ca Roundtrip test for protobuf instances. 2018-06-05 12:14:24 -04:00
Ayman Nadeem
e030824d52 fix conflicts with new haskell additions 2018-05-31 15:32:10 -07:00
Rob Rix
6df9a1f174 Merge branch 'master' into protobuf-instances 2018-05-31 12:45:35 -04:00
Josh Vera
a342445b30 Merge branch 'master' into protobuf-instances 2018-05-31 11:33:19 -04:00
Rob Rix
6f9cfae147 Merge branch 'master' into env-effect 2018-05-30 18:57:52 -04:00
Rob Rix
11a92c0cb6 Move getExports & addExport into Control.Abstract.Environment. 2018-05-30 14:27:32 -04:00
joshvera
8d802f07df Merge remote-tracking branch 'origin/master' into protobuf-instances 2018-05-30 13:43:03 -04:00
Timothy Clem
d47a06d47f 🔥 IdentifierName 2018-05-29 13:49:55 -07:00
Rob Rix
dda2f9897b Merge branch 'master' into 🔥-galign 2018-05-29 12:48:34 -04:00
Rob Rix
54150552b3 Merge branch 'master' into 🔥-galign 2018-05-29 08:53:37 -04:00
Rob Rix
484b956ce7 Add a module for holes. 2018-05-28 15:09:10 -04:00
Rob Rix
b3b47a34df 🔥 Goto. 2018-05-28 14:42:46 -04:00
joshvera
84c3bef78e Add Identity and Product 2018-05-24 16:19:58 -04:00
joshvera
131ffe0fad Depend on proto3-suite and derive Named instances for Empty and Identifier 2018-05-24 13:43:51 -04:00
Timothy Clem
a15efb9327 Merge branch 'master' into deployment-setup 2018-05-24 10:13:25 -07:00
Josh Vera
38d438d540 Merge branch 'master' into deployment-setup 2018-05-24 11:52:40 -04:00
Rob Rix
3a8ee0dca2 Back out all of the effect decomposition stuff. 2018-05-24 11:26:42 -04:00
Rob Rix
37f7aa8ff8 Spike out a candidate implementation of embedEval. 2018-05-24 11:02:26 -04:00
Rob Rix
98a8f6050a Merge branch 'master' into decompose-values 2018-05-24 09:30:48 -04:00
Rob Rix
eeb604569d Merge branch 'master' into decompose-values 2018-05-24 09:11:19 -04:00
Rob Rix
ab3b353a0d Stub in a module for the Options. 2018-05-24 08:49:30 -04:00
Rob Rix
87b31ff772 Merge branch 'master' into pretty,-pretty-colours 2018-05-24 08:45:13 -04:00
Rick Winfrey
7bc88d088c Boilerplate and minimal syntax for Haskell assignment 2018-05-23 11:32:15 -07:00
Timothy Clem
b92f81d0b6 More sophisticated health server 2018-05-23 11:04:15 -07:00
Rob Rix
115e887739 Merge branch 'master' into decompose-values 2018-05-23 09:59:16 -04:00
Rob Rix
54a4f289f7 Produce colour output with the Show serializer. 2018-05-23 09:00:29 -04:00
Patrick Thomson
2edafbf1d1 Merge branch 'master' into fast-builds-by-default 2018-05-22 17:52:18 -04:00
Patrick Thomson
1f26db7a5e -O2 is ridiculously slow, let's hold off for now 2018-05-22 17:48:07 -04:00
Patrick Thomson
c1d3a041cc set -Werror when building release 2018-05-22 17:38:13 -04:00
Patrick Thomson
88d7d19bb8 Make builds run at -O0 by default, except for CI/deploy. 
It's always been easy to forget the `--fast` flag. With the introduction of
`semanticd`, forgetting that carries a significant speed hit, as GHC
optimizes the resulting executable very thoroughly, which entails a
significant uptick in time spent building. For our collective sanity's
sake, this patch makes `stack build` operate without optimizations. CI
and deploy jobs pass `--flag semantic:release` to `stack`, which
specifies the `-O2` level of optimizations.

Timing `stack clean && stack build` (which rebuilds the tree-sitter
packages) went from 6m17s to 3m04s on my machine.  When building just
`semantic` by itself, standard builds take 1m06s, whereas builds with
`--flag semantic:release` take 4m12s. (GHC does a lot of
optimizations!)
 2018-05-22 17:18:03 -04:00
Patrick Thomson
c8d5a8d231 add test for cancelling in-flight parsers 2018-05-22 17:01:17 -04:00
Rob Rix
fb5b903af7 Merge branch 'master' into decompose-values 2018-05-22 08:44:54 -04:00
Timothy Clem
42af0faae6 New approach for linting 2018-05-21 08:17:11 -07:00
Timothy Clem
8fe6f7e959 Bump the version so we can tell these are new style builds 2018-05-18 13:31:05 -07:00
Rob Rix
66d1f8286b Stub in a module for names. 2018-05-18 12:43:28 -04:00
Rob Rix
5a43ed60f4 Stub in a module for ValueRef. 2018-05-18 10:36:23 -04:00
Rob Rix
077335784a Stub in a module for primitives. 2018-05-18 10:11:19 -04:00
Ayman Nadeem
8aad81b775 Merge branch 'master' into java-assignment 2018-05-17 10:42:00 -07:00
Rob Rix
e9238d0ec7 Merge branch 'master' into package-dot-json-parsing 2018-05-16 19:12:08 -04:00
Rob Rix
b2e5ee6d31 The tests depend on hashable. 2018-05-16 16:19:08 -04:00
Timothy Clem
a60ed7bc16 Merge remote-tracking branch 'origin/master' into package-dot-json-parsing 2018-05-16 12:07:13 -07:00
Timothy Clem
f81ea4bff5 s/File/Project b/c that makes more sense to me 2018-05-16 08:38:00 -07:00
Rob Rix
2dd557064d Merge branch 'master' into fix-abstract-semantics 2018-05-16 09:20:00 -04:00
Rob Rix
ae74957342 🔥 the unused call graph analysis. 2018-05-16 09:08:07 -04:00
Timothy Clem
3e5b4d5dbb Merge remote-tracking branch 'origin/master' into package-dot-json-parsing 2018-05-15 15:58:19 -07:00
Rob Rix
47e92a766f Merge remote-tracking branch 'origin/master' into fix-abstract-semantics 2018-05-15 18:47:47 -04:00
Timothy Clem
4ef324f512 Merge remote-tracking branch 'origin/master' into package-dot-json-parsing 2018-05-15 15:04:13 -07:00
Rob Rix
70c28fa288 Stub in a module for term evaluators. 2018-05-15 11:40:10 -04:00
Rob Rix
16f07a17d1 🔥 Output. 2018-05-14 18:40:22 -04:00
Rob Rix
8d190c2930 Factor the ts-parse command into its own module. 2018-05-14 14:57:19 -04:00
Rob Rix
02e14169e9 🔥 Rendering.SExpression. 2018-05-14 10:59:47 -04:00
Rob Rix
68df562f23 Stub in a module for serializing to s-expressions. 2018-05-11 14:41:10 -04:00
Rob Rix
539c769ecc Stub in a module for the details of DOT serialization. 2018-05-11 14:07:53 -04:00
Rob Rix
eb82239f8d Stub in a module for serialization formats. 2018-05-11 13:27:09 -04:00
Rob Rix
ffd787a762 Rename Rendering.DOT to Rendering.Graph. 2018-05-11 12:57:20 -04:00
Rob Rix
53fab62a0e Stub in a module for graphs. 2018-05-11 12:04:26 -04:00
Rob Rix
db185d5e47 Move Located into Data.Abstract.Address. 2018-05-11 00:09:17 -04:00
Rob Rix
2abfd92678 Bump effects for https://github.com/joshvera/effects/pull/43 2018-05-10 18:27:10 -04:00
Timothy Clem
8e67479d09 Merge remote-tracking branch 'origin/master' into package-dot-json-parsing 2018-05-10 10:01:01 -07:00
Rob Rix
2b1d976f6a Rename Control.Abstract.ModuleTable to Control.Abstract.Modules. 2018-05-08 16:59:25 -04:00
Rob Rix
52cfb56f54 Rename the Label module to Goto. 2018-05-08 10:37:50 -04:00
Rob Rix
c427be3670 Stub in a spec for Evaluator. 2018-05-07 14:21:05 -04:00
Rob Rix
29c755a8dc Sort the test modules. 2018-05-07 14:20:56 -04:00
Rob Rix
eabb3b79a1 Move the evaluated module table accessors into their own module. 2018-05-07 12:20:23 -04:00
Rob Rix
f2288e3d69 Move the Environment accessors into their own module. 2018-05-07 12:17:32 -04:00
Rob Rix
3c73571b0c Move currentModule/currentPackage into their own module. 2018-05-07 12:14:14 -04:00
Rob Rix
de5a46dc6c Move JumpTable, Label, label, and goto into their own module. 2018-05-07 12:12:11 -04:00
Rob Rix
0d1b025823 Move the Exports accessors into their own module. 2018-05-07 12:04:12 -04:00
Rob Rix
5d91cfd843 Move the roots functionality into its own module. 2018-05-07 11:58:30 -04:00
Rob Rix
531f941692 Provide a module re-exporting all the various abstract interpretation machinery. 2018-05-07 11:51:56 -04:00
Rob Rix
57ddf31ec5 Move the Heap accessors into their own module. 2018-05-07 11:49:59 -04:00
Rob Rix
920ddd893f Move the configuration accessor into its own module. 2018-05-07 11:49:47 -04:00
Rob Rix
2a1c7f17b3 🔥 microlens. 2018-05-07 08:46:40 -04:00
Rob Rix
4f69f5e3de Merge branch 'master' into scope-effects-to-evaluation 2018-05-06 22:50:04 -04:00
Rob Rix
f9ed9766fb Link the tests against fastsum. 2018-05-06 17:22:32 -04:00
Rob Rix
5f0d80a6b1 🔥 the Bad* modules. 2018-05-06 17:16:10 -04:00
Rob Rix
71d5eebbab 🔥 Erroring. 2018-05-06 16:44:04 -04:00
Rob Rix
dcb771a29e 🔥 the TypeChecking module. 2018-05-06 16:41:36 -04:00
Rob Rix
63269866fc Merge pull request #1811 from github/add-fastsum 
Add the fastsum package as a dependency.
 2018-05-06 15:23:37 -04:00
Rob Rix
30b8002394 🔥 Origin altogether. 2018-05-06 13:25:28 -04:00
Rob Rix
93895186cf Imagine there’s no MonadAnalysis. 
It’s easy if you try.
 2018-05-04 18:37:37 -04:00
Timothy Clem
07399487fd Ability to get nodejs resolution info out of package.json files 2018-05-03 16:14:54 -07:00
Patrick Thomson
b6f8853d5b Add the fastsum package as a dependency. 2018-05-02 15:59:22 -04:00
Rob Rix
50a3fecfe3 Rename our Union type to Sum. 2018-05-02 11:25:44 -04:00
Rob Rix
171d349eee Define our own Union type. 2018-05-02 10:59:30 -04:00
joshvera
19f0672f34 Separate import graphs into call graph and import graph analyses 2018-05-01 18:10:25 -04:00
joshvera
1f2e234549 Add CallGraph 2018-05-01 17:51:24 -04:00
Ayman Nadeem
b1c05d6755 Merge remote-tracking branch 'origin/master' into java-assignment 2018-05-01 10:57:21 -07:00
Rob Rix
013b5cb4b7 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-30 14:22:09 -04:00
Timothy Clem
da89a11fae Introduce place to put all these directives 2018-04-26 13:43:49 -07:00