github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity
25,192 Commits 19 Branches 16 Tags 46 MiB
a3bec5b910
Commit Graph

3623 Commits

Author SHA1 Message Date
Timothy Clem
ebea0468bf Merge branch 'master' into bump-tree-sitter 2018-07-24 09:08:54 -07:00
Ayman Nadeem
465a66ceca test dims 2018-07-24 12:04:09 -04:00
Ayman Nadeem
31f44bdee6 test continue statement 2018-07-24 11:57:51 -04:00
Charlie Somerville
ee227d8091 fix up call in test 2018-07-24 16:23:53 +10:00
Charlie Somerville
b364c6637a implement the right type classes for This 2018-07-24 16:23:44 +10:00
Charlie Somerville
ece1bad08e Merge branch 'master' into charliesome/module-result 2018-07-24 12:25:19 +10:00
Josh Vera
7b025c6e49 Merge branch 'master' into bump-tree-sitter 2018-07-23 19:55:21 -04:00
Josh Vera
f72464ca47 Merge branch 'master' into test-java-assignment 2018-07-23 19:44:32 -04:00
Ayman Nadeem
5a98bb68a5 test array access 2018-07-23 18:36:46 -04:00
Ayman Nadeem
6237546e10 test AssertStatement 2018-07-23 18:36:37 -04:00
Ayman Nadeem
5aabbddb8f test binary expressions 2018-07-23 18:36:27 -04:00
Ayman Nadeem
52f0457979 test boolean 2018-07-23 18:36:10 -04:00
Ayman Nadeem
55dac7c93d test char 2018-07-23 18:35:52 -04:00
Ayman Nadeem
d18c4a0d1c classBody 2018-07-23 18:35:42 -04:00
joshvera
f4f12d66a0 Remove QualifiedName roundtrip 2018-07-23 18:32:26 -04:00
Ayman Nadeem
e212840918 add comment tests 2018-07-23 18:32:13 -04:00
joshvera
322db1dd89 Merge remote-tracking branch 'origin/master' into add-python 2018-07-23 18:21:01 -04:00
Timothy Clem
8e547c4536 Sort out all the tests 2018-07-23 15:16:48 -07:00
Timothy Clem
8484f477ce Extra Listable instances 2018-07-23 15:09:44 -07:00
Timothy Clem
998b81c8af Don't nest unless we have to 2018-07-23 15:09:37 -07:00
Ayman Nadeem
c30298f528 remove java from integration spec 2018-07-23 15:22:44 -04:00
Ayman Nadeem
ea86992721 regenerate interface tests 2018-07-23 15:04:07 -04:00
Ayman Nadeem
6713fdde39 re-generate ambient-declarations and interface typescript tests 2018-07-23 14:22:21 -04:00
joshvera
698851f4bf Test qualified names roundtrip 2018-07-23 14:00:10 -04:00
joshvera
dbcf2638b0 Add Listable instances for QualifiedName and Import 2018-07-23 13:59:56 -04:00
Ayman Nadeem
913ba4c315 fix hlint errors and add java to integration spec 2018-07-23 13:49:10 -04:00
Ayman Nadeem
52d89b7a05 fix merge conflicts 2018-07-23 11:23:57 -04:00
Rob Rix
33c6bc88f4 Correct the test. 2018-07-23 10:26:26 -04:00
Rob Rix
861a3fc80e Rename closure to function. 2018-07-23 10:26:06 -04:00
Ayman Nadeem
8233b537ec Merge branch 'master' into java-assignment-continued 2018-07-23 09:29:27 -04:00
Ayman Nadeem
f09f2ce26a add tests for normalInterfaceDeclaration and assertStatements in stringLiteral 2018-07-23 09:26:02 -04:00
Charlie Somerville
8642cb4e1f fix method name order assertion in subclass spec 2018-07-23 17:42:03 +10:00
Charlie Somerville
dae549dd46 Merge branch 'master' into charliesome/module-result 2018-07-23 16:34:55 +10:00
Rob Rix
e94e28d732 Merge branch 'master' into move-mergeable-into-the-tests 2018-07-20 11:01:14 -04:00
Rob Rix
4ef85b3d91 These instances aren’t orphaned. 2018-07-20 10:07:53 -04:00
Rob Rix
d6eb959726 We don’t need DeriveAnyClass or StandaloneDeriving for these. 2018-07-20 10:07:24 -04:00
Rob Rix
926e32db29 More missing imports. 2018-07-20 10:04:34 -04:00
Rob Rix
ee4452e29e Fix missing imports. 2018-07-20 09:56:33 -04:00
Rob Rix
d3fc6478fd Derive a bunch of Mergeable instances. 2018-07-20 09:54:57 -04:00
Rob Rix
f98263ca10 Fix a missing import. 2018-07-20 09:53:52 -04:00
Rob Rix
3fa75423d6 Move Mergeable into the tests. 2018-07-20 09:52:43 -04:00
Rob Rix
c696984b60 Move beforeTerm/afterTerm into the tests. 2018-07-20 09:52:11 -04:00
Ayman Nadeem
92e4f0e244 Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-19 16:56:32 -04:00
Timothy Clem
bc3bc5a023 Merge branch 'master' into vertex++ 2018-07-19 11:23:58 -07:00
Charlie Somerville
de80f1906e fix SpecHelpers to hit heap for namespaces 2018-07-19 17:03:17 +10:00
Charlie Somerville
a1c4fabfd9 Merge branch 'master' into charliesome/module-result 2018-07-19 16:06:53 +10:00
Patrick Thomson
68cd404e9c Merge remote-tracking branch 'origin/master' into add-callstack-to-error 2018-07-18 16:12:14 -04:00
Ayman Nadeem
01c5872a54 assertStatement fixture 2018-07-18 15:39:17 -04:00
Timothy Clem
a140371b18 Fix up call graph tests 2018-07-18 07:53:46 -07:00
Charlie Somerville
a3bc96834c Merge branch 'master' into charliesome/module-result 2018-07-18 14:53:31 +10:00
joshvera
bc4952661d Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-17 19:16:29 -04:00
joshvera
0913284879 Comment out diffs of syntax roundtrip test 2018-07-17 19:00:05 -04:00
joshvera
a0d27311bb Add a ListableF2 2018-07-17 18:59:54 -04:00
Ayman Nadeem
008f570b26 Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-17 15:51:44 -04:00
Ayman Nadeem
3d61ea9368 add test fixtures 2018-07-17 15:51:24 -04:00
Patrick Thomson
3b47557794 Fix tests. 2018-07-17 14:52:01 -04:00
Charlie Somerville
6837b1d637 names takes a Binding, not an Environment 2018-07-17 12:04:54 +10:00
Charlie Somerville
752e29c9ef use ModuleResult type alias here too 2018-07-17 11:42:01 +10:00
joshvera
48411926a0 Add rountrip tests to blob and blob pair 2018-07-16 17:06:06 -04:00
joshvera
51d873f81e Add Listable instances for Join These Blob 2018-07-16 17:05:56 -04:00
Patrick Thomson
9813122425 cleanup 2018-07-16 13:13:53 -04:00
Ayman Nadeem
36bb8d085c Merge remote-tracking branch 'origin/master' into java-assignment-continued 2018-07-16 12:22:57 -04:00
Patrick Thomson
5c8cd4a109 test less-copacetic cases 2018-07-16 11:36:17 -04:00
Patrick Thomson
e05f419314 Abstract interpretation test. 2018-07-16 11:12:17 -04:00
Patrick Thomson
0ed48c7bbe Simplest test possible. 2018-07-16 11:07:40 -04:00
Timothy Clem
31a75790bd Merge remote-tracking branch 'origin/master' into grpc-diff-trees 2018-07-13 15:45:03 -07:00
joshvera
2fe255d09c Add a test for negate 2018-07-13 16:49:23 -04:00
Patrick Thomson
dea4f10f9b Merge remote-tracking branch 'origin/master' into lts-12.0 2018-07-13 15:41:09 -04:00
Patrick Thomson
695d280f50 bump up the cancelable parsing timeout 2018-07-13 15:15:10 -04:00
Patrick Thomson
3d50f9ab62 Merge branch 'master' into abstract-call-graph 2018-07-13 13:46:35 -04:00
Patrick Thomson
6a65fc0bc0 Fix otiose parts of the diff. 2018-07-13 12:10:17 -04:00
Timothy Clem
9b8204671a Little bit of tracing to help debug 2018-07-13 08:21:45 -07:00
Patrick Thomson
ae550c59c8 Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-13 11:11:46 -04:00
Rick Winfrey
8da0e3910c Add javascript specific export test files 2018-07-12 16:56:27 -07:00
Timothy Clem
48a34ff011 Roundtrip property test for Diff proto encode/decode 2018-07-12 15:57:51 -07:00
Patrick Thomson
6dc30c3b87 Upgrade to LTS 12.0. 2018-07-12 17:13:46 -04:00
Ayman Nadeem
5329894a48 test lambda 2018-07-12 12:30:39 -04:00
Ayman Nadeem
b1e7dacbdf Merge branch 'master' into java-assignment-continued 2018-07-11 15:55:36 -04:00
Rob Rix
7e2f7614f7 Fix up the imports. 2018-07-10 14:17:56 -04:00
Rob Rix
1e6a3f71e2 Use withOptions in the spec. 2018-07-10 14:16:51 -04:00
Rob Rix
40d46e921d Pass the configuration to the analysis specs. 2018-07-10 14:09:22 -04:00
Rob Rix
255a0aa62b Move TaskConfig into Semantic.Util. 2018-07-10 14:09:02 -04:00
Rob Rix
b33daf0ce1 Pass the task config stuff around as a single datum. 2018-07-10 13:49:34 -04:00
Ayman Nadeem
e549d58e56 resolve conflict 2018-07-09 18:46:44 -04:00
Rob Rix
90cb86d027 Pass config & queues to the integration specs. 2018-07-09 14:26:15 -04:00
Patrick Thomson
c5b722dbba Merge remote-tracking branch 'origin/master' into abstract-call-graph 2018-07-09 11:28:24 -04:00
Josh Vera
5f3543f284 Merge branch 'master' into fix-encoding 2018-07-06 13:39:16 -04:00
joshvera
c05e7e76aa Add a unit test for method roundtrips 2018-07-05 15:21:25 -04:00
Rob Rix
bcbc70446c Merge branch 'charliesome/substitution' into abstract-abstract-semantics 2018-07-05 14:15:01 -04:00
Rob Rix
ddbd2690bb Merge branch 'master' into higher-order-effects 2018-07-04 10:53:04 -04:00
Rob Rix
aac98ec0ef Merge branch 'master' into abstract-abstract-semantics 2018-07-04 10:44:44 -04:00
Patrick Thomson
0ca991f0dd Fix terrible bug associated with environment comparisons being false 2018-07-03 14:29:47 -04:00
Rob Rix
5100670e72 Rename Data.Abstract.Value to Data.Abstract.Value.Concrete. 2018-07-03 14:22:26 -04:00
joshvera
3a32256b38 Fix imports tests 2018-07-03 11:57:42 -04:00
joshvera
71f54e4f57 Rename to shouldRoundtrip1 and fix tests 2018-07-02 14:19:47 -04:00
Patrick Thomson
1eed347da6 fix the specs 2018-06-29 16:17:27 -04:00
joshvera
b5fe1cf208 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-28 11:52:03 -04:00
Ayman Nadeem
290f5f0a6d add memberAccess test 2018-06-27 17:26:58 -04:00
Ayman Nadeem
1fbe1ad77d add scopedIdentifier test 2018-06-27 17:26:38 -04:00
Ayman Nadeem
2880d01e5b type arg test 2018-06-27 17:26:12 -04:00
Ayman Nadeem
81ce713c20 methodReference test 2018-06-27 17:18:36 -04:00
Rob Rix
7cbaee920c Run integration tests for JSON. 2018-06-27 12:55:58 -04:00
Rob Rix
b30649823d Add fixtures for JSON hashes. 2018-06-27 11:28:23 -04:00
Rob Rix
3d5378619e Add fixtures for JSON null. 2018-06-27 11:26:08 -04:00
Rob Rix
1763fcbcb1 Add fixtures for JSON strings. 2018-06-27 11:25:38 -04:00
Rob Rix
fafba67774 Add fixtures for JSON arrays. 2018-06-27 11:24:48 -04:00
Rob Rix
48aff6d404 Add fixtures for JSON numbers. 2018-06-27 11:23:31 -04:00
Rob Rix
8a625cc85d Add fixtures for JSON booleans. 2018-06-27 11:23:21 -04:00
Josh Vera
5538c6b490 Merge branch 'master' into explicit-integer-parser 2018-06-26 17:10:21 -04:00
Rob Rix
a236328056 Merge branch 'master' into higher-order-effects 2018-06-26 15:14:28 -04:00
Patrick Thomson
bbf814acc1 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-26 13:49:24 -04:00
joshvera
6a294827e2 Merge remote-tracking branch 'origin/master' into grpc-trees 2018-06-26 13:03:37 -04:00
Rob Rix
7d37d3eb11 Resume defining LoopControl as using Exc. 2018-06-26 12:09:21 -04:00
Rob Rix
492947ae2e Resume defining Return as using Exc. 2018-06-26 12:00:25 -04:00
Patrick Thomson
fd44b23449 Merge remote-tracking branch 'origin/master' into explicit-integer-parser 2018-06-26 10:56:20 -04:00
Rob Rix
d1ad4bef08 Merge branch 'master' into higher-order-effects 2018-06-26 09:48:11 -04:00
Rob Rix
45262b585e Merge branch 'master' into topologically-sorted-imports 2018-06-25 17:43:26 -04:00
Josh Vera
5674357bae Merge branch 'master' into grpc-trees 2018-06-25 17:41:51 -04:00
Rob Rix
a556930e9e Fix the Go specs. 2018-06-25 17:38:52 -04:00
Rob Rix
a0dfbb449f Fix some errant pure ()s. 2018-06-25 17:36:56 -04:00
Rob Rix
67463461f9 Fix the PHP specs. 2018-06-25 17:36:32 -04:00
Rob Rix
1f129a6a50 Fix the Python specs. 2018-06-25 17:33:38 -04:00
Rob Rix
dad58e7c20 Fix the Ruby specs. 2018-06-25 17:28:35 -04:00
Rob Rix
f70974e206 Fix up the TypeScript specs. 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
 2018-06-25 15:57:04 -04:00
