Michael Nebel
f1b12203f6
C#: Add compilation errors to the debug log in BMN.
2025-11-17 14:57:14 +01:00
Jeroen Ketema
1671805598
Merge pull request #20831 from jketema/expanded
...
C++: Extract the expanded compiler arguments
2025-11-17 13:58:24 +01:00
Tom Hvitved
bf0dc3c4d1
Rust: Use useUniversalConditions() { none() }
2025-11-17 13:57:00 +01:00
Tom Hvitved
46f5d89674
Rust: Handle builtin types in path resolution
2025-11-17 13:56:56 +01:00
Tom Hvitved
39720a17ef
Rust: More type inference tests
2025-11-17 13:54:39 +01:00
Tom Hvitved
b0dc48e393
Merge pull request #20723 from paldepind/rust/ti-inheritance
...
Rust: Make impl blocks only give rise to direct trait implementation
2025-11-17 13:36:05 +01:00
Simon Friis Vindum
4eb22a7e55
Rust: Fix grammar
2025-11-17 12:39:38 +01:00
Simon Friis Vindum
9971936036
Rust: Improvements to docs from review comments
2025-11-17 12:39:37 +01:00
Simon Friis Vindum
a07f015d01
Rust: Accept changes to expected files
2025-11-17 12:39:36 +01:00
Tom Hvitved
3419c00bc0
Rust: Use ToIndex instead of FromIndex in ranked forex predicates
...
`ToIndex` makes more sense, since we start the recursion from `0`.
2025-11-17 12:28:35 +01:00
Paul Hodgkinson
7b25e22a37
Merge branch 'main' into java-kotlin-sensitive-logging-substring-barriers
2025-11-17 11:03:39 +00:00
aegilops
528c451007
Added change note, adjusted spacing in comment
2025-11-17 11:02:59 +00:00
Jeroen Ketema
1df47cc747
C++: Fix QL-for-QL warning
2025-11-17 11:17:57 +01:00
Jeroen Ketema
15393ae621
C++: Add change note
2025-11-17 11:17:56 +01:00
Jeroen Ketema
61b7eb3d5c
C++: Update dbscheme stats file
2025-11-17 11:17:55 +01:00
Jeroen Ketema
a8d488fa29
C++: Add upgrade and downgrade scripts
2025-11-17 11:17:54 +01:00
Jeroen Ketema
ee97d6f461
C++: Expose the expanded compilation arguments
2025-11-17 11:17:53 +01:00
Jeroen Ketema
861c236dae
C++: Add table for expanded compilation arguments
2025-11-17 11:17:51 +01:00
Asger F
4b57b4418f
JS: Factor out some code
2025-11-17 10:48:15 +01:00
Asger F
a405b7b3e0
JS: Add discard predicates for locations
2025-11-17 10:47:37 +01:00
Simon Friis Vindum
089bffff94
Rust: Make impl blocks only give rise to direct trait implementation
2025-11-17 10:22:18 +01:00
Michael Nebel
c0ebc17bdc
Merge pull request #20768 from michaelnebel/csharp/extractionlogging
...
C#: Report more timing metrics to the console logger.
2025-11-17 10:06:05 +01:00
Tom Hvitved
19ff5c09d2
Rust: Cache inferCertainType
...
Ideally, this shouldn't be needed, as we already cache `inferType`. However, since we
have consistency checks that directly call `inferCertainType`, we need to cache it
as well to avoid recomputation.
2025-11-17 09:30:20 +01:00
Tom Hvitved
e986cca5c1
Merge pull request #20843 from hvitved/rust/access-after-lifetime-speedup
...
Rust: Speedup `AccessAfterLifetime.ql`
2025-11-17 08:40:27 +01:00
Tom Hvitved
8455663255
Rust: Speedup AccessAfterLifetime.ql
2025-11-15 15:21:03 +01:00
Owen Mansel-Chan
fabcd044d6
Merge pull request #20838 from owen-mc/go/fix/dataset-check-errors-sourcefile
...
Go: fix dataset check errors
2025-11-14 21:04:24 +00:00
aegilops
0c0fbc1457
Fixed sensitive logging barriers for substring to allow single-arg use
2025-11-14 18:12:05 +00:00
aegilops
fa703e3e60
Test cases for sensitive logging sanitizer
2025-11-14 16:53:46 +00:00
Paolo Tranquilli
68a03585da
Merge pull request #20811 from github/redsun82/update-rules_java
...
Javascript: fix errors from upcoming `rules_java` update
2025-11-14 16:44:47 +01:00
Jeroen Ketema
0f2e29c90e
Merge pull request #20816 from paldepind/cpp/range-analysis-perf-fix
...
C++: Range analysis performance fix
2025-11-14 16:15:04 +01:00
Anders Schack-Mulligen
1c93710ed3
Merge pull request #20826 from aschackmull/guards/disjunctive-implication
...
Guards: Support disjunctive implications.
2025-11-14 15:44:45 +01:00
Simon Friis Vindum
792ac7a772
C++: Fix typo
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-11-14 12:59:41 +01:00
Paolo Tranquilli
da12d73f25
Merge branch 'main' into redsun82/update-rules_java
2025-11-14 12:35:09 +01:00
Simon Friis Vindum
1dd78e2f4b
C++: Add change note
2025-11-14 12:26:24 +01:00
Simon Friis Vindum
5da73f3232
C++: Make sure that nrOfBoundsNEPhi is functional
2025-11-14 12:26:23 +01:00
Simon Friis Vindum
74b433ef59
C++: Add range analysis tests
2025-11-14 12:26:22 +01:00
Simon Friis Vindum
69e70d7cbc
Reapply "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
...
This reverts commit e7c029ae7d
2025-11-14 12:26:21 +01:00
Idriss Riouak
96f57b207d
Merge pull request #20615 from github/idrissrio/java-jdk
...
Java: Add test for multi-module projects with different Java versions
2025-11-14 12:18:19 +01:00
Anders Schack-Mulligen
4867306b5e
C#: Add change note.
2025-11-14 11:44:27 +01:00
Anders Schack-Mulligen
dc029e8da9
C#: Accept qltest weirdness.
2025-11-14 11:38:13 +01:00
Owen Mansel-Chan
59ac2d3d3e
Move TransformPath into FileLabelFor
...
This way we don't have to remember to transform it at all call sites.
2025-11-14 10:25:40 +00:00
Tom Hvitved
8668473916
Merge pull request #20683 from hvitved/rust/type-inference-arg-target-typed
...
Rust: Restrict type propagation into arguments
2025-11-14 10:46:04 +01:00
Tom Hvitved
4c7f9c0144
Rust: Rename ContextType -> UnknownType
2025-11-14 10:16:21 +01:00
Owen Mansel-Chan
4005a6e2de
Merge pull request #20835 from github/dependabot/go_modules/go/extractor/extractor-dependencies-d13c81f2db
...
Bump golang.org/x/tools from 0.38.0 to 0.39.0 in /go/extractor in the extractor-dependencies group
2025-11-14 09:09:18 +00:00
Tom Hvitved
337e161aa3
Merge pull request #20834 from hvitved/rust/fix-bad-join
...
Rust: Fix bad join
2025-11-14 09:57:56 +01:00
Idriss Riouak
d916ebdc24
Java: Address review comments. Improve Change note
...
Co-authored-by: Chris Smowton <smowton@github.com >
2025-11-14 09:53:09 +01:00
Tom Hvitved
79bdf897d7
Rust: Context typing for constructors
2025-11-14 09:45:03 +01:00
Tom Hvitved
c16b42119d
Rust: More type inference tests
2025-11-14 09:45:02 +01:00
Tom Hvitved
e69ff0d5e8
Rust: Restrict type propagation into arguments
2025-11-14 09:44:58 +01:00
Tom Hvitved
72b7dd8955
Rust: Add more type inference tests
2025-11-14 09:41:30 +01:00
