644 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	52280625ee	Rust: Add type inference inconsistency counts to the stats summary	2025-05-27 12:43:34 +02:00
Simon Friis Vindum	ba4950fb89	Rust: Accept test changes	2025-05-27 09:35:40 +02:00
Paolo Tranquilli	add3c941a2	Merge branch 'main' into redsun82/rust-macro	2025-05-26 11:47:58 +02:00
Arthur Baars	5b28ff1116	Merge branch 'main' into aibaars/rust-extract-libs	2025-05-23 22:05:29 +02:00
Paolo Tranquilli	31b48e18e6	Rust: fix BadCtorInitialization test	2025-05-23 12:01:14 +02:00
Geoffrey White	9ac24c7f4f	Merge branch 'main' into moresensitive	2025-05-22 16:11:12 +01:00
Arthur Baars	a4788fd816	Rust: update expected output	2025-05-22 13:36:38 +02:00
Arthur Baars	f093c496d5	Rust: normalize file paths for PathResolutionConsistency.ql	2025-05-22 09:53:31 +02:00
Arthur Baars	e90ab7b881	Rust: fix diagnostics tests	2025-05-22 09:53:27 +02:00
Arthur Baars	457632e10e	Rust: update UncontrolledAllocationSize.expected	2025-05-22 09:53:24 +02:00
Geoffrey White	e96e39c3d3	Rust: Model log_err.	2025-05-20 17:51:15 +01:00
Geoffrey White	e5af459787	Rust: Correct what we're testing here.	2025-05-20 17:30:49 +01:00
Geoffrey White	355e440fdf	Rust: Make the new test cases work.	2025-05-20 15:25:14 +01:00
Geoffrey White	3b40a5875a	Rust: Add test cases (generated by LLM).	2025-05-20 15:21:32 +01:00
Simon Friis Vindum	654d410485	Rust: Address PR feedback	2025-05-19 15:50:29 +02:00
Geoffrey White	65456b5cf0	Merge branch 'main' into moresensitive	2025-05-19 11:54:46 +01:00
Geoffrey White	f04d6fd8c8	Rust: Accept minor test changes for the cleartext logging query.	2025-05-12 17:45:00 +01:00
Simon Friis Vindum	bc8580159c	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-12 11:35:48 +02:00
Geoffrey White	d02d5c5baf	Rust: Update cleartext logging test with new found results.	2025-05-09 14:33:26 +01:00
Arthur Baars	9b0854edb1	Merge pull request #19335 from github/aibaars/macro-stmts ... Rust: make MacroStmts expressions	2025-05-03 11:22:15 +02:00
Arthur Baars	869af58c9d	Rust: add flow step for MacroStmts	2025-05-02 16:23:00 +02:00
Arthur Baars	4ca98ba816	Rust: test with format! macro in a block	2025-05-02 16:22:57 +02:00
Tom Hvitved	ae2fd52543	Merge pull request #19431 from hvitved/rust/path-resolution-remove-visibility-check ... Rust: Remove visibility check in path resolution	2025-05-02 14:44:14 +02:00
Tom Hvitved	07829e5231	Merge pull request #19421 from github/aibaars/rust-builtin-types ... Rust: extract declarations of builtin types	2025-05-02 14:43:47 +02:00
Arthur Baars	778f46d5be	Rust: adjust unit tests and expected output	2025-05-01 22:21:48 +02:00
Tom Hvitved	73fa381dbc	Rust: Remove visibility check in path resolution	2025-05-01 17:14:49 +02:00
Simon Friis Vindum	a545361a55	Rust: Accept test changes	2025-05-01 12:36:01 +02:00
Simon Friis Vindum	f584d22b53	Rust: Use type inference to insert implicit borrows and derefs	2025-04-30 14:43:51 +02:00
Tom Hvitved	6df5a1ef80	Rust: Extract SelfParams from crate graph	2025-04-24 15:30:23 +02:00
Geoffrey White	22b3ef7f20	Merge pull request #19333 from geoffw0/consistency ... Rust: Make source kinds consistent with other languages	2025-04-17 13:15:00 +01:00
Geoffrey White	43069f139d	Rust: command-line-source -> commandargs.	2025-04-17 10:15:04 +01:00
Geoffrey White	ed2d06bcd7	Rust: environment-source -> environment.	2025-04-17 09:57:59 +01:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Geoffrey White	432d4b0eca	Merge branch 'main' into trim	2025-04-15 16:05:02 +01:00
Geoffrey White	fea82d4d6a	Merge branch 'main' into trim	2025-04-15 12:21:48 +01:00
Geoffrey White	c06f340bd8	Rust: Make str / String models consistent.	2025-04-15 11:47:29 +01:00
Geoffrey White	bfe9cdfed5	Rust: Add model for str.trim and as_bytes.	2025-04-15 11:26:52 +01:00
Paolo Tranquilli	2dd3dea33a	Merge branch 'main' into redsun82/cargo-upgrade	2025-04-14 16:35:57 +02:00
Geoffrey White	c821f27309	Merge branch 'main' into badalloc	2025-04-14 09:36:59 +01:00
Paolo Tranquilli	9dd1062a9c	Rust: remove fixed inconsistency	2025-04-11 17:25:56 +02:00
Geoffrey White	866fc6b320	Merge pull request #19235 from geoffw0/ssaconsistency ... Rust: SSA inconsistency counts	2025-04-08 10:49:19 +01:00
Geoffrey White	10ad5780b5	Rust: Try a different toolchain version to fix the test in CI?	2025-04-08 10:21:40 +01:00
Geoffrey White	88439b42e6	Merge pull request #19095 from geoffw0/blockon ... Rust: Model futures::executor::block_on.	2025-04-07 17:41:49 +01:00
Geoffrey White	9c1567375d	Shared: Implement getInconsistencyCounts for SSA.	2025-04-07 16:20:42 +01:00
Geoffrey White	2c2506c4f8	Rust: Add Rust SSA inconsistency infrastructure.	2025-04-07 12:16:45 +01:00
Geoffrey White	893e42315e	Merge branch 'main' into badalloc	2025-04-07 09:33:23 +01:00
Geoffrey White	f292d04d7a	Merge branch 'main' into blockon	2025-04-07 09:03:55 +01:00
Geoffrey White	471f02cf3b	Merge branch 'main' into sinkstats	2025-04-04 22:28:30 +01:00
Geoffrey White	6ad7a950da	Merge branch 'main' into badalloc	2025-04-04 21:57:04 +01:00
Geoffrey White	c9939387f8	Rust: Turn on PrettyPrintModels for RegexInjection so we hopefully don't have to deal with test result changes there as often.	2025-04-04 21:47:22 +01:00