213 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	c1df8d0e13	Rust: add flag to turn off extractor path resolution	2025-02-19 09:44:09 +01:00
Tom Hvitved	498828e91a	Rust: Implement TypeParam.to(Abbreviated)String	2025-02-12 13:23:51 +01:00
Simon Friis Vindum	a09b37edc3	Rust: Expand on toString of IdentPat	2025-02-11 15:25:54 +01:00
Tom Hvitved	707bf16d90	Rust: Shorthand record construction in data flow	2025-02-06 19:19:18 +01:00
Arthur Baars	8d96c87abe	Rust: add UseTree::is_star	2025-01-28 16:12:25 +01:00
Paolo Tranquilli	e60468e2c7	Rust: add nested test file example	2025-01-15 09:21:57 +01:00
Tom Hvitved	0795c244e9	Rust: Move QL doc into annotations.py	2025-01-10 14:27:53 +01:00
Tom Hvitved	166f8916cc	Rust: Remove Format.getArgument	2025-01-10 12:51:42 +01:00
Tom Hvitved	033cd1778e	Rust: Include index in Format.getArgument	2025-01-08 14:04:48 +01:00
Simon Friis Vindum	5c64a8c948	Rust: Accept expected changes and fix other CI complaints	2025-01-03 16:38:11 +01:00
Simon Friis Vindum	2ef9339d00	Rust: Generate CFG node for FormatArgsArg	2025-01-03 13:58:25 +01:00
Arthur Baars	a6ec51a951	Rust: update expected output	2024-12-18 13:00:14 +01:00
Arthur Baars	029e2604a3	Rust: //rust/codegen	2024-12-17 14:07:44 +01:00
Paolo Tranquilli	4c4a8d7619	Rust: extract isRef for SelfParam	2024-12-16 14:24:56 +01:00
Paolo Tranquilli	b59b90ba6d	Rust: accept test changes	2024-12-06 09:12:16 +01:00
Simon Friis Vindum	5b6ce3e0d0	Merge branch 'main' into rust-taint	2024-12-05 09:34:25 +01:00
Simon Friis Vindum	d6ab7d2aff	Merge branch 'main' into rust-taint	2024-12-04 15:28:30 +01:00
Paolo Tranquilli	08de0b40ed	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-04 14:35:10 +01:00
Paolo Tranquilli	80d466ffea	Merge pull request #18116 from github/redsun82/rust-perf-measures ... Rust: add some performance diagnostics	2024-12-04 14:31:06 +01:00
Simon Friis Vindum	2ada999728	Rust: Include as expression in CFG nodes	2024-12-04 12:56:54 +01:00
Paolo Tranquilli	7e107a4520	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-04 11:24:48 +01:00
Paolo Tranquilli	b6f0ae0460	Rust: accept test changes	2024-12-04 11:05:01 +01:00
Paolo Tranquilli	66e4acf53e	Rust: accept test changes	2024-12-04 10:56:14 +01:00
Paolo Tranquilli	31b9b3adaa	Merge branch 'main' into redsun82/rust-perf-measures	2024-12-04 10:50:37 +01:00
Paolo Tranquilli	59ea563d2a	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-04 10:44:11 +01:00
Paolo Tranquilli	e30a429c3d	Rust: revert TupleStructPat.toString improvements	2024-12-04 10:34:28 +01:00
Paolo Tranquilli	53503002a1	Merge branch 'main' into redsun82/rust-tweaks	2024-12-04 09:35:01 +01:00
Paolo Tranquilli	277c9f4087	Rust: add back getAttr to ArrayExpr	2024-12-03 16:12:56 +01:00
Paolo Tranquilli	c113503b41	Rust: fix doc typo	2024-12-03 15:18:17 +01:00
Paolo Tranquilli	353f1cafe6	Rust: distinguish [a, b] from [a; b] ... This splits the `ArrayExpr` class into `ArrayListExpr` and `ArrayRepeatExpr`. This uses the `synth.from_class` machinery to integrate seamlessly into the generated code, by hiding the extracted `ArrayExpr` behind an internal class and replacing it with a hierarchy of those two classes under a new `ArrayExpr` class.	2024-12-03 15:09:20 +01:00
Paolo Tranquilli	ebe38bca23	Merge branch 'main' into redsun82/rust-less-canonical-paths	2024-12-03 12:19:08 +01:00
Paolo Tranquilli	952f41e17e	Rust: fix broken test	2024-12-03 12:06:39 +01:00
Paolo Tranquilli	db18d1046b	Rust: rename getTy -> getTypeRepr	2024-12-03 11:17:08 +01:00
Paolo Tranquilli	8287cdd7b3	Rust: accept test changes	2024-12-03 11:01:05 +01:00
Paolo Tranquilli	e89cf303e7	Rust: rename TypeRef -> TypeRepr	2024-12-02 17:58:40 +01:00
Paolo Tranquilli	c0e55a06e7	Merge branch 'main' into redsun82/rust-perf-measures	2024-12-02 15:20:42 +01:00
Paolo Tranquilli	0a93a31565	Rust: accept all test changes after merge	2024-12-02 14:48:40 +01:00
Paolo Tranquilli	43eba85589	Merge branch 'main' into redsun82/rust-tweaks	2024-12-02 14:48:03 +01:00
Paolo Tranquilli	2a7ce9a0ab	Rust: accept all test changes	2024-12-02 12:06:51 +01:00
Paolo Tranquilli	e7ffddd52c	Rust: rename all *Type to *TypeRef	2024-12-02 10:13:05 +01:00
Paolo Tranquilli	bb83641634	Rust: accept all test changes for now	2024-12-02 08:22:51 +01:00
Paolo Tranquilli	c46f44da5f	Rust: fix QL compilation errors	2024-11-29 15:55:51 +01:00
Paolo Tranquilli	9cf2420c3b	Rust: restrict canonical path calculations	2024-11-29 14:43:51 +01:00
Paolo Tranquilli	4bcc4254c6	Merge branch 'main' into redsun82/rust-perf-measures	2024-11-29 11:59:22 +01:00
Simon Friis Vindum	b05d290bf0	Rust: Exclude data flow inconsistencies that stem from other inconsistencies	2024-11-28 12:46:32 +01:00
Paolo Tranquilli	50c917d2eb	Rust: restrict extracted files queries	2024-11-28 12:02:57 +01:00
Paolo Tranquilli	a8188598b0	Merge branch 'main' into redsun82/rust-canonical-enum	2024-11-27 15:01:47 +01:00
Simon Friis Vindum	d30f3e2822	Rust: Renamed expr on CallExpr and LetExpr	2024-11-26 15:22:14 +01:00
Paolo Tranquilli	c3b4447586	Merge branch 'main' into redsun82/rust-canonical-enum	2024-11-25 17:46:48 +01:00
Paolo Tranquilli	269ea75036	Rust: matched_expr -> scrutinee	2024-11-25 17:23:47 +01:00