Ian Lynagh
|
0ee72a580a
|
Kotlin: Remove a cast in extendsAdditionAllowed
|
2022-09-02 16:58:05 +01:00 |
|
Ian Lynagh
|
a35c7ab5b3
|
Kotlin: Remove cast in extractFunctionReference
|
2022-09-02 15:40:45 +01:00 |
|
Tamas Vajk
|
7daf53fd99
|
Add regenerated models after rebase
|
2022-09-02 16:32:42 +02:00 |
|
Ian Lynagh
|
2ecd9c93d1
|
Kotlin: Remove cast in extractGeneratedClass
It turns out that this was really behaving as a nullness check.
|
2022-09-02 15:26:49 +01:00 |
|
Paolo Tranquilli
|
48761b8667
|
Merge pull request #10233 from github/redsun82/swift-conversions-in-print-ast
Swift: show conversions in `PrintAst`
|
2022-09-02 16:13:21 +02:00 |
|
Tamas Vajk
|
2138e491a5
|
Add change note
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
8c5d220dc0
|
Add optional friendly name parameter to MaD generator
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
5004a5fb60
|
Fix failing external model tests
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
09e62058ae
|
Generate negative summaries
|
2022-09-02 16:12:22 +02:00 |
|
Tamas Vajk
|
9fad42b25d
|
Kotlin: Add manual model for Array.withIndex
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
bb82bcabbe
|
Kotlin: move and rename KotlinStdLib.qll to kotlin/StdLib.qll
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
8c7fdb969d
|
Kotlin: Regenerating StdLib models with already existing models
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
a144fa06dc
|
Kotlin: Add generated MaD for stdlib
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
57d861337b
|
Kotlin: Add dataflow tests for stdlib calls
|
2022-09-02 16:12:21 +02:00 |
|
Tamas Vajk
|
71cce9cf28
|
Kotlin: Extract error expression for enumValues<T> calls
|
2022-09-02 15:42:05 +02:00 |
|
Tamas Vajk
|
fd0d2ad767
|
Kotlin: Add test for enumValues call with type parameter
|
2022-09-02 15:40:03 +02:00 |
|
Paolo Tranquilli
|
2234070bfe
|
Swift: ...and accept the test
|
2022-09-02 15:36:46 +02:00 |
|
Paolo Tranquilli
|
3d0d3ecfca
|
Swift: fix stupid typo
|
2022-09-02 15:35:22 +02:00 |
|
Ian Lynagh
|
6d5d78e975
|
Merge pull request #10275 from igfoo/igfoo/TypeResults
Kotlin: Fix the type of TypeResultGeneric.cast
|
2022-09-02 14:34:22 +01:00 |
|
Paolo Tranquilli
|
c842ae40f6
|
Swift: make node properties consistent with other languages
|
2022-09-02 15:31:37 +02:00 |
|
Paolo Tranquilli
|
e3e9774956
|
Swift: print conversions similarly to C++
|
2022-09-02 15:31:37 +02:00 |
|
Michael Nebel
|
9c5a6dd031
|
C#: Add WithElement summary for Reverse and update expected test output.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
e7e78dcab3
|
C#: Add with element example and update existing line numbers in testcase.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
022cbfa009
|
C#: Support 'WithElement'.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
5511bc8e28
|
Java/Ruby/Swift: Sync files.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
ecce30ed5a
|
C#: Remove clearsContent predicate from the framework code.
|
2022-09-02 15:17:24 +02:00 |
|
Michael Nebel
|
19da00a51a
|
C#: Delete clears content test case.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
2ae2008453
|
C#: Update flow summaries test expected output.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
f43feac324
|
C#: Add models as data models for Clear.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
80f89282b7
|
C#: Add summary for System.Text.StringBuilder.Clear.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
e3bfc4bd82
|
C#: CSV Printing of WithoutElement content.
|
2022-09-02 15:17:23 +02:00 |
|
Michael Nebel
|
8234a508b3
|
C#: Parsing of WithoutElement.
|
2022-09-02 15:17:23 +02:00 |
|
erik-krogh
|
089ce5a8a4
|
change alert messages of path queries to use the same template
|
2022-09-02 14:45:40 +02:00 |
|
Ian Lynagh
|
c339a2d4a7
|
Merge pull request #10273 from igfoo/igfoo/extractRawMethodAccess
Kotlin: Remove cast from extractRawMethodAccess
|
2022-09-02 13:26:33 +01:00 |
|
Ian Lynagh
|
ed04bec34e
|
Merge pull request #10274 from igfoo/igfoo/extractCall
Kotlin: Remove a cast in array iterator call extraction
|
2022-09-02 13:26:10 +01:00 |
|
Tom Hvitved
|
99d9fe14c8
|
C#: Also inject dotnet (pack|test|run)
|
2022-09-02 14:17:23 +02:00 |
|
Ian Lynagh
|
3195404b63
|
Merge pull request #10272 from igfoo/igfoo/getDeclaringTypeArguments
Kotlin: Remove some casts from getDeclaringTypeArguments
|
2022-09-02 13:13:40 +01:00 |
|
Tom Hvitved
|
7c12139c9e
|
C#: Also inject /p:UseSharedCompilation=false into dotnet publish
|
2022-09-02 13:51:22 +02:00 |
|
Ian Lynagh
|
3646d1d294
|
Kotlin: Fix the type of TypeResultGeneric.cast
|
2022-09-02 12:39:46 +01:00 |
|
Ian Lynagh
|
a56876533f
|
Kotlin: Remove a cast in array iterator call extraction
|
2022-09-02 12:25:14 +01:00 |
|
Ian Lynagh
|
db1661fb13
|
Kotlin: Remove cast from extractRawMethodAccess
I'm not entirely happy with this, but it at least meets the goal of
removing the cast.
|
2022-09-02 12:14:09 +01:00 |
|
Tom Hvitved
|
ba62b9e822
|
Address review comments
|
2022-09-02 13:07:27 +02:00 |
|
Ian Lynagh
|
3eab35d78b
|
Kotlin: Small simplification
|
2022-09-02 12:04:21 +01:00 |
|
Ian Lynagh
|
07b3b15528
|
Merge pull request #10221 from tamasvajk/kotlin-internal
Kotlin: Change `Modifiable::isPublic` to not cover Kotlin `internal` members
|
2022-09-02 11:51:56 +01:00 |
|
Ian Lynagh
|
6a4b748958
|
Kotlin: Remove some casts from getDeclaringTypeArguments
|
2022-09-02 11:50:00 +01:00 |
|
james
|
c0b9be0ecb
|
new screenshot
|
2022-09-02 10:43:36 +01:00 |
|
james
|
0c971bcc8c
|
update info about downloading dbs in vs code
|
2022-09-02 10:36:02 +01:00 |
|
Ian Lynagh
|
4f7eb7be83
|
Merge pull request #10262 from igfoo/igfoo/useArrayType
Kotlin: Avoid unsafe casts in useArrayType
|
2022-09-02 10:25:34 +01:00 |
|
Ian Lynagh
|
b05d8a61ba
|
Merge pull request #10263 from igfoo/igfoo/useSimpleType3
Kotlin: Remove some casts in useSimpleType
|
2022-09-02 10:25:23 +01:00 |
|
Tamas Vajk
|
c77f573a8e
|
Kotlin: fix doc comment extraction for local functions
|
2022-09-02 10:47:08 +02:00 |
|