48 Commits

Author	SHA1	Message	Date
Tom Hvitved	072339137a	Rust: Update expected test output	2025-07-01 10:34:16 +02: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
Geoffrey White	d64d955253	Rust: Add test cases for requests through hyper + http.	2025-02-04 10:27:58 +00:00
Geoffrey White	3b5397f3b0	Rust: Model Iterator.collect.	2025-01-29 09:19:20 +00:00
Geoffrey White	de149a9623	Rust: Model Iterator.nth.	2025-01-29 09:19:19 +00:00
Geoffrey White	dfd1865b96	Rust: Add some basic flow models.	2025-01-28 08:47:15 +00:00
Geoffrey White	185a23b3c6	Rust: Allow implicit flow out of content at the test sinks, so that we see our results.	2025-01-28 08:43:06 +00:00
Geoffrey White	a1980d4d08	Rust: Make sources more accurate (Option / Result contents).	2025-01-28 08:43:05 +00:00
Geoffrey White	7cf872baad	Rust: Adjust the tests to work around test processing of /.	2025-01-27 21:00:08 +00:00
Geoffrey White	9583a2a7d3	Rust: Additional test cases for reqwest sources.	2025-01-27 20:42:35 +00:00
Geoffrey White	5a73e0bd09	Rust: Re-model std::env sources using models-as-data.	2025-01-17 13:39:04 +00:00
Tom Hvitved	1c56692c02	Rust: update inline expectations	2024-12-05 14:43:39 +01:00
Geoffrey White	176e9a425f	Rust: Model reqwest.	2024-11-22 09:13:47 +00:00
Geoffrey White	e64f139c98	Rust: Model std::env.	2024-11-22 09:13:44 +00:00
Geoffrey White	a85ad4ec29	Rust: Add a dataflow/sources test.	2024-11-22 09:13:41 +00:00