Tom Hvitved
|
2f74e3e765
|
QL: Resolve predicate expressions
|
2021-05-27 20:26:19 +02:00 |
|
Taus
|
e01fe66519
|
Add missing parents for ModuleExpr
|
2021-05-27 17:28:00 +00:00 |
|
Taus
|
93fa56fe79
|
QL: Add missing parents for ModuleExpr
|
2021-05-27 17:28:00 +00:00 |
|
Taus
|
c8cb81d1f9
|
missed a spot...
|
2021-05-27 17:20:01 +00:00 |
|
Taus
|
cdac3f9726
|
QL: missed a spot...
|
2021-05-27 17:20:01 +00:00 |
|
Taus
|
44c8e78873
|
super and aggregates containing expressions
|
2021-05-27 17:19:35 +00:00 |
|
Taus
|
dc11ec418b
|
QL: super and aggregates containing expressions
|
2021-05-27 17:19:35 +00:00 |
|
shati-patel
|
1e9d8d0ca1
|
A bit more documentation
|
2021-05-27 18:07:49 +01:00 |
|
shati-patel
|
05e2ec3f82
|
QL: A bit more documentation
|
2021-05-27 18:07:49 +01:00 |
|
Taus
|
a4de52d135
|
Add unique as known aggregate name to treesitter
|
2021-05-27 16:48:59 +00:00 |
|
Taus
|
0e38056a3a
|
QL: Add unique as known aggregate name to treesitter
|
2021-05-27 16:48:59 +00:00 |
|
Taus
|
2abb79cd57
|
Orphan fixes for aggregates
|
2021-05-27 16:48:38 +00:00 |
|
Taus
|
219b123271
|
QL: Orphan fixes for aggregates
|
2021-05-27 16:48:38 +00:00 |
|
shati-patel
|
fd3abe42bf
|
Fix multiplication operator
|
2021-05-27 16:55:39 +01:00 |
|
shati-patel
|
625b9563bf
|
QL: Fix multiplication operator
|
2021-05-27 16:55:39 +01:00 |
|
Taus
|
0337a0dc18
|
AST: range, in, set, and files
|
2021-05-27 15:47:46 +00:00 |
|
Taus
|
b9ea00c372
|
QL: AST: range, in, set, and files
|
2021-05-27 15:47:46 +00:00 |
|
shati-patel
|
59e85abe9e
|
Merge branch 'main' of github.com:github/codeql-ql
|
2021-05-27 15:51:56 +01:00 |
|
shati-patel
|
e36915b0ef
|
QL: Merge branch 'main' of github.com:github/codeql-ql
|
2021-05-27 15:51:56 +01:00 |
|
shati-patel
|
da65f75372
|
Add some more documentation
|
2021-05-27 15:51:40 +01:00 |
|
shati-patel
|
8ce59ff073
|
QL: Add some more documentation
|
2021-05-27 15:51:40 +01:00 |
|
Joe Farebrother
|
c66e7de6a8
|
Merge pull request #13 from github/type-expr-resolution
Type expression resolution
|
2021-05-27 15:48:20 +01:00 |
|
Joe Farebrother
|
0aa936d2d2
|
QL: Merge pull request #13 from github/type-expr-resolution
Type expression resolution
|
2021-05-27 15:48:20 +01:00 |
|
Joe Farebrother
|
45e6af2d14
|
Add jump-to-def support
|
2021-05-27 15:45:00 +01:00 |
|
Joe Farebrother
|
c6b5130ad5
|
QL: Add jump-to-def support
|
2021-05-27 15:45:00 +01:00 |
|
Taus
|
fe631a5eaf
|
Add AST support for HOPs
|
2021-05-27 14:37:15 +00:00 |
|
Taus
|
f61471c451
|
QL: Add AST support for HOPs
|
2021-05-27 14:37:15 +00:00 |
|
Joe Farebrother
|
16005fa6cf
|
Support aliases and unions
|
2021-05-27 15:25:37 +01:00 |
|
Joe Farebrother
|
cb3e971ebc
|
QL: Support aliases and unions
|
2021-05-27 15:25:37 +01:00 |
|
Joe Farebrother
|
719ef68aeb
|
`Merge branch 'main' into type-expr-resolution
|
2021-05-27 15:12:49 +01:00 |
|
Joe Farebrother
|
3a8e1779d9
|
QL: `Merge branch 'main' into type-expr-resolution
|
2021-05-27 15:12:49 +01:00 |
|
Taus
|
2882f6d37c
|
Link up ModuleExpr with PredicateCall
|
2021-05-27 14:11:20 +00:00 |
|
Taus
|
69b4d577d5
|
QL: Link up ModuleExpr with PredicateCall
|
2021-05-27 14:11:20 +00:00 |
|
Joe Farebrother
|
9580362332
|
Fixes for resolution and consistency query
|
2021-05-27 15:05:42 +01:00 |
|
Joe Farebrother
|
5ec1068230
|
QL: Fixes for resolution and consistency query
|
2021-05-27 15:05:42 +01:00 |
|
Taus
|
e09a012064
|
Support class unions
|
2021-05-27 14:01:21 +00:00 |
|
Taus
|
a1fc6391d7
|
QL: Support class unions
|
2021-05-27 14:01:21 +00:00 |
|
Joe Farebrother
|
fc2f9b5ab6
|
Add type expression resolution
|
2021-05-27 14:48:26 +01:00 |
|
Joe Farebrother
|
d5bf0cb33f
|
QL: Add type expression resolution
|
2021-05-27 14:48:26 +01:00 |
|
Taus
|
97468a3935
|
Support predicate foo = bar/5;
|
2021-05-27 13:18:31 +00:00 |
|
Taus
|
158b50f482
|
QL: Support predicate foo = bar/5;
|
2021-05-27 13:18:31 +00:00 |
|
Taus
|
359b7d6b39
|
Add support for class Foo = Bar;
|
2021-05-27 13:08:30 +00:00 |
|
Taus
|
192ac4cae3
|
QL: Add support for class Foo = Bar;
|
2021-05-27 13:08:30 +00:00 |
|
Taus
|
59c4e170a8
|
Make all calls formulas
|
2021-05-27 12:57:39 +00:00 |
|
Taus
|
bb50f90a64
|
QL: Make all calls formulas
|
2021-05-27 12:57:39 +00:00 |
|
Taus
|
20e72d3304
|
Add AST node for expression annotations
|
2021-05-27 12:52:37 +00:00 |
|
Taus
|
59c0c06a8e
|
QL: Add AST node for expression annotations
|
2021-05-27 12:52:37 +00:00 |
|
Taus
|
6aa64ba2cc
|
Fix up NoneCall
In some contexts, `none()` is a formula. This means in general we cannot
assume `Call` is an `Expr`, but only know that it's an `AstNode`.
|
2021-05-27 12:41:22 +00:00 |
|
Taus
|
b79e295c71
|
QL: Fix up NoneCall
In some contexts, `none()` is a formula. This means in general we cannot
assume `Call` is an `Expr`, but only know that it's an `AstNode`.
|
2021-05-27 12:41:22 +00:00 |
|
Taus
|
a99a6a4721
|
Add use of parentheses to printAst test
|
2021-05-27 12:25:29 +00:00 |
|