27 Commits

Author	SHA1	Message	Date
Tom Hvitved	5e265b10c7	Rust: Trait call dispatch in dataflow	2025-06-25 21:32:21 +02:00
Tom Hvitved	a4ed5da50b	Rust: Add data flow tests involving traits	2025-06-25 21:32:19 +02:00
Simon Friis Vindum	fecd445e78	Rust: Use Call in data flow	2025-06-12 11:16:26 +02:00
Simon Friis Vindum	18583550ae	Rust: Add data flow tests for operator overloading	2025-06-12 11:12:03 +02:00
Simon Friis Vindum	e778cbe768	Rust: Resolve function calls to traits methods	2025-05-24 10:25:46 +02: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
Tom Hvitved	72028c034e	Rust: Add reverse post-update flow steps	2025-03-26 09:03:18 +01:00
Tom Hvitved	fcb1d9433a	Rust: Add more data flow tests	2025-03-26 09:02:23 +01:00
Geoffrey White	d1ef2b50fb	Rust: Model futures::executor::block_on.	2025-03-21 16:51:10 +00:00
Tom Hvitved	e8505ad33d	Rust: Use type inference to resolve method calls and field accesses	2025-03-13 13:23:13 +01:00
Simon Friis Vindum	476fef49da	Rust: Allow SSA and some data flow for mutable borrows	2025-02-26 16:00:52 +01:00
Tom Hvitved	ab74d903fd	Rust: Path resolution for inherited functions	2025-02-18 13:49:05 +01:00
Simon Friis Vindum	3f19279e98	Rust: Adjust argument position when call expression is for method	2025-02-13 14:12:14 +01:00
Simon Friis Vindum	a1069b1667	Rust: Add examples with methods called as functions	2025-02-13 14:03:35 +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	11055760a4	Rust: Handle writes to references and add encoding of reference content	2025-02-07 13:53:17 +01:00
Geoffrey White	810dd55d47	Rust: Add test cases for flow through async / await.	2025-02-04 10:28:06 +00:00
Tom Hvitved	fe216aefc7	Rust: Add tests for nested functions	2025-01-15 09:43:43 +01:00
Tom Hvitved	9f2b436d35	Rust: Never skip assignment LHS in data flow	2024-12-16 15:12:15 +01:00
Paolo Tranquilli	b59b90ba6d	Rust: accept test changes	2024-12-06 09:12:16 +01:00
Tom Hvitved	2fb670a27c	Rust: Do not print unit type in data flow	2024-11-25 19:14:44 +01:00
Paolo Tranquilli	e7c10c6325	Merge branch 'main' into redsun82/rust-str	2024-11-22 14:44:48 +01:00
Simon Friis Vindum	e81c3483db	Rust: Apply suggestions from PR comments	2024-11-22 10:19:13 +01:00
Simon Friis Vindum	fffeac6a13	Rust: Extend data flow library instantiation for global data flow	2024-11-21 15:11:25 +01:00
Simon Friis Vindum	bb70bfce43	Rust: Tweak global data flow test and add inline flow test	2024-11-21 15:03:58 +01:00