Geoffrey White
|
96a06bed8d
|
Rust: Accept consistency check changes.
|
2026-02-26 12:41:17 +00:00 |
|
Geoffrey White
|
78f855d7e3
|
Rust: Make the manual model for Option::map more accurate.
|
2026-02-26 11:34:30 +00:00 |
|
Geoffrey White
|
75fea4245a
|
Rust: Add neutral models of From::from (corresponding with existing generated sink models).
|
2026-02-26 10:00:30 +00:00 |
|
Geoffrey White
|
5c108e5c12
|
Rust: Add a manual model for flow through Option::map.
|
2026-02-26 09:12:33 +00:00 |
|
Geoffrey White
|
53e886380c
|
Rust: Add a neutral model of Option::map (so that we don't use the generated models).
|
2026-02-26 08:36:28 +00:00 |
|
Geoffrey White
|
97f7a26e11
|
Rust: Add test cases for log injection + uncontrolled allocation size with from.
|
2026-02-25 19:12:06 +00:00 |
|
Geoffrey White
|
1213369d75
|
Rust: Add test cases for log injection with map.
|
2026-02-25 14:30:01 +00:00 |
|
Geoffrey White
|
a5aeadd31d
|
Rust: Fix for neutral summaries.
|
2026-02-06 18:15:13 +00:00 |
|
Geoffrey White
|
08174d7ec9
|
Rust: Add test cases for summaries as well.
|
2026-02-06 18:05:54 +00:00 |
|
Geoffrey White
|
c0a5c63e8e
|
Merge branch 'main' into neutralmodels
|
2026-02-05 15:53:28 +00:00 |
|
Geoffrey White
|
9de5f5c72b
|
Rust: Clean up and change note.
|
2026-02-05 08:58:08 +00:00 |
|
Geoffrey White
|
d40071321a
|
Rust: Implement neutral models for Rust.
|
2026-02-04 18:58:09 +00:00 |
|
Geoffrey White
|
97f7dcb04a
|
Rust: Add dataflow test cases for neutral models.
|
2026-02-04 17:43:05 +00:00 |
|
Simon Friis Vindum
|
52dc58172d
|
Merge branch 'main' into rust/as-path-trait
|
2026-02-04 14:47:57 +01:00 |
|
Simon Friis Vindum
|
d72d8b63ed
|
Rust: Fix inconsistency by skipping Self in use globs
|
2026-02-03 11:54:28 +01:00 |
|
Simon Friis Vindum
|
1791c1f1f9
|
Rust: Add test with path resolution inconsistency
|
2026-02-03 11:51:55 +01:00 |
|
Simon Friis Vindum
|
9fc2a54712
|
Rust: Accept changes to expected files for consistency checks
|
2026-02-02 17:12:25 +01:00 |
|
Simon Friis Vindum
|
d0e30d19c4
|
Rust: Resolve as paths to trait
|
2026-02-02 16:47:43 +01:00 |
|
Simon Friis Vindum
|
8de37fec17
|
Rust: Add tests with as paths
|
2026-02-02 16:43:21 +01:00 |
|
Simon Friis Vindum
|
99b498b891
|
Rust: Resolve Self paths in type definitions
|
2026-02-02 13:51:59 +01:00 |
|
Simon Friis Vindum
|
95afe615b5
|
Rust: Add path resolution tests
|
2026-02-02 13:51:57 +01:00 |
|
Simon Friis Vindum
|
8b03608a4f
|
Merge pull request #21188 from paldepind/rust/self-path-assoc
Rust: Implement type inference for associated types for concrete types
|
2026-02-02 13:50:43 +01:00 |
|
Simon Friis Vindum
|
aae5333325
|
Rust: Add test with type inference inconsistency
|
2026-01-27 16:17:51 +01:00 |
|
Simon Friis Vindum
|
fa59a8ae24
|
Rust: Implement TypeMention for paths that access associated types on concrete types
|
2026-01-27 16:17:49 +01:00 |
|
Simon Friis Vindum
|
4526afc29f
|
Rust: Paths to associated types resolve to the associated type if implementation is unclear
|
2026-01-27 16:17:48 +01:00 |
|
Simon Friis Vindum
|
330505c524
|
Rust: Add tests for associated types
|
2026-01-26 15:03:07 +01:00 |
|
Tom Hvitved
|
c4e0dda178
|
Rust: Adapt to changes in FlowSummaryImpl
|
2026-01-26 12:40:10 +01:00 |
|
Simon Friis Vindum
|
01cc19cffc
|
Rust: Add trait visibility test using Self
|
2026-01-26 12:31:16 +01:00 |
|
Geoffrey White
|
573ab025b4
|
Merge pull request #21191 from geoffw0/addsub
Rust: More test cases for add, sub etc
|
2026-01-23 10:30:21 +00:00 |
|
Simon Friis Vindum
|
8f6f7d0985
|
Rust: Fix typo
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2026-01-23 10:07:11 +01:00 |
|
Simon Friis Vindum
|
3d7049265f
|
Rust: Add tests for Self constructors
|
2026-01-23 09:06:49 +01:00 |
|
Geoffrey White
|
f484d95081
|
Merge remote-tracking branch 'upstream/main' into addsub
|
2026-01-22 16:03:42 +00:00 |
|
Geoffrey White
|
b8581e89bf
|
Rust: More affected tests.
|
2026-01-22 13:22:43 +00:00 |
|
Geoffrey White
|
67b52e29e0
|
Rust: Update other affected tests.
|
2026-01-22 12:29:21 +00:00 |
|
Geoffrey White
|
3d6765ba1c
|
Rust: Clean up / fix some existing models.
|
2026-01-22 12:29:20 +00:00 |
|
Geoffrey White
|
fa9677d615
|
Rust: Add model variants for core::ops::bit on Wrapping.
|
2026-01-22 12:29:14 +00:00 |
|
Geoffrey White
|
9d645508ea
|
Rust: Add model variants for core::ops:arith on Wrapping.
|
2026-01-22 10:46:15 +00:00 |
|
Tom Hvitved
|
8ce2618b7d
|
Merge pull request #21151 from hvitved/rust/disable-universal-conds-by-default
Type inference: Disable universal conditions by default
|
2026-01-22 11:19:50 +01:00 |
|
Geoffrey White
|
e8ef58d381
|
Rust: Fix an issue with identifying sources and sinks in the test.
|
2026-01-22 09:58:58 +00:00 |
|
Geoffrey White
|
f8d0a0d509
|
Rust: Expand the Wrapping test some more.
|
2026-01-22 09:52:26 +00:00 |
|
Tom Hvitved
|
65ca8849f2
|
Type inference: Disable universal conditions
|
2026-01-22 09:56:52 +01:00 |
|
Geoffrey White
|
1d461ff5ad
|
Rust: Test unpacking the Wrapping number.
|
2026-01-21 12:49:59 +00:00 |
|
Tom Hvitved
|
9a9e9ac23c
|
Merge pull request #21168 from hvitved/rust/type-inference-remove-blanket-constraint-restriction
Rust: Remove restriction that blanket(-like) impls must have a constraint
|
2026-01-21 11:05:17 +01:00 |
|
Geoffrey White
|
ff6e598f72
|
Rust: Annotate failures with explanation.
|
2026-01-19 17:33:44 +00:00 |
|
Geoffrey White
|
fc5d5b4fcc
|
Rust: Compress the existing core::ops::arith models a bit.
|
2026-01-19 17:33:41 +00:00 |
|
Geoffrey White
|
50fdc99b8c
|
Rust: More test cases for operators, std::ops and std::num::Wrapping.
|
2026-01-19 16:58:03 +00:00 |
|
Geoffrey White
|
a0311c0ea3
|
Rust: Test spacing.
|
2026-01-19 15:07:42 +00:00 |
|
Tom Hvitved
|
fd309d6e49
|
Rust: Remove restriction that blanket(-like) impls must have a constraint
|
2026-01-19 11:21:58 +01:00 |
|
Simon Friis Vindum
|
dabc5d54c9
|
Rust: Improve type inference for closures and function traits
|
2026-01-16 10:01:00 +01:00 |
|
Simon Friis Vindum
|
196f6e1931
|
Rust: Add type inference tests for closures and function traits
|
2026-01-15 12:00:41 +01:00 |
|