github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity
25,546 Commits 19 Branches 16 Tags 46 MiB
b6e257c088
Commit Graph

335 Commits

Author SHA1 Message Date
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
joshvera
9883948abd Add BadLoads 2018-05-03 19:53:36 -04:00
Timothy Clem
07399487fd Ability to get nodejs resolution info out of package.json files 2018-05-03 16:14:54 -07:00
joshvera
4ea1b7cf1a Stub a way to look up packages in python with a PythonPackage analysis 2018-05-03 13:32:31 -04: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
Rob Rix
2066b33aaf Rename Empty to Lower. 2018-04-25 18:25:02 -04:00
Rob Rix
2267f24ea8 Merge branch 'master' into analyses-provide-and-handle-effects 2018-04-25 16:43:00 -04:00
Rob Rix
6646c8ca27 Rename Quietly to BadSyntax. 2018-04-25 15:44:44 -04:00
Patrick Thomson
35a85e6a06 Merge branch 'master' into resumable-type-errors 2018-04-25 15:19:36 -04:00
Timothy Clem
2da5acf57a Add ability to exclude directories from globbing 2018-04-25 09:55:05 -07:00
Rob Rix
0b0bd2a1a8 🔥 Control.Effect.Fresh in favour of Control.Monad.Effect.Fresh. 2018-04-25 10:40:58 -04:00
Rob Rix
1cedeac8e1 Move Erroring into its own module. 2018-04-24 18:44:23 -04:00
Patrick Thomson
89c1403f89 WIP 2018-04-24 14:12:28 -04:00
Timothy Clem
156246e477 Finding a need for a File datatype 2018-04-20 11:10:27 -07:00
joshvera
04428df6bd Return holes from uninitialized address errors 2018-04-19 13:12:51 -04:00
Timothy Clem
42f680fc47 Merge remote-tracking branch 'origin/fix-graph-errors' into typescript-graphs 2018-04-17 14:24:41 -07:00
Timothy Clem
8120b2af73 Merge remote-tracking branch 'origin/master' into typescript-graphs 2018-04-17 14:24:10 -07:00
Timothy Clem
95b7fd5888 Resolve module import paths that walk up directory structure (e.g. ../) 2018-04-17 14:13:01 -07:00
joshvera
3a19dae1f9 Add a Declarations class 2018-04-17 16:25:11 -04:00
Charlie Somerville
560642579f add Data.Empty typeclass 2018-04-17 16:31:08 +10:00
Ayman Nadeem
65b0afa477 Merge remote-tracking branch 'origin/master' into java-assignment 2018-04-10 14:06:07 -07:00
Rob Rix
d863d282b1 🔥 the Mergeable spec. 2018-04-09 16:38:28 -04:00
Rob Rix
bfd2c6b210 🔥 Data.Align.Generic. 2018-04-09 16:18:12 -04:00
Timothy Clem
bf5af4ec21 Move to Graph.hs 2018-04-09 10:57:12 -07:00
joshvera
1f441ec518 Merge remote-tracking branch 'origin/master' into repo-import-graph 2018-04-05 19:50:59 -04:00
Rob Rix
98084c5e81 Merge branch 'master' into task-in-eff 2018-04-05 09:18:32 -04:00
Rob Rix
9dc1d6e5f8 🔥 Semantic. 2018-04-04 15:43:46 -04:00
Patrick Thomson
faf246ff1e Merge remote-tracking branch 'origin/master' into fix-scientific-parsing 2018-04-04 15:40:51 -04:00
Rob Rix
8ae61645f8 Rename Semantic.Command.{Diff,Parse} to Semantic.{Diff,Parse}. 2018-04-04 15:17:01 -04:00
Rob Rix
113bbd1ed9 Merge branch 'master' into task-in-eff 2018-04-04 15:05:28 -04:00
Rob Rix
a5dd989db2 Stub in separate parse/diff command modules. 2018-04-04 13:14:25 -04:00
joshvera
7dd6bb1865 Merge remote-tracking branch 'origin/module-resolution' into repo-import-graph 2018-04-04 13:03:21 -04:00
Timothy Clem
a34cc8766f Merge remote-tracking branch 'origin/master' into module-resolution 2018-04-04 09:42:39 -07:00
Rob Rix
2d521ecaa6 Merge branch 'master' into task-in-eff 2018-04-04 11:58:58 -04:00
Rob Rix
ca87d9cff9 Move the Telemetry effect into its own module. 2018-04-04 11:23:32 -04:00
Rob Rix
6dd7dd78c1 Sort the modules. 2018-04-04 11:23:21 -04:00
Rob Rix
8a6d9bd879 Move Distribute into its own module. 2018-04-04 11:23:13 -04:00
Patrick Thomson
45a411f6ba Merge remote-tracking branch 'origin/master' into fix-scientific-parsing 2018-04-04 10:11:59 -04:00
joshvera
c759c065be Add another analysis to recover from RubyError 2018-04-03 19:59:39 -04:00
Patrick Thomson
c36256e943 Standardize and fix floating-point parsing. 
The existence of #1705 showed me that it's time to remove the bandaid
of a fix that was `normalizeFloatString` in #1537. This patch
introduces a proper Attoparsec parser for Scientific values that
handles the vaguaries of cross-language floating-point syntax. We
already depended on Attoparsec indirectly, so adding it as an explicit
dependency is fine.

