4367 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	9e1e56f769	Swift: remove obsolete bazel definitions	2024-11-06 08:39:53 +01:00
Paolo Tranquilli	afd4585561	Merge branch 'main' into redsun82/swift-6	2024-11-06 08:05:52 +01:00
Paolo Tranquilli	c875667980	Swift: update to 6.0.2	2024-11-06 08:05:14 +01:00
github-actions[bot]	f107d16b4e	Post-release preparation for codeql-cli-2.19.3	2024-11-04 17:20:08 +00:00
github-actions[bot]	cc7b724123	Release preparation for version 2.19.3	2024-11-04 16:37:28 +00:00
Geoffrey White	24c4e87f44	Swift: Fix stray [].	2024-11-01 16:30:15 +00:00
Geoffrey White	f3ea75d27c	Swift: Further modelling updates / gap filling that doesn't seem to affect tests.	2024-11-01 16:19:41 +00:00
Geoffrey White	954fbc44bf	Swift: Update prefix / suffix models for Swift 6.	2024-11-01 16:19:39 +00:00
Geoffrey White	be12649838	Swift: Update joined models for Swift 6.	2024-11-01 16:19:36 +00:00
Geoffrey White	6f0f73974a	Swift: Update dropFirst / dropLast / reversed models for Swift 6.	2024-11-01 16:19:34 +00:00
Paolo Tranquilli	1f356078ff	Swift: temporarily accept test changes	2024-10-31 15:57:31 +01:00
Tom Hvitved	2b37c6cd32	Merge pull request #17548 from hvitved/shared/inline-test-post-process ... Shared: Post-processing query for inline test expectations	2024-10-31 11:40:11 +01:00
Paolo Tranquilli	5a045beff9	Swift: turn off SIL verifications	2024-10-31 10:03:08 +01:00
Paolo Tranquilli	ce4273d461	Revert "Swift: use -typecheck in QL tests" ... This reverts commit 34b8b43843.	2024-10-31 09:52:08 +01:00
Paolo Tranquilli	3aa7123032	Swift: restrict UnresolvedAstNodes to known locations	2024-10-31 09:26:14 +01:00
Paolo Tranquilli	34b8b43843	Swift: use -typecheck in QL tests	2024-10-31 06:41:46 +01:00
Paolo Tranquilli	7f3745cfcd	Swift: fix @isolated(any) DB inconsistencies	2024-10-31 06:22:06 +01:00
Paolo Tranquilli	3877eb8bc9	Swift: tentatively fix type mangling	2024-10-30 17:08:20 +01:00
Paolo Tranquilli	01417025f2	Swift: use ubuntu-latest	2024-10-30 16:20:27 +01:00
Paolo Tranquilli	5e6228cf7c	Swift: fix	2024-10-30 16:11:08 +01:00
Paolo Tranquilli	d325b8e678	Swift: update load.bzl and resources	2024-10-30 15:56:48 +01:00
Paolo Tranquilli	91f683d94c	Merge branch 'main' into redsun82/swift-6	2024-10-30 12:27:24 +01:00
Paolo Tranquilli	d3fb2543d2	Swift: try out new builds	2024-10-30 12:26:34 +01:00
Tom Hvitved	cc94c42f87	Address review comments	2024-10-29 20:36:16 +01:00
Tom Hvitved	4561770db4	Swift: Post-processing query for inline test expectations	2024-10-29 13:35:34 +01:00
Anders Schack-Mulligen	c20f12fa6c	Add qldoc.	2024-10-16 14:35:23 +02:00
Anders Schack-Mulligen	635071fe8a	Swift: Add tentative support for speculative taint flow.	2024-10-16 14:35:21 +02:00
Anders Schack-Mulligen	c80627a3d3	Dataflow: add plumbing for adding provenance to state-steps.	2024-10-16 14:35:18 +02:00
github-actions[bot]	079ab77a38	Post-release preparation for codeql-cli-2.19.2	2024-10-15 12:16:59 +00:00
github-actions[bot]	255f55cf1a	Release preparation for version 2.19.2	2024-10-15 10:29:25 +00:00
Tom Hvitved	bdb793ba92	Swift: Adopt shared ConditionalCompletionSplitting implementation	2024-10-09 11:02:18 +02:00
Paolo Tranquilli	524686ce37	Swift: make extractor compilable with Swift 6	2024-10-08 16:39:21 +02:00
Tom Hvitved	6196fd2cc1	Swift: Update expected test output	2024-10-07 09:45:08 +02:00
github-actions[bot]	e97878ed63	Post-release preparation for codeql-cli-2.19.1	2024-09-30 19:49:00 +00:00
github-actions[bot]	455c8c5953	Release preparation for version 2.19.1	2024-09-30 17:59:48 +00:00
Tom Hvitved	97ead6f462	Merge pull request #17560 from hvitved/codegen/remove-cached ... Codegen: Do not cache injectors/projectors in `Synth` module	2024-09-27 13:17:02 +02:00
Tom Hvitved	d3368be94a	Swift: Run codegen	2024-09-24 14:42:37 +02:00
Tom Hvitved	f287216060	Update expected test output	2024-09-24 14:21:38 +02:00
Chuan-kai Lin	1cd8af54f2	Merge pull request #17190 from github/cklin/diff-informed-java-queries ... Java: add support for alert location restrictions	2024-09-23 08:39:24 -07:00
Anders Schack-Mulligen	3a1e50dcf9	Dataflow: Simplify diff-informed implementation and tweak flag name.	2024-09-20 07:07:10 -07:00
Tom Hvitved	16813240ae	Shared: Do not use @kind graph for CFG test output	2024-09-19 18:13:31 +02:00
Tom Hvitved	8c0d2e910c	Swift: Run code generator	2024-09-17 20:25:57 +02:00
Tom Hvitved	961b077954	Swift: Add change note	2024-09-16 19:27:31 +02:00
Chris Smowton	30be6803c3	Merge pull request #17480 from github/post-release-prep/codeql-cli-2.19.0 ... Post-release preparation for codeql-cli-2.19.0	2024-09-16 16:06:58 +01:00
Paolo Tranquilli	37f3ea137b	Merge pull request #17474 from github/redsun82/swift-cfg-order-disambuigation ... Swift: tentative fix to Cfg disambuigation	2024-09-16 16:54:26 +02:00
Paolo Tranquilli	d1704cfb14	Merge pull request #17444 from hvitved/rust/final-classes ... Rust/Swift: Make all public AST classes `final`	2024-09-16 16:42:40 +02:00
github-actions[bot]	79be301984	Post-release preparation for codeql-cli-2.19.0	2024-09-16 14:09:32 +00:00
Tom Hvitved	8d68bdf4d6	Codegen: Fix return type of getResolveStep and resolve	2024-09-16 14:19:29 +02:00
Tom Hvitved	575023f212	Swift: Add up/downgrade scripts	2024-09-16 13:40:06 +02:00
Tom Hvitved	d2f633b3b4	Swift: Manual changes after running code generator	2024-09-16 13:40:05 +02:00