Arthur Baars
|
d3c50727ed
|
Rust: exclude Comment nodes from lines of code counts
|
2024-09-30 15:39:00 +02:00 |
|
Arthur Baars
|
fd459be165
|
Rust: add Comment to schema
|
2024-09-30 15:38:54 +02:00 |
|
Tom Hvitved
|
3a210b77f9
|
Merge pull request #17626 from hvitved/rust/more-cfg-tests
|
2024-09-30 15:37:55 +02:00 |
|
Tom Hvitved
|
2e7e26b638
|
Rust: Add more CFG tests
|
2024-09-30 15:15:14 +02:00 |
|
Tom Hvitved
|
5ae669937c
|
Rust: Add labelled block example
|
2024-09-30 14:47:13 +02:00 |
|
Tom Hvitved
|
3e77dd8b6b
|
Rust: Fix extraction errors
|
2024-09-30 10:36:56 +02:00 |
|
Tom Hvitved
|
90a8bef64c
|
Rust: Run codegen
|
2024-09-27 13:39:15 +02:00 |
|
Tom Hvitved
|
dc4160b24a
|
Rust: Prune CFG for impossible true/false edges
|
2024-09-27 13:37:29 +02:00 |
|
Tom Hvitved
|
431b33a274
|
Rust: Implement LiteralExpr::toString()
|
2024-09-27 13:33:25 +02:00 |
|
Tom Hvitved
|
97ead6f462
|
Merge pull request #17560 from hvitved/codegen/remove-cached
Codegen: Do not cache injectors/projectors in `Synth` module
|
2024-09-27 13:17:02 +02:00 |
|
Tom Hvitved
|
90869ec96a
|
Merge pull request #17558 from hvitved/rust/cfg-consistency-queries
Rust: Enable CFG consistency checks
|
2024-09-25 15:14:44 +02:00 |
|
Tom Hvitved
|
79620c1a89
|
Address review comment
|
2024-09-25 14:18:44 +02:00 |
|
Arthur Baars
|
f57dd0a596
|
Merge pull request #17552 from github/aibaars/diagnostics
Rust: extract parse errors as diagnostics
|
2024-09-25 13:15:24 +02:00 |
|
Tom Hvitved
|
f428fdc57c
|
Rust: Run codegen
|
2024-09-25 10:55:18 +02:00 |
|
Tom Hvitved
|
8c956e8276
|
Rust: Add LogicalOperation.qll
|
2024-09-25 10:55:16 +02:00 |
|
Tom Hvitved
|
3bd5c6e445
|
Rust: Implement {BinaryExpr,PrefixExpr}.toString()
|
2024-09-25 10:55:15 +02:00 |
|
Tom Hvitved
|
6e493f2baa
|
Address review comments
|
2024-09-25 09:09:29 +02:00 |
|
Arthur Baars
|
9b8cbdad49
|
Add QLDoc to Diagnostics.qll
|
2024-09-24 17:34:30 +02:00 |
|
Arthur Baars
|
bdb4d89f9f
|
Rust: add Diagnostics.qll
|
2024-09-24 17:34:27 +02:00 |
|
Tom Hvitved
|
c1f3e7389f
|
Rust: Run codegen
|
2024-09-24 14:42:04 +02:00 |
|
Tom Hvitved
|
8d8bbd5b12
|
Rust: Run codegen
|
2024-09-24 13:25:57 +02:00 |
|
Tom Hvitved
|
5f3663018e
|
Rust: Remove spurious CFG edges in match expressions
|
2024-09-24 13:09:33 +02:00 |
|
Tom Hvitved
|
3b753da74e
|
Rust: Expose SuccessorType and sub classes
|
2024-09-24 13:09:00 +02:00 |
|
Tom Hvitved
|
6ae03e67e6
|
Rust: Add case for ParenExpr in CFG
|
2024-09-24 11:20:57 +02:00 |
|
Arthur Baars
|
db06ad2ac3
|
Rust: codegen
|
2024-09-20 15:51:03 +02:00 |
|
Arthur Baars
|
a9423f4bdb
|
Rust: codegen
|
2024-09-20 15:50:59 +02:00 |
|
Simon Friis Vindum
|
95c18ce431
|
Merge pull request #17498 from paldepind/rust-improve-cfg
Rust: Improve CFG
|
2024-09-19 17:33:30 +02:00 |
|
Paolo Tranquilli
|
a5e3fbf367
|
Codegen/Rust: allow breaking up schema file
|
2024-09-19 15:57:42 +02:00 |
|
Simon Friis Vindum
|
19697b9a77
|
Merge branch 'main' into rust-improve-cfg
|
2024-09-19 15:53:41 +02:00 |
|
Simon Friis Vindum
|
db9f5fdf81
|
Rust: Handle nested if expressions, address review comments
|
2024-09-19 15:10:37 +02:00 |
|
Simon Friis Vindum
|
2511986324
|
Rust: Address PR review comments
|
2024-09-19 14:11:58 +02:00 |
|
Arthur Baars
|
1c0f60fa2e
|
Rust: lines of code, exclude 'SourceFile' node
|
2024-09-19 13:00:52 +02:00 |
|
Arthur Baars
|
c3b10bf90b
|
Rust: patch cfg implementation
|
2024-09-19 13:00:49 +02:00 |
|
Arthur Baars
|
80d32a2333
|
Rust: re-generate code
|
2024-09-19 13:00:46 +02:00 |
|
Simon Friis Vindum
|
bbf5902b18
|
Rust: Tweak imports
|
2024-09-18 13:48:50 +02:00 |
|
Tom Hvitved
|
43c0bd36be
|
Rust: Run code generator
|
2024-09-18 13:48:02 +02:00 |
|
Simon Friis Vindum
|
6f555f3ad7
|
Merge branch 'main' into rust-improve-cfg
|
2024-09-18 13:42:51 +02:00 |
|
Tom Hvitved
|
18ae8b14e9
|
Rust: Use elements/internal/generated instead of internal/generated
|
2024-09-18 10:44:20 +02:00 |
|
Simon Friis Vindum
|
dd25b3ecbe
|
Rust: Don't use macro in test and add documentation string
|
2024-09-18 10:10:27 +02:00 |
|
Simon Friis Vindum
|
6a5a50521b
|
Rust: Address QL suggestions for CFG implementation
|
2024-09-18 09:49:59 +02:00 |
|
Tom Hvitved
|
9ea63fe716
|
Rust: Run code generator
|
2024-09-17 20:06:38 +02:00 |
|
Simon Friis Vindum
|
7a369f8734
|
Rust: Update CFG test and expected output
|
2024-09-17 17:34:11 +02:00 |
|
Simon Friis Vindum
|
73a430bd18
|
Merge branch 'main' into rust-improve-cfg
|
2024-09-17 17:31:10 +02:00 |
|
Simon Friis Vindum
|
6e868c2a6d
|
Rust: CFG edges for break and continue with labels
|
2024-09-17 17:11:28 +02:00 |
|
Simon Friis Vindum
|
581d0c59c4
|
Rust: Handle more AST nodes in the CFG
|
2024-09-17 13:05:27 +02:00 |
|
Simon Friis Vindum
|
22edece201
|
Rust: Add CFG construction for if let expressions
|
2024-09-17 11:26:45 +02:00 |
|
Simon Friis Vindum
|
20e968751c
|
Rust: Handle let statements with pattern and else branch in CFG
|
2024-09-17 10:54:48 +02:00 |
|
Tom Hvitved
|
efa52acf73
|
Rust: Move codeql/rust/generated files into codeql/rust/internal/generated
|
2024-09-17 08:51:24 +02:00 |
|
Simon Friis Vindum
|
a935bded36
|
Rust: CFG for match expressions
|
2024-09-16 17:16:37 +02:00 |
|
Paolo Tranquilli
|
de4ab44e06
|
Merge branch 'main' into redsun82/rust-unextracted
|
2024-09-16 17:10:26 +02:00 |
|