Geoffrey White
|
215fe7d0b3
|
Rust: Clean up the alert message.
|
2025-07-30 17:51:30 +01:00 |
|
Geoffrey White
|
a3110a9091
|
Rust: Implement query.
|
2025-07-29 18:19:52 +01:00 |
|
Simon Friis Vindum
|
5540b9df71
|
Merge branch 'main' into rust/type-inference-fn
|
2025-07-29 16:43:17 +02:00 |
|
Geoffrey White
|
5c64d4e9b7
|
Rust: Query framework.
|
2025-07-28 16:59:01 +01:00 |
|
Geoffrey White
|
897822dff5
|
Rust: The Cargo.lock file has changed as well.
|
2025-07-28 16:55:43 +01:00 |
|
Geoffrey White
|
9972aaf6a1
|
Rust: Add tests cases for cleartext storage.
|
2025-07-28 16:12:34 +01:00 |
|
Simon Friis Vindum
|
9761580b7e
|
Merge branch 'main' into rust/type-inference-assoc-type-tp
|
2025-07-28 10:39:00 +02:00 |
|
Simon Friis Vindum
|
2c758a9842
|
Rust: Add type inference for closures and calls to first-class functions
|
2025-07-27 21:28:10 +02:00 |
|
Simon Friis Vindum
|
8c6c28d61f
|
Rust: Add type inference tests for closures
|
2025-07-27 21:16:30 +02:00 |
|
Simon Friis Vindum
|
13d9d8ad3f
|
Merge pull request #20122 from paldepind/rust/type-inference-dyn-assoc
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-26 12:40:09 +02:00 |
|
Geoffrey White
|
478f39a967
|
Rust: Accept (trivial) test changes.
|
2025-07-25 14:18:34 +01:00 |
|
Geoffrey White
|
2192ed04be
|
Rust: Add clone MaD trait model.
|
2025-07-25 09:43:34 +01:00 |
|
Geoffrey White
|
4140579dd6
|
Rust: Remove QL model for clone.
|
2025-07-25 08:17:52 +01:00 |
|
Geoffrey White
|
67c170ffc1
|
Merge branch 'main' into sqlx
|
2025-07-24 15:25:35 +01:00 |
|
Simon Friis Vindum
|
466bf85a67
|
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-24 16:07:39 +02:00 |
|
Simon Friis Vindum
|
1b2f160b55
|
Rust: Add type inference tests for associated types
|
2025-07-24 16:07:37 +02:00 |
|
Simon Friis Vindum
|
39f602c032
|
Rust: Create injective ids for impl trait type parameters
|
2025-07-24 12:07:11 +02:00 |
|
Simon Friis Vindum
|
bb56b0d45b
|
Rust: Add type inference test with consistency issue
|
2025-07-24 11:55:23 +02:00 |
|
Simon Friis Vindum
|
9a0c5877ea
|
Rust: Support impl trait types in return position with function type parameters
|
2025-07-24 11:00:01 +02:00 |
|
Simon Friis Vindum
|
a20fed8ae5
|
Rust: Add type inference tests for impl trait types
|
2025-07-24 10:36:51 +02:00 |
|
Simon Friis Vindum
|
82387461ee
|
Merge pull request #20084 from paldepind/rust/type-inference-trait-object
Rust: Implement type inference for trait objects/`dyn` types
|
2025-07-24 10:17:23 +02:00 |
|
Simon Friis Vindum
|
12942667bf
|
Rust: Add type inference for dyn types
|
2025-07-23 14:08:15 +02:00 |
|
Simon Friis Vindum
|
605c8e201e
|
Rust: Add type inference tests for dyn types
|
2025-07-23 14:03:53 +02:00 |
|
Geoffrey White
|
4f6b698ca3
|
Merge branch 'main' into moresensitive2
|
2025-07-23 08:50:25 +01:00 |
|
Simon Friis Vindum
|
f432cf9c4d
|
Merge pull request #20041 from paldepind/rust/type-inference-tuples
Rust: Type inference for tuples
|
2025-07-23 08:21:27 +02:00 |
|
Geoffrey White
|
6efc19daac
|
Merge pull request #18943 from geoffw0/constcrypto
Rust: new query rust/hardcoded-crytographic-value
|
2025-07-22 13:36:14 +01:00 |
|
Geoffrey White
|
f7d822b19c
|
Rust: Remove empty file.
|
2025-07-22 12:43:22 +01:00 |
|
Simon Friis Vindum
|
6b366d8384
|
Merge branch 'main' into rust/type-inference-tuples
|
2025-07-22 10:45:41 +02:00 |
|
Simon Friis Vindum
|
79cc7318ba
|
Merge pull request #20096 from paldepind/rust/path-resolution-associated-type-fix
Rust: Path resolution associated type fix
|
2025-07-22 10:12:07 +02:00 |
|
Geoffrey White
|
43ac82f6a3
|
Rust: Update consistency check .expected files.
|
2025-07-21 21:01:01 +01:00 |
|
Geoffrey White
|
d53dada67f
|
Rust: Update barrier logic to use getCanonicalPath.
|
2025-07-21 20:56:48 +01:00 |
|
Geoffrey White
|
ec3ad85504
|
Rust: Add another test case for barriers (that still functions).
|
2025-07-21 20:53:37 +01:00 |
|
Geoffrey White
|
796cb193fc
|
Rust: Accept test regressions with new format MaD.
|
2025-07-21 17:24:19 +01:00 |
|
Geoffrey White
|
fc8a662f0d
|
Rust: Update the models.
|
2025-07-21 17:24:07 +01:00 |
|
Geoffrey White
|
0ec10e5c30
|
Rust: Corrections after the merge.
|
2025-07-21 12:12:23 +01:00 |
|
Simon Friis Vindum
|
28850460b2
|
Rust: Accept test changes
|
2025-07-21 12:07:08 +02:00 |
|
Simon Friis Vindum
|
8ebebf03c2
|
Rust: Add type inference test with associated type that collides with type parameter
|
2025-07-21 10:11:41 +02:00 |
|
Simon Friis Vindum
|
ac6715fb3a
|
Rust: Avoid mixing up type parameters and associated types in path resolution
|
2025-07-21 10:07:41 +02:00 |
|
Simon Friis Vindum
|
71a5e410d7
|
Rust: Add path resolution test
|
2025-07-21 09:59:12 +02:00 |
|
Simon Friis Vindum
|
441cefd0bd
|
Rust: Accept test changes
|
2025-07-21 08:34:16 +02:00 |
|
Geoffrey White
|
c2ddf25f11
|
Merge branch 'main' into constcrypto
|
2025-07-17 16:13:58 +01:00 |
|
Geoffrey White
|
27bea33508
|
Rust: Accept consistency check change.
|
2025-07-17 12:44:31 +01:00 |
|
Geoffrey White
|
944fd2aa11
|
Rust: Add explicit types in some (not all) of the test cases.
|
2025-07-17 10:45:40 +01:00 |
|
Geoffrey White
|
62b7d84638
|
Rust: Add Sqlx as MaD sinks instead.
|
2025-07-16 16:36:42 +01:00 |
|
Geoffrey White
|
87deab861f
|
Rust: Remove Sqlx.qll.
|
2025-07-16 16:23:50 +01:00 |
|
Geoffrey White
|
6f5e4ef5b9
|
Merge branch 'main' into sqlx
|
2025-07-16 15:59:42 +01:00 |
|
Simon Friis Vindum
|
7f8829ad8e
|
Rust: Add additional inline expectation
Co-authored-by: Arthur Baars <aibaars@github.com>
|
2025-07-16 14:00:27 +02:00 |
|
Simon Friis Vindum
|
bbd7ed57ce
|
Rust: Add inline expectation
|
2025-07-16 12:32:35 +02:00 |
|
Simon Friis Vindum
|
a508089df8
|
Rust: Improvements to tuple type inference based on PR feedback
|
2025-07-16 09:38:29 +02:00 |
|
Simon Friis Vindum
|
97e77944eb
|
Rust: Accept test changes
|
2025-07-15 10:21:53 +02:00 |
|