63 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	12dcd751d3	Rust: Accept test changes	2025-09-12 15:34:09 +02:00
Geoffrey White	8b04bc0ceb	Rust: Model std::fs::OpenOptions and similar.	2025-08-22 09:58:07 +01:00
Geoffrey White	1d2ac33bb6	Rust: Model async-std::fs.	2025-08-22 09:58:00 +01:00
Geoffrey White	49b4adcc99	Rust: Add more tests for DirEntry, PathBuf, OsString.	2025-08-22 09:57:59 +01:00
Geoffrey White	bc226e2117	Rust: Add more general test cases for async_std::fs and tokio::fs.	2025-08-21 16:47:10 +01:00
Geoffrey White	5da296d77f	Rust: Add tests for std::fs::OpenOptions and similar.	2025-08-21 16:47:08 +01:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Geoffrey White	7ba18fa5d0	Merge branch 'main' into models3b	2025-07-10 14:53:09 +01:00
Geoffrey White	8177b0938d	Merge branch 'main' into models5	2025-07-10 09:41:48 +01:00
Geoffrey White	a034e29040	Rust: Simplify the test a little.	2025-07-09 15:52:54 +01:00
Geoffrey White	3dabd51cf7	Rust: Fix a summaryModelDeprecated that was causing problems.	2025-07-08 11:24:57 +01:00
Tom Hvitved	7701a31f4a	Rust: Improve type inference for for loops and range expressions	2025-07-08 11:20:42 +02:00
Geoffrey White	a1e9a4eddf	Rust: Accept test .expected changes.	2025-07-08 08:44:24 +01:00
Geoffrey White	831509539b	Merge pull request #19934 from geoffw0/models0 ... Rust: Update legacy MaD models 1	2025-07-03 14:24:21 +01:00
Tom Hvitved	072339137a	Rust: Update expected test output	2025-07-01 10:34:16 +02:00
Geoffrey White	59b74871c2	Rust: Accept regressions.	2025-06-30 21:13:44 +01:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Geoffrey White	10f894b9a1	Rust: Model more methods.	2025-05-29 16:45:25 +01:00
Geoffrey White	13f6de9924	Rust: Add source / basic basic models.	2025-05-29 16:45:21 +01:00
Geoffrey White	a5e1702d4b	Rust: Add tests for sources involving regular rustls as well.	2025-05-29 16:45:18 +01:00
Geoffrey White	204260e244	Rust: Uncomment calls to test functions.	2025-05-20 10:59:23 +01:00
Geoffrey White	3789c46791	Rust: Remove stray comment, accept changes to another test.	2025-05-01 15:40:32 +01:00
Geoffrey White	e263116452	Rust: Model std::net and tokio::net.	2025-05-01 14:25:44 +01:00
Geoffrey White	038b8b5344	Rust: Add a missing model for std::io.	2025-05-01 13:04:18 +01:00
Geoffrey White	3104dba09e	Rust: Fix some shortcomings in our models of Reqwest.	2025-05-01 13:04:17 +01:00
Geoffrey White	f4ae211019	Rust: Add models for tokio (fs).	2025-05-01 13:04:16 +01:00
Geoffrey White	7439b0c504	Rust: Add models for tokio (io).	2025-05-01 13:04:15 +01:00
Geoffrey White	627496df09	Rust: Add source tests for tokio (fs).	2025-05-01 13:04:13 +01:00
Geoffrey White	b2339ef0d9	Rust: Add some alternative sinks.	2025-05-01 13:04:12 +01:00
Geoffrey White	950812b463	Rust: Add further source tests for tcp streams.	2025-05-01 13:04:06 +01:00
Geoffrey White	38397195a2	Rust: Add further source test cases for tokio.	2025-04-24 11:37:44 +01:00
Geoffrey White	b57375aa91	Rust: Add source tests for tcp (std and tokio).	2025-04-24 11:25:36 +01:00
Geoffrey White	809dd20f9d	Rust: Add source tests for tokio (file).	2025-04-24 11:22:52 +01:00
Geoffrey White	307424e87e	Rust: Add source tests for tokio (stdin).	2025-04-24 11:14:36 +01:00
Geoffrey White	dcc488cb05	Rust: Clean up the sources test.	2025-04-24 11:10:59 +01:00
Geoffrey White	24bcd041b8	Rust: Add flow models for io.	2025-04-14 14:20:45 +01:00
Geoffrey White	7a9ea52bc7	Rust: Add source models for io.	2025-04-14 10:47:30 +01:00
Geoffrey White	4f9f550ba6	Rust: Add source models for fs.	2025-04-14 10:47:26 +01:00
Geoffrey White	258c1afe27	Rust: Add tests for std::fs sources.	2025-04-14 10:47:21 +01:00
Geoffrey White	cef3cd9b54	Rust: Add tests for std::io sources.	2025-04-14 10:47:17 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Geoffrey White	edda26c90d	Merge branch 'main' into nth	2025-02-12 15:14:20 +00:00
Geoffrey White	0d9e1b410c	Rust: Additional test cases exposing what works and what doesn't.	2025-02-11 17:23:54 +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	6966c96e7a	Rust: Add a test case for parse on a command line arg.	2025-02-06 10:29:53 +00:00
Geoffrey White	70d969f3a0	Merge branch 'main' into http	2025-02-05 09:36:43 +00:00
Geoffrey White	d72361588c	Update rust/ql/test/library-tests/dataflow/sources/test.rs ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-02-04 12:25:02 +00:00
Geoffrey White	ff53d422cb	Rust: Model some sources in hyper.	2025-02-04 10:28:05 +00:00