Patrick Thomson
b42cef4f36 Merge remote-tracking branch 'origin/master' into import-graph-mk2 2018-06-25 15:39:38 -04:00
Rick Winfrey
a279d96985 Update test fixtures 2018-06-25 11:20:30 -07:00
Rob Rix
2e3636c015 Test topological sort on a -> b. 2018-06-25 13:02:37 -04:00
Rob Rix
3fb45b5d50 Preserve the structure of the data we’re testing against. 2018-06-25 12:27:30 -04:00
Rob Rix
76185ed450 Use irrefutable patterns in the PHP specs. 2018-06-25 12:02:50 -04:00
Rob Rix
cb4938ef92 Add all the modules to the Go specs. 2018-06-25 11:59:27 -04:00
Rob Rix
525f025e73 Use irrefutable patterns in the Go specs. 2018-06-25 11:56:42 -04:00
Rob Rix
bfd79c062d 🔥 the “evaluates” prefix. 2018-06-25 11:55:54 -04:00
Patrick Thomson
f9f0dd5e79 Use a hand-written integer parser. 
Rather than relying on the `Read` instance for `Integer`, let's make
our assumptions about the format explicit. This was mostly a matter of
extracting internal functions from the `Scientific` parser.
 2018-06-25 11:55:32 -04:00