A unit test is included, with examples taken from the tree-sitter corpora.
 2018-04-03 17:02:56 -04:00
joshvera
bc91a5f320 Merge remote-tracking branch 'origin/module-resolution' into repo-import-graph 2018-04-03 16:35:33 -04:00
joshvera
7b9de5d151 Merge remote-tracking branch 'origin/master' into repo-import-graph 2018-04-03 16:19:22 -04:00
Timothy Clem
208d16e131 Disable import-graph specs for now 2018-04-03 10:12:20 -07:00
Rob Rix
37cc2e36bb 🔥 Control.Effect.NonDet. 2018-04-02 10:14:57 -04:00
Rob Rix
228ec0ea59 Stub in a module for a package abstraction. 2018-03-30 11:34:42 -04:00
Rob Rix
366120bd24 Stub in a module for an Origin datatype. 2018-03-29 23:08:59 -04:00
Rob Rix
5ee3bf001e Merge branch 'simpler-analysis-types' into symbol-resolution 2018-03-29 20:00:01 -04:00
Rob Rix
fb38332849 Stub in a module for located names/values/whatever. 2018-03-29 09:00:25 -04:00
joshvera
233f7abfbd Add BadValues analysis 2018-03-28 17:42:11 -04:00
joshvera
e8db080923 Merge remote-tracking branch 'origin/master' into less-fail 2018-03-28 13:12:20 -04:00
joshvera
9043193e13 Merge remote-tracking branch 'origin/master' into less-fail 2018-03-28 12:01:58 -04:00
Josh Vera
6bb737c18f Merge branch 'master' into combined-state-effects 2018-03-28 11:56:17 -04:00
Josh Vera
c79f178fc1 Merge branch 'master' into matching 2018-03-28 11:45:57 -04:00
Rob Rix
5ae24ddc89 Merge branch 'master' into combined-state-effects 2018-03-28 08:33:19 -04:00
Charlie Somerville
3fe504c97e add BadVariable analysis catching FreeVariableError 2018-03-28 12:06:33 +11:00
Patrick Thomson
034bb562d4 Introduce tree-automata DSL for filtering and matching ASTs. 
This patch adds the `Matcher` monad, which is capable of filtering any
recursive data structure, bottom-up, yielding a list of (or an
optional) result. These functions are probably going to be used over
`Term` values, so API is provided to wrap common projection functions.

The API was more or less copied directly from that of Clang's AST
matching facilities.

There are a lot of things we can do in the future:
* Binding results yielded in matchers to associated names, for future
  transformation stages to look up and modify.
* Actual transformation stages.
* Optimizations. This is not very fast.

A million thanks to @robrix, whose sage advice managed to turn my
kooky idea for an API into something really special and exciting.
 2018-03-27 16:14:30 -04:00
Rob Rix
d596b0a7c6 🔥 the dependency on TH. 2018-03-27 15:01:35 -04:00
Timothy Clem
724d8f38aa Fix up pulling out go package name for import rendering 2018-03-26 12:02:27 -07:00
joshvera
859c4702b0 Merge remote-tracking branch 'origin/master' into default-typeapplications 2018-03-26 13:18:21 -04:00
Rob Rix
58b6c5ab04 Make lenses for EvaluatingState. 2018-03-26 13:13:59 -04:00
joshvera
126cdc5285 Make typeapplications a default extension 2018-03-26 12:00:19 -04:00
Rob Rix
44f03209c4 Stub in a module for a quiet analysis. 2018-03-26 10:02:20 -04:00
Rob Rix
598c02ce21 Merge branch 'master' into imports,-graphed 2018-03-26 09:46:08 -04:00