Ian Lynagh
cec503eecd
Kotlin: Fix build with 2.1.20-Beta1
2025-01-20 14:31:58 +00:00
Ian Lynagh
4e798b3db4
Kotlin: Add 2.1.20-Beta1
2025-01-20 14:31:57 +00:00
Ian Lynagh
ff328d6c04
Kotlin: Add 2.1.20-Beta1 deps
2025-01-20 14:31:57 +00:00
Ian Lynagh
dedb0cb11f
Kotlin: Support CODEQL_PATH_TRANSFORMER
2025-01-03 16:02:36 +00:00
Cornelius Riemenschneider
53ca5083a9
Upgrade bazel to 8.0.0.
...
Previously, we were using 8.0.0rc1.
In particular, this upgrade means we need to explicitly
import more rules, as they've been moved out of the core bazel repo.
2024-12-10 12:05:37 +01:00
Chris Smowton
81ff394533
Be explicit about Kotlin database type
2024-11-01 19:02:28 +00:00
Chris Smowton
5d3f723df9
Kotlin extractor: use special <nulltype> for null literals
...
This matches the Java extractor's treatment of these literals, and so enables dataflow type-tracking to avoid special-casing Kotlin. Natively, Kotlin would regard this as kotlin.Nothing?, the type that can only contain null (kotlin.Nothing without a ? can take nothing at all), which gets Java-ified as java.lang.Void, and this will continue to be used when a null type has to be "boxed", as in representing substituted generic constraints with no possible type.
2024-11-01 16:14:10 +00:00
Ian Lynagh
8ab52dba83
Kotlin: Don't write the erasure relation
...
It's no longer used
2024-10-29 11:32:18 +00:00
Ian Lynagh
196baa99b2
Merge pull request #17769 from igfoo/igfoo/2.1.0-beta2
...
Kotlin: Fix for 2.1.0-Beta2
2024-10-15 14:56:55 +01:00
Ian Lynagh
b5bfd06624
Kotlin: Fix for 2.1.0-Beta2
...
We need to catch a different exception now.
2024-10-15 13:17:26 +01:00
Ian Lynagh
156ddd3fae
Kotlin: Log our verbosity level
...
This happens at `info` level, which is logged by default.
2024-10-11 14:24:25 +01:00
Cornelius Riemenschneider
4c21444dd5
Bazel: Flip --incompatible_use_plus_in_repo_names.
...
We've hardcoded the tilde in a lot of places :(
This improves performance on Windows and gets us ready for Bazel 8.
We need an upgrade of rules_rust for this to work.
2024-10-09 14:04:05 +02:00
Ian Lynagh
2a5b48930a
Kotlin: Fix the return type for lambda constructors
2024-09-27 11:21:40 +01:00
Ian Lynagh
a6fce19b0c
Kotlin: Fix build with 2.1.0-Beta1
2024-09-25 15:23:35 +01:00
Ian Lynagh
5a03c35e9c
Kotlin: Add 2.1.0-Beta1
2024-09-25 15:23:34 +01:00
Ian Lynagh
f193084f9f
Kotlin: Add 2.1.0-Beta1 jars
2024-09-25 15:23:33 +01:00
Ian Lynagh
0be52f9660
Kotlin: Follow removal of sourceid column of the fields relation
2024-09-24 14:06:53 +01:00
Ian Lynagh
b1f5f9a5cd
Kotlin: Follow removal of typeVars.kind
2024-09-17 11:39:06 +01:00
Ian Lynagh
3a864d3de2
Merge pull request #17292 from igfoo/igfoo/open
...
Kotlin: Remove a redundant 'open'
2024-08-27 12:14:04 +01:00
Ian Lynagh
6a7d8b5301
Kotlin: Restrict some TrapWriter types to DiagnosticTrapWriter
...
We never use the greater generality, so this makes it easier to see
what's happening.
2024-08-23 15:41:21 +01:00
Ian Lynagh
7d500cf58c
Kotlin: Remove a redundant 'open'
2024-08-23 15:08:10 +01:00
Paolo Tranquilli
beba032ba5
Kotlin: fix wrapper on windows
2024-08-15 10:31:32 +02:00
Ian Lynagh
e4b9335ce0
Kotlin: Remove support for deprecated SOURCE_ARCHIVE and TRAP_FOLDER
2024-07-25 12:46:13 +01:00
Ian Lynagh
91dd99d7a6
Kotlin: Fixes for 2.0.20-Beta2
2024-07-16 15:07:34 +01:00
Ian Lynagh
06cc74f3aa
Kotlin: Switch from 2.0.20-Beta1 to -Beta2
2024-07-16 15:07:33 +01:00
Ian Lynagh
adaeb01906
Kotlin: Update deps to 2.0.20-Beta2
2024-07-16 15:07:33 +01:00
Ian Lynagh
64ebfc6297
Kotlin: Add 2.0.20-Beta1
2024-07-16 15:07:32 +01:00
Ian Lynagh
eb0bcdd9b2
Kotlin: Add 2.0.20-Beta1 deps
2024-07-16 15:07:32 +01:00
Ian Lynagh
311799c798
Merge pull request #16899 from igfoo/igfoo/semmle_dist
...
Java/Kotlin: Remove legacy $SEMMLE_DIST support
2024-07-11 12:48:53 +01:00
Paolo Tranquilli
a30e7d2cfd
Kotlin: add all .kotlin_* in dev to .gitignore
2024-07-08 13:18:56 +02:00
Paolo Tranquilli
002e1eb730
Kotlin: make wrapper cache downloaded zips
...
Also removed the version check step, as a version not existing will give
a 404 any way later on, and that was adding a delay.
The cache is stored in a `.kotlinc_zips` and will be cleaned up by
`--clear`.
2024-07-08 11:57:07 +02:00
Ian Lynagh
3260966e3b
Kotlin: Remove unused SEMMLE_DIST
2024-07-03 17:10:41 +01:00
Paolo Tranquilli
a52a412c24
Kotlin: exclude KotlinExtractorDbScheme.kt generated by hand
2024-06-26 09:05:09 +02:00
Ian Lynagh
079717bbc0
Merge pull request #16694 from igfoo/igfoo/PopulationSpecFile
...
Kotlin: Remove unused PopulationSpecFile
2024-06-14 15:06:39 +01:00
Paolo Tranquilli
0198806658
Merge branch 'main' into redsun82/kotlin
2024-06-13 16:29:13 +02:00
Paolo Tranquilli
183a825841
Kotlin: expose kotlin version picker for internal packaging
2024-06-12 09:29:57 +02:00
Paolo Tranquilli
90db894d01
Kotlin: remove obsolete scripts and reword comments
2024-06-11 08:52:26 +02:00
Ian Lynagh
97cb0c89c8
Kotlin: Remove unused PopulationSpecFile
2024-06-06 21:14:28 +01:00
Paolo Tranquilli
e4653a80d4
Kotlin: remove kapt wrapper, probably unneeded
2024-06-04 17:55:19 +02:00
Paolo Tranquilli
10584b3a7a
Kotlin: improve posix dev wrappers
2024-06-04 15:36:35 +02:00
Paolo Tranquilli
be5c82cb88
Kotlin: add other tools to dev wrapper
2024-06-04 15:11:59 +02:00
Paolo Tranquilli
c6039b345b
Kotlin: update default kotlinc version
2024-06-04 14:39:16 +02:00
Paolo Tranquilli
e7cec01a81
Kotlin: make current_kotlin_version.py executable
2024-06-04 14:31:59 +02:00
Paolo Tranquilli
4c91bdce48
Kotlin: tgt -> target
2024-06-04 14:27:33 +02:00
Paolo Tranquilli
6a9cb90a57
Kotlin: rework header comment
2024-06-04 14:21:58 +02:00
Paolo Tranquilli
99f70a64e9
Kotlin: address review comments
2024-06-04 09:00:35 +02:00
Paolo Tranquilli
d1a2c0fbe4
Merge branch 'main' into redsun82/kotlin
2024-06-04 08:48:52 +02:00
Ian Lynagh
2550e113a0
Kotlin: Set CI to use 2.0.0 release
2024-06-03 15:26:51 +01:00
Paolo Tranquilli
75709bf1ec
Merge branch 'main' into redsun82/kotlin
2024-05-16 15:55:08 +01:00
Ian Lynagh
b5d6bb9097
Kotlin: Remove unused var SEMMLE_PLATFORM_TOOLS
2024-05-09 15:59:47 +01:00
