7535 Commits

Author	SHA1	Message	Date
github-actions[bot]	a22e70373a	Release preparation for version 2.17.4	2024-05-31 13:40:51 +00:00
Chuan-kai Lin	b41835a7d9	Revert "Release preparation for version 2.17.4"	2024-05-30 09:25:15 -07:00
github-actions[bot]	33b4ae8bbb	Release preparation for version 2.17.4	2024-05-28 15:44:32 +00:00
Michael Nebel	195ccb0018	Merge pull request #16484 from michaelnebel/csharp/superimplmodelgen ... C#: Lift models.	2024-05-28 15:49:35 +02:00
Michael Nebel	5a25967019	C#: Address review comments.	2024-05-28 13:38:23 +02:00
Anders Schack-Mulligen	d88c498d49	Merge pull request #16456 from aschackmull/dataflow/callcontext-grouping ... Dataflow: Implement call context grouping to improve performance	2024-05-27 14:11:11 +02:00
Cornelius Riemenschneider	735bea624a	Place the C++ autobuilder in the correct path.	2024-05-27 11:55:14 +02:00
Anders Schack-Mulligen	5c635e982e	C++/C#/Java: Update expected output.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	1432519cc2	Dataflow: Add totalorder predicates to all languages.	2024-05-27 11:01:52 +02:00
Anders Schack-Mulligen	bc8ca1af86	Dataflow: Introduce NodeRegions for use in isUnreachableInCall.	2024-05-27 11:01:51 +02:00
Cornelius Riemenschneider	d30ed54bfd	Merge branch 'main' into criemen/bazel-csharp	2024-05-24 18:02:20 +02:00
Michael Nebel	c59c7cf02a	C#: Use manual sink callables as exclusion for extrapolated sinks.	2024-05-24 12:50:48 +02:00
Michael Nebel	d272d6a9ca	C#: Assume that models should apply when a method is overridable except for the implicit methods on Object and ValueType.	2024-05-24 12:50:48 +02:00
Michael Nebel	ad55744877	C#: Add model generator test case for property.	2024-05-24 12:50:48 +02:00
Michael Nebel	057a420833	C#: Update expected test output.	2024-05-24 12:50:48 +02:00
Michael Nebel	a8feda2e2b	C#: Introduce lifting of callables in the model generator.	2024-05-24 12:50:48 +02:00
Michael Nebel	0d397cea9f	C#: Add some model generator tests related to lifting.	2024-05-24 12:50:48 +02:00
Michael Nebel	3ad29d843d	C#: Re-factor model generator specific to align with Java.	2024-05-24 12:50:48 +02:00
Michael Nebel	95473c06fc	Merge pull request #16520 from michaelnebel/csharp/fixsummarizedcallabledataflow ... C#: Make the flow summary filtering in the adapter.	2024-05-24 12:48:03 +02:00
Tamas Vajk	9aee2dc002	C#: Adjust compiler argument integration test	2024-05-24 08:39:08 +02:00
Michael Nebel	f5c654b669	Merge pull request #16579 from tamasvajk/fix/integration-test-2 ... C#: Fix integration test expected file	2024-05-24 08:16:37 +02:00
Dave Bartolomeo	f498e05099	Merge branch 'main' into dbartol/v1	2024-05-23 14:37:28 -04:00
Dave Bartolomeo	613ccaac1d	Add change note to all v1.0.0 packs	2024-05-23 13:01:22 -04:00
Tamas Vajk	5928ede324	C#: Fix integration test expected file	2024-05-23 16:47:35 +02:00
Tamás Vajk	c0d623c056	Merge pull request #16567 from tamasvajk/refactor/static-extraction-state ... C#: Refactor static compilation state	2024-05-23 14:49:33 +02:00
Tamás Vajk	5cf7112d4c	Merge pull request #16541 from tamasvajk/buildless/use-nuget-config-fallback ... C#: Use nuget feeds from nuget.config in fallback restore	2024-05-23 10:43:03 +02:00
Cornelius Riemenschneider	303dc200c1	Add standalone dependency to autobuilder, following upstream changes.	2024-05-23 10:24:44 +02:00
Cornelius Riemenschneider	576ea325e8	Merge remote-tracking branch 'origin/main' into criemen/bazel-csharp	2024-05-23 10:21:19 +02:00
Tamas Vajk	7042f3222a	Code quality improvements	2024-05-23 09:49:09 +02:00
Tamas Vajk	c58971e632	C#: Refactor static compilation state	2024-05-23 09:47:49 +02:00
Tom Hvitved	11da42b049	Merge pull request #16134 from hvitved/csharp/autobuild-buildless-process-indirection ... C#: Avoid process creation indirection in auto-builder	2024-05-23 09:25:58 +02:00
Tom Hvitved	f517c00658	Merge pull request #16559 from hvitved/csharp/callable-always-returns-true ... C#: Simplify logic in `JsonWebTokenHandlerLib.qll`	2024-05-23 09:25:19 +02:00
Tom Hvitved	621de2b977	C#: Avoid process creation indirection in auto-builder	2024-05-22 20:05:16 +02:00
Dave Bartolomeo	ffe4c8c87b	Update all pack versions to 1.0.0	2024-05-22 13:39:08 -04:00
Michael Nebel	2449074f3d	C#: Remove the DataFlowSummarizedCallable as this narrowing is now handled in the adapter.	2024-05-22 15:11:41 +02:00
Tom Hvitved	39019b3b62	C#: Simplify logic in JsonWebTokenHandlerLib.qll	2024-05-22 14:24:32 +02:00
Anders Schack-Mulligen	bbebdfea8d	Merge pull request #16511 from aschackmull/dataflow/configuration-provenance ... Dataflow: Add provenance for configuration-specific steps.	2024-05-22 14:07:10 +02:00
Tamás Vajk	c9f468578d	Merge pull request #16521 from tamasvajk/impr/refactor-common-csproj-prop ... C#: Refactor common msbuild properties	2024-05-22 13:38:31 +02:00
Michael Nebel	e4319db18d	C#: Filter out unwanted summaries at the root.	2024-05-22 12:53:55 +02:00
Cornelius Riemenschneider	09f60e3e45	C#: Address C# code comments.	2024-05-22 12:09:12 +02:00
Michael Nebel	84e412fe36	Merge pull request #16477 from michaelnebel/csharp/madinlinetest ... C#: Inline expectation for model generator test.	2024-05-22 11:05:23 +02:00
Tamás Vajk	855fe12c6c	Merge pull request #16549 from tamasvajk/fix/tsp-diag ... C#: Fix TSP diagnostic message	2024-05-22 10:10:26 +02:00
Anders Schack-Mulligen	73b8314308	C#: Accept qltest .expected file changes.	2024-05-22 10:05:42 +02:00
Tamas Vajk	91aa182d53	C#: Fix TSP diagnostic message	2024-05-22 08:49:55 +02:00
Paolo Tranquilli	b744f9fab9	Merge pull request #16544 from github/redsun82/bazel-csharp-2 ... Bazel/C#: avoid zipmerge	2024-05-22 08:18:30 +02:00
Cornelius Riemenschneider	767d427c1b	C#: Re-implement the git version logic using an attribute.	2024-05-21 17:28:31 +02:00
Paolo Tranquilli	b19bf2f37a	Bazel/C#: avoid zipmerge	2024-05-21 15:29:54 +01:00
Tom Hvitved	bebcd679a4	Address review comments	2024-05-21 14:51:52 +02:00
Rasmus Wriedt Larsen	2451a6d3f6	Accept .expected changes	2024-05-21 14:47:42 +02:00
Tom Hvitved	454687d583	Data flow: Synthesize parameter return nodes	2024-05-21 14:47:42 +02:00