Tom Hvitved
|
c4e0dda178
|
Rust: Adapt to changes in FlowSummaryImpl
|
2026-01-26 12:40:10 +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 |
|
Simon Friis Vindum
|
ca3e2db217
|
Rust: Accept changes to expected files
|
2026-01-14 16:00:59 +01:00 |
|
Simon Friis Vindum
|
a19ad5e557
|
Rust: Associated types are inherited as type parameters by traits and dyn traits
|
2026-01-14 14:44:31 +01:00 |
|
Simon Friis Vindum
|
62193540f7
|
Rust: Add additional tests for associated types
|
2026-01-14 14:44:30 +01:00 |
|
Simon Friis Vindum
|
fd5658dfe8
|
Rust: Tweak tests for associated types
|
2026-01-14 14:44:23 +01:00 |
|
Simon Friis Vindum
|
e0c36c758d
|
Rust: Move associated types tests into separate file
|
2026-01-14 14:39:59 +01:00 |
|
Tom Hvitved
|
cc4926ad37
|
Merge pull request #21148 from hvitved/rust/remove-macro-block-expr
Rust: Remove `MacroBlockExpr` class
|
2026-01-14 10:11:22 +01:00 |
|
Simon Friis Vindum
|
da43e8cad8
|
Rust: Regenerate models
|
2026-01-13 16:02:32 +01:00 |
|
Geoffrey White
|
69de17ecf2
|
Merge pull request #21153 from geoffw0/splitoff
Rust: Add barrier for split_off
|
2026-01-13 10:44:31 +00:00 |
|
Tom Hvitved
|
5d5bad6cd4
|
Rust: Update expected test output
|
2026-01-13 10:24:10 +01:00 |
|
Tom Hvitved
|
3eafca0550
|
Rust: Run codegen
|
2026-01-13 10:22:16 +01:00 |
|
Simon Friis Vindum
|
9e74a7869a
|
Rust: Move everything type inference related into the typeinference directory
|
2026-01-12 16:31:34 +01:00 |
|
Geoffrey White
|
a78756ff8b
|
Merge branch 'main' into splitoff
|
2026-01-12 14:21:01 +00:00 |
|
Geoffrey White
|
479c58bef5
|
Rust: Add a barrier.
|
2026-01-12 13:52:54 +00:00 |
|
Geoffrey White
|
7658ebb449
|
Rust: Add spurious test case for rust/uncontrolled-allocation-size.
|
2026-01-12 13:52:53 +00:00 |
|
Tom Hvitved
|
17441a5462
|
Rust: Add missing .Reference in various models
|
2026-01-12 14:21:45 +01:00 |
|
Tom Hvitved
|
6b34d0d250
|
Merge pull request #21123 from hvitved/rust/fix-path-models
Rust: Improve/add various models
|
2026-01-12 12:20:56 +01:00 |
|
Simon Friis Vindum
|
41921a85bb
|
Rust: Make function trait syntax without return type default to unit
|
2026-01-09 16:08:01 +01:00 |
|
Simon Friis Vindum
|
d45269609a
|
Rust: Add test with fn trait syntax without return type
|
2026-01-09 15:38:12 +01:00 |
|
Tom Hvitved
|
f3d78a4e0b
|
Rust: Update expected test output
|
2026-01-09 14:40:04 +01:00 |
|
Tom Hvitved
|
0d0029f5a3
|
Rust: Update expected test output
|
2026-01-09 14:40:01 +01:00 |
|
Tom Hvitved
|
209ee9236b
|
Rust: Also lift read steps in summaries as taint steps
|
2026-01-09 12:13:46 +01:00 |
|
Tom Hvitved
|
dce21e595e
|
Rust: Model implicit Deref trait calls in data flow
|
2026-01-07 10:51:56 +01:00 |
|
Tom Hvitved
|
0c7aeb4bce
|
Rust: Update data flow test to use implicit borrow
|
2026-01-07 10:51:55 +01:00 |
|
Tom Hvitved
|
4540662ab9
|
Rust: Model Deref trait in type inference
|
2026-01-07 10:51:53 +01:00 |
|
Tom Hvitved
|
caa0e90cd8
|
Rust: More type inference tests
|
2026-01-07 10:51:52 +01:00 |
|
Geoffrey White
|
13df23630b
|
Rust: Effect of lifting content reads as taint steps.
|
2026-01-06 16:47:07 +00:00 |
|
Geoffrey White
|
6e2702c3af
|
Rust: Add some taint tests involving tuples.
|
2026-01-06 16:38:36 +00:00 |
|