976 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	5da14252ed	Rust: Include names in patterns in the CFG	2025-02-12 10:48:57 +01:00
Geoffrey White	333b183f43	Merge branch 'main' into http	2025-02-12 09:40:12 +00:00
Simon Friis Vindum	bf9563e78e	Rust: Add data flow tests using ref patterns	2025-02-12 09:37:35 +01:00
Simon Friis Vindum	b24386fb58	Merge pull request #18743 from paldepind/rust-add-generated-option-model ... Rust: Add generated flow summaries for `Option`	2025-02-12 08:51:03 +01:00
Simon Friis Vindum	94f0710350	Merge pull request #18741 from paldepind/rust-identity-pattern-to-string ... Rust: Tweak `toString` on identity pattern	2025-02-12 08:47:15 +01:00
Simon Friis Vindum	655449be81	Rust: Add auto generated flow summaries for Option	2025-02-12 08:38:47 +01:00
Geoffrey White	4f73429251	Rust: Accept test changes after merging latest main.	2025-02-11 17:38:51 +00:00
Geoffrey White	e7fdfd06bf	Merge branch 'main' into nth	2025-02-11 17:37:11 +00:00
Geoffrey White	0d9e1b410c	Rust: Additional test cases exposing what works and what doesn't.	2025-02-11 17:23:54 +00:00
Simon Friis Vindum	608c1523d2	Rust: Add a few tests for modeled flow for Option	2025-02-11 16:02:04 +01:00
Geoffrey White	f61c157c0a	Rust: Repair test after merging main.	2025-02-11 14:47:42 +00:00
Geoffrey White	e594074421	Merge branch 'main' into http	2025-02-11 14:38:58 +00:00
Simon Friis Vindum	5a49390615	Merge pull request #18685 from paldepind/rust-future-content ... Rust: Basic support for future content and `.await`	2025-02-11 15:27:32 +01:00
Simon Friis Vindum	a09b37edc3	Rust: Expand on toString of IdentPat	2025-02-11 15:25:54 +01:00
Simon Friis Vindum	0aa08a3553	Rust: Add CFG test with identifier pattern containing sub pattern, ref, and mut	2025-02-11 15:09:10 +01:00
Simon Friis Vindum	58d86fd2a9	Merge pull request #18714 from paldepind/rust-pointer ... Rust: Handle writes to references and add encoding of reference content	2025-02-11 14:12:56 +01:00
Simon Friis Vindum	c7412cc839	Merge pull request #18696 from paldepind/shared-bb-dominates ... Shared: Use edge dominance terminology in basic block library	2025-02-11 14:12:07 +01:00
Simon Friis Vindum	efb5b9b27c	Rust: Add a comment to clearify test	2025-02-11 13:15:32 +01:00
Tom Hvitved	eaaf510b29	Merge pull request #18728 from hvitved/rust/path-resolution-namespaces ... Rust: Model namespaces in path resolution	2025-02-11 10:29:57 +01:00
Simon Friis Vindum	7c57962add	Merge branch 'main' into shared-bb-dominates	2025-02-11 09:31:06 +01:00
Anders Schack-Mulligen	e1c810a50c	Merge pull request #18729 from aschackmull/ssa/deprecate-deadcode ... Ssa: Deprecate the unused getALastRead predicate.	2025-02-11 08:51:02 +01:00
Mathew Payne	1b30847310	Merge branch 'main' into rust-rusqlite	2025-02-10 15:22:05 +00:00
Geoffrey White	9eeae712d7	Merge pull request #18712 from GeekMasher/rust-db-sources ... Rust: Add Database Sources + tokio-postgres support	2025-02-10 15:18:58 +00:00
Anders Schack-Mulligen	34edda6b9b	C#/Ruby/Rust: Deprecate dead code.	2025-02-10 14:24:38 +01:00
Tom Hvitved	c7441ab005	Rust: Model namespaces in path resolution	2025-02-10 13:55:41 +01:00
Tom Hvitved	985ee92698	Rust: Add more path resolution tests	2025-02-10 13:52:53 +01:00
GeekMasher	3e38867cb2	feat(rust): Add ReSQLite source support	2025-02-10 11:11:01 +00:00
Geoffrey White	2c85353b7e	Merge branch 'main' into http	2025-02-10 09:07:34 +00:00
Geoffrey White	f5b9691e7d	Rust: Accept fixed result.	2025-02-07 18:14:53 +00:00
Geoffrey White	f3501819f7	Merge branch 'main' into nth	2025-02-07 18:13:18 +00:00
Geoffrey White	b5c07540d0	Merge pull request #18621 from geoffw0/sourcemodels4 ... Rust: Improve models for environment sources, iterators	2025-02-07 16:02:28 +00:00
Simon Friis Vindum	11055760a4	Rust: Handle writes to references and add encoding of reference content	2025-02-07 13:53:17 +01:00
Simon Friis Vindum	11685a820f	Rust: Add flow tests involving references	2025-02-07 13:47:58 +01:00
Mathew Payne	be883ad4cc	fix(rust): Update naming of the DB source	2025-02-07 11:10:43 +00:00
Mathew Payne	6e5899b4ff	Merge branch 'main' into rust-rusqlite	2025-02-07 10:51:02 +00:00
GeekMasher	5943cc16e4	feat(rust): Add Database Sources + tokio-postgres support	2025-02-07 10:26:40 +00:00
Simon Friis Vindum	4581e772d6	Merge pull request #18709 from paldepind/rust-model-generation-test ... Rust: Add additional tests for model generation	2025-02-07 11:14:41 +01:00
Tom Hvitved	d8c9427d3e	Merge pull request #18700 from hvitved/rust/shorthand-struct ... Rust: Shorthand record construction in data flow	2025-02-07 10:59:52 +01:00
Simon Friis Vindum	5bef9c98ff	Rust: Accept changes	2025-02-07 10:20:15 +01:00
Simon Friis Vindum	c9b5dab097	Rust: Add additional tests for model generation	2025-02-07 09:05:27 +01:00
Tom Hvitved	100de73066	Merge pull request #18689 from hvitved/rust/path-resolution-type-param ... Rust: Extend path resolution to cover type parameters	2025-02-07 08:55:27 +01:00
Simon Friis Vindum	9bcfd010d4	Merge pull request #18676 from paldepind/rust-model-clone ... Rust: Model `clone`	2025-02-07 08:37:44 +01:00
Tom Hvitved	707bf16d90	Rust: Shorthand record construction in data flow	2025-02-06 19:19:18 +01:00
Tom Hvitved	9bc3b0e96e	Rust: Update a test to use shorthand record syntax	2025-02-06 19:19:17 +01:00
Geoffrey White	bce4735062	Rust: Additional test case suggested by copilot.	2025-02-06 14:29:26 +00:00
Geoffrey White	a8a051234e	Rust: Model parse.	2025-02-06 12:51:41 +00:00
Geoffrey White	d0f5aad085	Rust: Model to_string.	2025-02-06 12:51:40 +00:00
Geoffrey White	1ff7a521d5	Rust: Add a flow test for some iterator methods.	2025-02-06 12:51:34 +00:00
Geoffrey White	c597818c4b	Rust: Add a flow test for to_string() and parse().	2025-02-06 10:30:27 +00:00
Geoffrey White	6966c96e7a	Rust: Add a test case for parse on a command line arg.	2025-02-06 10:29:53 +00:00