Geoffrey White
12d5a30703
Rust: Add a test of mutable iterators as well.
2025-02-18 17:20:43 +00:00
Geoffrey White
8024fb6812
Rust: Add more models for Iterator.
2025-02-18 17:20:39 +00:00
Tom Hvitved
ab74d903fd
Rust: Path resolution for inherited functions
2025-02-18 13:49:05 +01:00
Geoffrey White
79525fa4ed
Rust: Variant -> Field.
2025-02-17 17:33:52 +00:00
Geoffrey White
048f7dbd37
Merge branch 'main' into nth
2025-02-17 17:17:59 +00:00
Simon Friis Vindum
b08f5356dd
Merge pull request #18772 from paldepind/rust-method-call
...
Rust: Adjust argument position when call expression is for method
2025-02-17 13:39:24 +01:00
Simon Friis Vindum
0c3e8a0f5b
Rust: Adapt tests and existing models to account for generated models
2025-02-17 11:08:42 +01:00
Simon Friis Vindum
8b3c1ab698
Merge branch 'main' into rust-ref-pattern
2025-02-17 10:36:39 +01:00
Geoffrey White
436f7ccc82
Rust: Accept trivial change to consistency test .expected.
2025-02-13 18:12:06 +00:00
Geoffrey White
bee8b2fe32
Merge branch 'main' into okerr
2025-02-13 17:55:32 +00:00
Geoffrey White
fdcbbdfa08
Rust: Model them.
2025-02-13 17:42:41 +00:00
Geoffrey White
2d9e1b3d16
Rust: Add a test of Result.ok and Result.err.
2025-02-13 17:39:20 +00: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
Tom Hvitved
e9c25037d4
Rust: Use Field MaD token instead of Variant, Struct, Tuple
2025-02-13 13:32:08 +01:00
Geoffrey White
edda26c90d
Merge branch 'main' into nth
2025-02-12 15:14:20 +00:00
Simon Friis Vindum
f5b247d314
Merge branch 'main' into rust-ref-pattern
2025-02-12 13:23:19 +01:00
Simon Friis Vindum
7476aeaabf
Rust: Handle ref patterns in data flow
...
To do this we:
* Let SSA writes target the name inside identifier patterns instead of
the pattern itself
* Include relevant names in the data flow graph
* Add a store step from a identifier patterns with `ref` into the
contained name. So we have an edge `ref a` -> `a` that stores in the
reference content type.
2025-02-12 13:20:11 +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
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
efb5b9b27c
Rust: Add a comment to clearify test
2025-02-11 13:15:32 +01: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
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
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
