Geoffrey White ace7a77fd6 Rust: Switch to MaD models.

2025-11-21 16:27:52 +00:00

..

consistency-queries

Rust: Move variable consistency check into AstConsistency.qll

2025-10-31 10:42:51 +01:00

integration-tests

Rust: Correct ordering in query suite .expected lists.

2025-11-13 09:21:04 +00:00

lib

Rust: Switch to MaD models.

2025-11-21 16:27:52 +00:00

src

Rust: Switch the query to taint flow, since some taint summaries are relevant now.

2025-11-21 15:02:29 +00:00

test

Rust: Switch to MaD models.

2025-11-21 16:27:52 +00:00

.generated.list

Rust: More type inference tests

2025-10-29 15:41:23 +01:00

.gitattributes

Rust: Codegen.

2025-09-24 17:04:28 +01:00