1837 Commits

Author	SHA1	Message	Date
Napalys Klicius	c74321a2ee	all: used Erik's script to delete outdated deprecations	2025-05-19 13:26:08 +02:00
Paolo Tranquilli	2388dd06d4	Swift: add new TypeValueExpr to CFG	2025-05-14 11:16:44 +02:00
Jeroen Ketema	98384bf4c2	Swift: Support BuiltinFixedArrayType	2025-05-02 14:47:58 +02:00
Jeroen Ketema	c74fca929a	Swift: Support TypeValueExpr and IntegerType	2025-05-02 14:47:56 +02:00
Jeroen Ketema	97d2ed8b3b	Swift: Support UnsafeCastExpr	2025-05-02 14:47:55 +02:00
Paolo Tranquilli	1ac47a892b	Swift: make extractor compile again after 6.1 upgrade	2025-04-23 17:10:54 +02:00
Paolo Tranquilli	fa6deaf87a	Swift: extract UnreachableExpr	2025-04-14 10:35:24 +02:00
Paolo Tranquilli	9473543933	Swift: extract ActorIsolationErasureExpr	2025-04-14 10:35:24 +02:00
Paolo Tranquilli	b575c89463	Swift: add CurrentContextIsolationTree to control flow	2025-04-14 10:35:23 +02:00
Paolo Tranquilli	712142cde9	Swift: extract CurrentContextIsolationExpr	2025-04-14 10:35:22 +02:00
Paolo Tranquilli	42ec6b018d	Swift: add ExtractFunctionIsolationTree to control flow	2025-04-14 10:35:22 +02:00
Paolo Tranquilli	2910cb68ce	Swift: extract ExtracFunctionIsolationExpr	2025-04-14 10:35:21 +02:00
Anders Schack-Mulligen	e04075b0ec	Merge pull request #19177 from aschackmull/swift/ssa-useuse ... Swift: Update SSA to reference the new use-use predicates.	2025-04-03 09:46:47 +02:00
Anders Schack-Mulligen	e1ef56b8bb	Swift: Fix accidental cartesian product.	2025-04-01 15:23:16 +02:00
Anders Schack-Mulligen	887452d202	Swift: Update SSA to reference the new use-use predicates.	2025-04-01 10:05:02 +02:00
Tom Hvitved	56f4694b38	Swift: Avoid calling Element.toString recursively	2025-04-01 08:48:16 +02:00
Tom Hvitved	c14a2375c3	Swift: Run codegen	2025-04-01 08:48:15 +02:00
Tom Hvitved	dcd01befc2	Swift: Cache Element.toString	2025-03-14 11:58:42 +01:00
Tom Hvitved	dd21dab055	Swift: Add get(Immediate)Child predicate	2025-03-13 11:13:04 +01:00
Simon Friis Vindum	7c57962add	Merge branch 'main' into shared-bb-dominates	2025-02-11 09:31:06 +01:00
Anders Schack-Mulligen	0b5270979d	SSA: Remove the need for ExitBasicBlock in SSA.	2025-02-10 14:36:18 +01:00
Simon Friis Vindum	820d2cbeb8	Shared: Use edge dominance in basic block library	2025-02-06 10:38:32 +01:00
Tom Hvitved	55ac9ae021	Swift: Run codegen	2025-02-03 09:11:11 +01:00
erik-krogh	34f5f61a10	all: use my script to delete outdated deprecations	2025-01-27 22:16:48 +01:00
Simon Friis Vindum	e13a7a224f	Merge branch 'main' into shared-basic-block-library	2025-01-24 09:54:26 +01:00
Simon Friis Vindum	4d05b6a0a5	Shared: Address review comments for shared basic block library	2025-01-17 13:11:49 +01:00
Simon Friis Vindum	c051eecfb4	Shared: Add shared basic block library	2025-01-16 16:36:45 +01:00
Geoffrey White	90faab456d	Merge pull request #18473 from geoffw0/sensitive2 ... Improve shared sensitive data library handling of snake_case variable names	2025-01-15 18:02:33 +00:00
Geoffrey White	488738a8b8	Swift: Remove special case that is now redundant.	2025-01-10 10:31:55 +00:00
Geoffrey White	f8659c0a4e	Sync identical files.	2025-01-10 10:26:13 +00:00
Tom Hvitved	1b31c90d26	Implement FlowSummaryImpl stubs	2025-01-06 13:26:51 +01:00
Paolo Tranquilli	4ac602ccd7	Merge branch 'main' into redsun82/swift-6	2024-12-06 12:31:40 +01:00
Paolo Tranquilli	9da7e8a04f	Merge pull request #18142 from github/redsun82/swift-6-for-each-vars ... Swift: extract variables as children of `ForEachStmt`	2024-12-04 11:08:35 +01:00
Anders Schack-Mulligen	f07f2b0f4a	Swift: Delete deprecated data flow api.	2024-12-03 14:40:43 +01:00
Geoffrey White	e9deec7217	Rust: Autoformat.	2024-11-29 16:03:06 +00:00
Geoffrey White	1fc112e7a7	Swift: Fix for OptionSet.	2024-11-28 18:48:23 +00:00
Geoffrey White	e08eac03d8	Swift: Fix for Int.description.	2024-11-28 18:18:23 +00:00
Geoffrey White	23ed48ea12	Swift: Add a couple more makeIterator() implementations to be safe.	2024-11-28 10:18:13 +00:00
Geoffrey White	1d43abfe4d	Swift: Model Collection.makeIterator().	2024-11-28 10:11:55 +00:00
Paolo Tranquilli	814218c7a8	Swift: extract variables as children of ForEachStmt	2024-11-28 11:03:46 +01:00
Paolo Tranquilli	8bcc5f4bf8	Merge pull request #17989 from geoffw0/swift6models2 ... Swift: More model repairs for Swift 6	2024-11-18 11:52:14 +01:00
Geoffrey White	fa43207538	Swift: Autoformat.	2024-11-18 09:40:06 +00:00
Geoffrey White	8245e6c2b9	Swift: Fix unwanted flows.	2024-11-14 17:51:47 +00:00
Geoffrey White	e589b1fcd0	Swift: Fix query barriers.	2024-11-14 17:37:43 +00:00
Geoffrey White	c2c23c872b	Swift: Address some modelling issues for Swift 6.	2024-11-14 17:22:15 +00:00
Paolo Tranquilli	afd4585561	Merge branch 'main' into redsun82/swift-6	2024-11-06 08:05:52 +01: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