Erik Krogh Kristensen
|
e6b07070f6
|
Merge pull request #102 from github/esbena/simple-codeql-action
make another codeql-action workflow that uses a published pack
|
2021-10-15 10:32:19 +02:00 |
|
Taus
|
fed640b21f
|
Merge pull request #114 from github/erik-krogh/consistency
fix the signature of regexpCapture and regexpFind
|
2021-10-15 10:12:19 +02:00 |
|
Mathias Vorreiter Pedersen
|
e1871a2508
|
Merge pull request #86 from github/use-set-literal
New query: Use set literal
|
2021-10-15 08:55:30 +01:00 |
|
Erik Krogh Kristensen
|
541dcb365f
|
hook up consistency query
|
2021-10-15 09:31:54 +02:00 |
|
Erik Krogh Kristensen
|
29ebe7b13d
|
add test
|
2021-10-15 09:31:54 +02:00 |
|
Erik Krogh Kristensen
|
1641d0fa93
|
update expected output
|
2021-10-15 09:31:54 +02:00 |
|
Erik Krogh Kristensen
|
f19dd78d40
|
fix getArity on PredicateOrBuiltin
|
2021-10-15 09:31:53 +02:00 |
|
Erik Krogh Kristensen
|
c31bd7a1e8
|
fix the signature of regexpCapture and regexpFind
|
2021-10-15 09:31:31 +02:00 |
|
Mathias Vorreiter Pedersen
|
50e80dc8b7
|
Merge pull request #113 from github/erik-krogh/fix-implcit-this
fix implicit this
|
2021-10-15 08:28:19 +01:00 |
|
Erik Krogh Kristensen
|
016ff2af63
|
fix implicit this
|
2021-10-14 22:37:17 +02:00 |
|
Mathias Vorreiter Pedersen
|
3e2fb5a64e
|
Merge pull request #105 from github/aschackmull/transitive-step
New performance query: Transitive step in recursion.
|
2021-10-14 15:28:33 +01:00 |
|
Anders Schack-Mulligen
|
ec292dbffd
|
New performance query: Transitive step in recursion.
|
2021-10-14 15:42:40 +02:00 |
|
Esben Sparre Andreasen
|
ab11bce776
|
document usage
|
2021-10-14 15:34:54 +02:00 |
|
Geoffrey White
|
76880e8f93
|
Autoformat and fix test.
|
2021-10-14 14:31:42 +01:00 |
|
Esben Sparre Andreasen
|
d23de3dcd8
|
make another codeql-action workflow that uses a published pack
|
2021-10-14 15:29:06 +02:00 |
|
Geoffrey White
|
6af28e37ae
|
We can use PredicateOrBuiltin now.
|
2021-10-14 13:59:47 +01:00 |
|
Geoffrey White
|
9b52ad2d3d
|
Work around import of internal file.
|
2021-10-14 13:59:40 +01:00 |
|
Geoffrey White
|
a665e94805
|
Merge branch 'main' into use-set-literal
|
2021-10-14 13:55:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
78caab4214
|
Merge pull request #81 from github/doc-style
Add some queries for qldoc style
|
2021-10-14 13:46:48 +01:00 |
|
Mathias Vorreiter Pedersen
|
9a15feae29
|
Merge pull request #89 from github/esbena/proper-bundle
Attempt to use a proper query pack
|
2021-10-14 13:24:14 +01:00 |
|
Esben Sparre Andreasen
|
a64660aae1
|
build a query pack separately, with a compilation cache
|
2021-10-14 14:09:01 +02:00 |
|
Anders Schack-Mulligen
|
d7fd1e0718
|
Merge pull request #80 from github/aschackmull/calltarget-astnode
Refactor Call.getTarget to be an AstNode
|
2021-10-14 13:35:50 +02:00 |
|
Anders Schack-Mulligen
|
c0f1d365ba
|
This is slightly faster without magic.
|
2021-10-14 13:12:26 +02:00 |
|
Anders Schack-Mulligen
|
cd3839f621
|
Fix semantic merge conflict
|
2021-10-14 13:12:11 +02:00 |
|
Joe Farebrother
|
b4a05804fa
|
Also allow deprecated headers
|
2021-10-14 12:09:19 +01:00 |
|
Joe Farebrother
|
0f71066aaa
|
Allow comments preceded by INTERNAL
|
2021-10-14 12:09:19 +01:00 |
|
Joe Farebrother
|
fd3c53da9b
|
Add query for class docs that don't start with an article.
Returns quite a few results, many of which seem to be TPs.
|
2021-10-14 12:09:18 +01:00 |
|
Joe Farebrother
|
323ccc8cea
|
Add query to find non US spelling
|
2021-10-14 12:09:18 +01:00 |
|
Anders Schack-Mulligen
|
350620d44a
|
Fix bad magic.
|
2021-10-14 13:07:53 +02:00 |
|
Anders Schack-Mulligen
|
6b4dbc3fe5
|
Fix compile error.
|
2021-10-14 13:07:53 +02:00 |
|
Anders Schack-Mulligen
|
ff3aba0f5d
|
Adjust expected output.
|
2021-10-14 13:07:53 +02:00 |
|
Anders Schack-Mulligen
|
ffc25f8f89
|
Fix semantic merge conflict.
|
2021-10-14 13:06:41 +02:00 |
|
Anders Schack-Mulligen
|
41a0bf154f
|
Move some AstNodes to Ast.qll, fix compilation error.
|
2021-10-14 13:06:41 +02:00 |
|
Anders Schack-Mulligen
|
7955a8b6c8
|
Refactor
|
2021-10-14 13:06:41 +02:00 |
|
Mathias Vorreiter Pedersen
|
3d0917e6fc
|
Merge pull request #96 from github/erik-krogh/dont-use-getaqlclass
add query to detect uses of getAQlClass
|
2021-10-14 12:06:00 +01:00 |
|
Erik Krogh Kristensen
|
6af27c23ec
|
lowercase query id
|
2021-10-14 12:59:27 +02:00 |
|
Erik Krogh Kristensen
|
949ead913f
|
add query to detect uses of getAQlClass
|
2021-10-14 12:59:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
486fc453e7
|
Merge pull request #99 from github/missing-noinline
Add query: Missing `noinline`
|
2021-10-14 11:37:16 +01:00 |
|
Mathias Vorreiter Pedersen
|
626ec4d209
|
QL: Accept test changes.
|
2021-10-14 11:28:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
3e3ad8e5d4
|
Merge branch 'main' into missing-noinline
|
2021-10-14 11:08:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
deffeff01c
|
Merge pull request #97 from github/fix-spurious-exists-mistakes
QL: Respond to PR reviews for #87
|
2021-10-14 11:03:36 +01:00 |
|
Mathias Vorreiter Pedersen
|
2f7272d1ed
|
QL: Add a query that finds missing noinline or nomagic annotations.
|
2021-10-14 11:00:26 +01:00 |
|
Mathias Vorreiter Pedersen
|
c900118731
|
QL: Model QL annotations.
|
2021-10-14 10:59:25 +01:00 |
|
Joe Farebrother
|
9749f797c8
|
Merge pull request #70 from github/dont-mention-this
Query to find member predicates that don't depend on `this`
|
2021-10-14 10:49:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
ed5960e015
|
QL: Respond to PR reviews.
|
2021-10-14 10:48:54 +01:00 |
|
Mathias Vorreiter Pedersen
|
7d9c408af4
|
Merge pull request #87 from github/mathiasvp/superfluous-exists
New query: Unnecessary 'exists'
|
2021-10-14 10:23:53 +01:00 |
|
Erik Krogh Kristensen
|
f7ff83c2e7
|
Merge pull request #93 from github/aschackmull/delete-vscode-file
Delete this file that vscode keeps changing for me.
|
2021-10-14 11:01:33 +02:00 |
|
Anders Schack-Mulligen
|
11fd4f4997
|
Delete this file that vscode keeps changing for me.
|
2021-10-14 10:59:39 +02:00 |
|
Mathias Vorreiter Pedersen
|
bff9665866
|
Merge branch 'main' into mathiasvp/superfluous-exists
|
2021-10-14 09:49:40 +01:00 |
|
Taus
|
f0a8c77095
|
Merge pull request #91 from github/tausbn/fix-parsing-of-unique
Fix parsing of `unique`
|
2021-10-14 10:21:49 +02:00 |
|