Rob Rix
65d85e682d Use irrefutable patterns in the Python import specs. 2018-06-25 11:55:00 -04:00
Rob Rix
7ae66f18ea Just say Python. 2018-06-25 11:51:17 -04:00
Rob Rix
613e6b79bb Make more effort to show the errors in the Ruby spec. 2018-06-25 09:30:54 -04:00
Rob Rix
23ae10d847 Make more effort to show the errors in the TypeScript spec. 2018-06-25 09:26:31 -04:00
Rob Rix
903f048889 Don’t bind the heap when we aren’t using it. 2018-06-22 15:57:12 -04:00
Rob Rix
428b5a31dc These all import foo. 2018-06-22 15:47:31 -04:00
Rob Rix
2ed8688c28 Update the tests to pass a list of paths. 2018-06-22 15:45:42 -04:00
Rob Rix
98348908e6 🔥 some redundant imports. 2018-06-22 15:37:38 -04:00
joshvera
d3c912784b Fix tests 2018-06-22 14:19:01 -04:00
Rob Rix
33c04b15c3 Get the tests compiling. 2018-06-22 13:52:21 -04:00
Rob Rix
12c5dc32b2 🔥 an errant package version. 2018-06-22 10:38:03 -04:00
Rob Rix
eedc8f4b7e Rearrange the spec helper to match Util. 2018-06-21 14:52:08 -04:00
Rob Rix
6abd29a65d Reuse UtilEff. 2018-06-21 13:46:28 -04:00
Rob Rix
3c537e3337 We’re in Evaluator, not TermEvaluator. 2018-06-21 13:44:58 -04:00
Rob Rix
07a0277b00 Fix up the Evaluator spec. 2018-06-21 13:42:03 -04:00
Rob Rix
84eb2beaa5 This doesn’t have module table state any more either. 2018-06-21 13:37:23 -04:00
Rob Rix
4e57d32e91 🔥 the outdated reference to the module table state. 2018-06-21 13:36:11 -04:00