Tom Hvitved
|
d71f2dee9c
|
Rust: Add more variable tests
|
2025-10-30 21:39:28 +01:00 |
|
Asger F
|
c583b480af
|
JS: Add pragma[nomagic] just to be safe
The DIL is unchanged
|
2025-10-30 15:31:51 +01:00 |
|
Asger F
|
1f7671cf5e
|
JS: Ensure integration test contains one valid file
|
2025-10-30 15:31:51 +01:00 |
|
Asger F
|
0acfacefbf
|
JS: Recursively delete source archive so emptiness detection works
|
2025-10-30 15:31:51 +01:00 |
|
Asger F
|
a5819a14be
|
JS: Fix bad join order in getNextToken()
|
2025-10-30 15:31:51 +01:00 |
|
Asger F
|
39f74d808b
|
JS: Add compileForOverlayEval
|
2025-10-30 15:31:51 +01:00 |
|
Simon Friis Vindum
|
a25ae3922d
|
Merge pull request #20682 from paldepind/rust/ti-condition
Rust: Refactor using shared constraint satisfaction
|
2025-10-30 15:19:16 +01:00 |
|
Simon Friis Vindum
|
c648aa69b8
|
Rust: Rename predicates
|
2025-10-30 14:35:17 +01:00 |
|
Tom Hvitved
|
cca458c2ac
|
Rust: Address review comments and handle ! types in type inference
|
2025-10-30 13:30:42 +01:00 |
|
Geoffrey White
|
0e7d410163
|
Merge branch 'main' into macrometric2
|
2025-10-30 10:19:11 +00:00 |
|
Tom Hvitved
|
5697a7e612
|
Rust: More type inference tests
|
2025-10-30 10:43:44 +01:00 |
|
Simon Friis Vindum
|
b189f1fe3f
|
Rust: Refactor using shared constraint satisfaction
|
2025-10-30 08:18:12 +01:00 |
|
Jeroen Ketema
|
26f59a8786
|
Merge pull request #20710 from jketema/swift-rsc
Swift: Do not include the embedded resources
|
2025-10-29 17:38:07 +01:00 |
|
Jeroen Ketema
|
cf2cd20884
|
Swift: Update resources
|
2025-10-29 15:54:17 +01:00 |
|
Jeroen Ketema
|
ea6b05eda3
|
Update docs/codeql/codeql-overview/system-requirements.rst
|
2025-10-29 15:49:53 +01:00 |
|
Tom Hvitved
|
bc53fee1c5
|
Rust: Infer more () types
|
2025-10-29 15:43:00 +01:00 |
|
Tom Hvitved
|
f395162afd
|
Rust: More type inference tests
|
2025-10-29 15:41:23 +01:00 |
|
Tom Hvitved
|
3c663d8ebf
|
Merge pull request #20715 from hvitved/rust/type-inference-overlap-test
Rust: Add type inference tests for method resolution overlap
|
2025-10-29 15:39:07 +01:00 |
|
Anders Schack-Mulligen
|
900d0d2477
|
C#: Accept test changes for assert split removal.
|
2025-10-29 15:17:34 +01:00 |
|
Tom Hvitved
|
6ed8bcbcf3
|
Rust: Add type inference tests for method resolution overlap
|
2025-10-29 14:53:28 +01:00 |
|
Tom Hvitved
|
e5f1238e26
|
Merge pull request #20707 from paldepind/rust/ti-self-trait
Rust: Improve handling of `Self` type parameter
|
2025-10-29 13:17:14 +01:00 |
|
Anders Schack-Mulligen
|
51a577a429
|
Merge pull request #20713 from aschackmull/dataflow/qldoc1
Dataflow: Minor drive-by qldoc addition.
|
2025-10-29 13:13:43 +01:00 |
|
Geoffrey White
|
7a864c5244
|
Rust: Implement suggestion from review.
|
2025-10-29 12:13:12 +00:00 |
|
Anders Schack-Mulligen
|
87d89fd00f
|
C#: Fix CFG for assertion.
|
2025-10-29 13:04:33 +01:00 |
|
Anders Schack-Mulligen
|
e61ddf59d7
|
C#: Remove assertion splitting.
|
2025-10-29 13:04:32 +01:00 |
|
Anders Schack-Mulligen
|
b48d4d4834
|
C#: Recognize assertions as Guards.
|
2025-10-29 13:04:32 +01:00 |
|
Anders Schack-Mulligen
|
500fdb8723
|
Guards: Add support for assertions that exit rather than throw.
|
2025-10-29 13:04:29 +01:00 |
|
Anders Schack-Mulligen
|
72f1fe5d58
|
C#: Exclude nullness sources that are deemed non-null.
|
2025-10-29 13:03:51 +01:00 |
|
Anders Schack-Mulligen
|
0df0816c95
|
Guards: Minor improvement to implications.
|
2025-10-29 13:03:51 +01:00 |
|
Anders Schack-Mulligen
|
cbfb8fd110
|
C#: Accept some test changes.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
7241bedf05
|
C#: Replace Guards with the new implementation.
|
2025-10-29 13:03:50 +01:00 |
|
Anders Schack-Mulligen
|
8b3e62652c
|
Guards: Only prune actually trivial guards.
|
2025-10-29 13:03:46 +01:00 |
|
Anders Schack-Mulligen
|
84b8b1c01f
|
C#: Minor test tweak.
|
2025-10-29 13:02:08 +01:00 |
|
Anders Schack-Mulligen
|
dc4abc952f
|
C#: Replace references to getANullCheck.
|
2025-10-29 13:02:08 +01:00 |
|
Anders Schack-Mulligen
|
46fc006c5f
|
C#: Update NullCheck test to reflect what nullness use.
|
2025-10-29 13:02:07 +01:00 |
|
Anders Schack-Mulligen
|
1aa0e7c2da
|
C#: Make private.
|
2025-10-29 13:02:07 +01:00 |
|
Anders Schack-Mulligen
|
e3fc3192ac
|
C#: Remove tests referencing impliesStep.
|
2025-10-29 13:02:06 +01:00 |
|
Anders Schack-Mulligen
|
9776e8f828
|
C#: Remove an irrelevant reference to impliesStep.
|
2025-10-29 13:02:06 +01:00 |
|
Anders Schack-Mulligen
|
4ea90e06a5
|
Dataflow: Minor drive-by qldoc addition.
|
2025-10-29 12:58:56 +01:00 |
|
Geoffrey White
|
558ca74e9c
|
Merge pull request #20702 from geoffw0/gen2
Rust: Generalize more models
|
2025-10-29 11:32:00 +00:00 |
|
Geoffrey White
|
5ca0bd071d
|
Rust: Exclude skipped files from CallTargetStats and ExprTypeStats as well.
|
2025-10-29 10:42:04 +00:00 |
|
Geoffrey White
|
25e4b790a3
|
Rust: Exclude skipped files from MacroCallTargetStats.
|
2025-10-29 10:42:03 +00:00 |
|
Simon Friis Vindum
|
ce8cffc331
|
Rust: Address comments
|
2025-10-29 11:18:02 +01:00 |
|
Tom Hvitved
|
b7293541cd
|
Merge pull request #20704 from hvitved/rust/fix-bad-joins
Rust: Fix two bad joins
|
2025-10-29 11:11:54 +01:00 |
|
Jeroen Ketema
|
6906c88781
|
Swift: Update change note
|
2025-10-29 11:08:16 +01:00 |
|
Jeroen Ketema
|
2505c8f3e3
|
Swift: Improve docs
|
2025-10-29 11:06:50 +01:00 |
|
Jeroen Ketema
|
9f498df9fa
|
Swift: Do not include the embedded resources
|
2025-10-29 11:00:04 +01:00 |
|
Simon Friis Vindum
|
9022f996e8
|
Rust: Improve handling of occurrences of the Self type parameter
|
2025-10-29 10:41:46 +01:00 |
|
Simon Friis Vindum
|
9ff3c61c6e
|
Rust: Add type inference tests involving Self
|
2025-10-29 10:41:44 +01:00 |
|
yoff
|
4461be180a
|
Merge pull request #19539 from yoff/java/conflicting-access
|
2025-10-28 20:37:44 +01:00 |
|