165 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	12dcd751d3	Rust: Accept test changes	2025-09-12 15:34:09 +02:00
Geoffrey White	e8b7ce43a5	Merge pull request #20270 from geoffw0/pathi ... Rust: Improve FS models	2025-08-28 14:30:18 +01:00
Geoffrey White	08cb038086	Rust: Accept changes to other tests.	2025-08-22 16:17:50 +01:00
Paolo Tranquilli	71edc48c0e	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-15 10:15:26 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Tom Hvitved	fd1d9401c0	Rust: Add tests for chained let expressions	2025-08-14 10:36:41 +02:00
Simon Friis Vindum	97e77944eb	Rust: Accept test changes	2025-07-15 10:21:53 +02:00
Geoffrey White	91072477b7	Rust: Trivial test changes.	2025-06-30 20:15:18 +01:00
Simon Friis Vindum	6b2c125bb0	Rust: Updated expected files	2025-06-19 21:01:53 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Tom Hvitved	aa0fc05df8	Rust: Remove external locations in tests using post-processing	2025-06-04 13:07:43 +02:00
Tom Hvitved	9ee0d2e6cf	Rust: Exclude flow summary nodes from DataFlowStep.ql	2025-05-22 09:53:32 +02:00
Arthur Baars	5ee7658921	Rust: update DataFlowStep.expected	2025-05-22 09:53:23 +02:00
Geoffrey White	ea9531f3ea	Merge branch 'main' into tokio	2025-05-21 09:17:45 +01:00
Geoffrey White	b58b2500ee	Merge branch 'main' into tokio	2025-05-19 10:42:28 +01:00
Simon Friis Vindum	41e76e20b5	Rust: Add models auto-generated in bulk	2025-05-16 14:08:16 +02:00
Simon Friis Vindum	14ede4e0c5	Merge pull request #19440 from paldepind/rust-update-stdlib-models ... Rust: Update generated models for core and std	2025-05-12 08:11:18 +02:00
Arthur Baars	bc35599f1a	Rust: rename MacroStmts to MacroBlockExpr	2025-05-02 16:23:02 +02:00
Arthur Baars	869af58c9d	Rust: add flow step for MacroStmts	2025-05-02 16:23:00 +02:00
Arthur Baars	9ca6706550	Rust: make MacroStmts a CFG Expr	2025-05-02 16:22:59 +02:00
Geoffrey White	3789c46791	Rust: Remove stray comment, accept changes to another test.	2025-05-01 15:40:32 +01:00
Simon Friis Vindum	499d224c2b	Rust: Update generated models for core and std	2025-05-01 10:54:05 +02:00
Simon Friis Vindum	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +02:00
Geoffrey White	254789c89a	Merge pull request #19305 from geoffw0/modelnoise ... Rust: Remove the noisy models output from the dataflow/local test.	2025-04-17 13:16:45 +01:00
Arthur Baars	48f9e5a96d	Merge pull request #19237 from github/aibaars/crate-graph-type-variables ... Rust: extract generic parameters, arguments and resolve bound type variables	2025-04-17 13:02:41 +02:00
Geoffrey White	8d60e82ec0	Merge branch 'main' into modelnoise	2025-04-17 10:43:15 +01:00
Geoffrey White	7e108a8a29	Merge pull request #19310 from geoffw0/trim ... Rust: Add model for str.trim	2025-04-17 09:48:45 +01:00
Geoffrey White	372ba5c9a5	Merge branch 'main' into modelnoise	2025-04-17 09:42:43 +01:00
Arthur Baars	2f87630ded	Rust: update expected output	2025-04-15 17:18:51 +02:00
Geoffrey White	39a875e751	Rust: Make some summaries value type.	2025-04-15 14:46:57 +01:00
Geoffrey White	c561da4536	Merge branch 'main' into rustio	2025-04-15 12:29:55 +01:00
Geoffrey White	fea82d4d6a	Merge branch 'main' into trim	2025-04-15 12:21:48 +01:00
Geoffrey White	40a5db6736	Rust: Other tests affected.	2025-04-15 11:52:23 +01:00
Geoffrey White	bdd5717c09	Rust: Remove the models output from the dataflow/local test.	2025-04-14 16:42:20 +01:00
Geoffrey White	a8b552200a	Rust: Impact on dataflow/local test.	2025-04-14 15:03:04 +01:00
Geoffrey White	e2f63db96d	Merge branch 'main' into badalloc	2025-04-08 10:15:38 +01:00
Geoffrey White	a5883b1627	Rust: Accept test changes (due to added models?).	2025-04-04 21:45:37 +01:00
Geoffrey White	c783549b5c	Merge branch 'main' into blockon	2025-04-04 17:35:00 +01:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Anders Schack-Mulligen	56c46d74f9	Java/Rust/Swift: Accept qltest changes.	2025-03-31 11:44:37 +02:00
Anders Schack-Mulligen	0c74f21107	Merge pull request #19044 from aschackmull/ssa/useuse-trim ... Ssa: Trim the use-use relation to skip irrelevant nodes	2025-03-28 11:55:34 +01:00
Arthur Baars	9dd7b20db7	Merge pull request #18960 from github/aibaars/rust-tainted-path ... Rust: TaintedPath query	2025-03-27 10:37:36 +01:00
Tom Hvitved	72028c034e	Rust: Add reverse post-update flow steps	2025-03-26 09:03:18 +01:00
Anders Schack-Mulligen	ae47339d1a	Rust: Accept test changes.	2025-03-25 12:31:05 +01:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Arthur Baars	2804c13027	Rust: use optionalBarrier	2025-03-20 11:37:05 +01:00
Geoffrey White	0f622b38ab	Rust: Update test results.	2025-03-19 18:42:50 +00:00
Geoffrey White	b609bbb4d8	Merge branch 'main' into convtest	2025-03-19 18:41:56 +00:00