334 Commits

Author	SHA1	Message	Date
Geoffrey White	feed0ebeca	Rust: Autoformat.	2024-10-15 15:49:56 +01:00
Geoffrey White	f07f6188ae	Rust: Make rust/summary/summary-statistics a metric query so that we can access data in the DCA job.	2024-10-15 14:19:46 +01:00
Geoffrey White	f4d4925239	Rust: Address QL-for-QL complaint.	2024-10-15 14:19:45 +01:00
Geoffrey White	2be5ce4f7a	Rust: Change rust/summary/summary-statistics to a diagnostic query, so that it gets run as a diagnmetric query for DCA.	2024-10-15 14:19:44 +01:00
Geoffrey White	e8953fb5e4	Rust: Add diagnostic query for AST inconsistency counts.	2024-10-15 14:19:43 +01:00
Geoffrey White	e01ecd1b79	Rust: Calculate a total of AST inconsistencies.	2024-10-15 14:19:42 +01:00
Geoffrey White	2d019eb00e	Rust: Add QLDoc to the AST consistency rules and make their output more consistent.	2024-10-15 14:19:40 +01:00
Geoffrey White	b5c88c7bfe	Rust: Give the extraction consistency query metadata as well.	2024-10-15 14:19:39 +01:00
Geoffrey White	414fcf836e	Rust: Move the AST consistency logic to a .qll.	2024-10-15 14:19:38 +01:00
Geoffrey White	79c5adfc9a	Rust: Use correct versions of the consistency predicates.	2024-10-15 14:10:51 +01:00
Geoffrey White	abc4981300	Rust: Address QL-for-QL complaint.	2024-10-15 11:30:03 +01:00
Geoffrey White	983179b84e	Rust: Autoformat.	2024-10-15 11:23:16 +01:00
Geoffrey White	ac9a8d602c	Rust: Add metadata to the original CFG consistency query.	2024-10-11 17:01:47 +01:00
Geoffrey White	d4c3e3323f	Rust: Add diagnostic query for CFG inconsistency counts.	2024-10-11 17:01:46 +01:00
Geoffrey White	7b712f3d65	Rust: Calculate a total of CFG inconsistencies.	2024-10-11 17:01:41 +01:00
Geoffrey White	4398c83a67	Rust: Add more QLDoc to the CFG consistency library.	2024-10-11 16:53:46 +01:00
Geoffrey White	85f2582afd	Rust: Move CFG consistency logic into a library.	2024-10-11 16:53:45 +01:00
Arthur Baars	fc298b23c9	Rust: address comment	2024-10-11 16:01:13 +02:00
Arthur Baars	5f45402cf7	Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros	2024-10-11 15:40:07 +02:00
Tom Hvitved	ac8b9739c5	Merge pull request #17686 from hvitved/rust/cfg-patterns ... Rust: Include parameters and patterns in the CFG	2024-10-11 14:45:27 +02:00
Tom Hvitved	ffd6b9864c	Address review comments	2024-10-11 14:27:42 +02:00
Arthur Baars	659ce6f1ca	Rust: fix CodeQL alert	2024-10-11 13:45:10 +02:00
Arthur Baars	b4bb24aa43	Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros	2024-10-11 13:33:50 +02:00
Paolo Tranquilli	f3bf347bd6	Merge branch 'main' into redsun82/codegen-annotate	2024-10-11 10:38:02 +02:00
Arthur Baars	9fad5410c0	Rust: implement CFG for macros	2024-10-11 10:37:24 +02:00
Paolo Tranquilli	c66bd72620	Rust: rename to CallExprBase	2024-10-11 09:52:30 +02:00
Tom Hvitved	756affa4aa	Rust: Fix bugs in LetExprTree and MethodCallExprTree	2024-10-10 21:05:01 +02:00
Tom Hvitved	2f14ec9f2a	Rust: Include patterns in the CFG	2024-10-10 21:05:00 +02:00
Tom Hvitved	f6f54c6e3b	Rust: Include parameters in the CFG	2024-10-10 21:04:58 +02:00
Tom Hvitved	665da3958a	Rust: Add CFG test for nested function	2024-10-10 21:04:57 +02:00
Tom Hvitved	5f353b72cd	Merge pull request #17727 from github/aibaars/modifiers ... Rust: add extraction of all sorts of modifier tokens	2024-10-10 18:00:21 +02:00
Simon Friis Vindum	1398575b97	Merge pull request #17728 from paldepind/rust-remove-unused-types ... Rust: Remove unused types	2024-10-10 17:33:59 +02:00
Geoffrey White	04c7319b6b	Merge pull request #17647 from geoffw0/warnings ... Rust: More information about extractor errors and warnings	2024-10-10 16:19:15 +01:00
Arthur Baars	6d43eed1e6	Rust: add QL doc for MacroStmts and MacroItems	2024-10-10 16:28:10 +02:00
Arthur Baars	f70f8a3536	Rust: fix utf8 test	2024-10-10 15:53:10 +02:00
Arthur Baars	1135bf6bcd	Rust: improve QL test script	2024-10-10 15:53:09 +02:00
Arthur Baars	796da126b8	Rust: update expected output	2024-10-10 15:52:57 +02:00
Arthur Baars	0b3b95ab54	Rust: macro expansion	2024-10-10 15:19:47 +02:00
Arthur Baars	6ede20cccc	Rust: regenerate code	2024-10-10 15:19:45 +02:00
Paolo Tranquilli	89f43fb917	Rust: generate code	2024-10-10 14:37:40 +02:00
Arthur Baars	32e9881cfb	Rust: update expected output	2024-10-10 14:25:07 +02:00
Arthur Baars	30034b4254	Rust: run 'bazel //rust/codegen'	2024-10-10 14:25:06 +02:00
Tom Hvitved	4df9cd88ef	Merge pull request #17658 from hvitved/shared/cfg-conditional-splitting ... Shared `ConditionalCompletionSplitting` implementation	2024-10-10 13:21:38 +02:00
Simon Friis Vindum	0c9a2896d8	Rust: Remove unused types	2024-10-10 11:47:58 +02:00
Geoffrey White	25b3d76f71	Merge pull request #17718 from geoffw0/unusedvar4 ... Rust: Restrict variables to lowercase (for now).	2024-10-10 08:22:52 +01:00
Geoffrey White	09c2f901f4	Merge pull request #17525 from geoffw0/unreachable ... Rust: Unreachable code query	2024-10-10 08:22:08 +01:00
Tom Hvitved	6a87eb0c73	Merge pull request #17696 from hvitved/rust/captured-variables ... Rust: Account for captured variables	2024-10-09 19:42:03 +02:00
Geoffrey White	719cef8298	Merge branch 'main' into unreachable	2024-10-09 17:06:11 +01:00
Geoffrey White	5ac9c2db74	Rust: Accept variables test change.	2024-10-09 17:00:15 +01:00
Geoffrey White	dfeb35fe1a	Rust: Move the restriction to variableDecl.	2024-10-09 16:21:12 +01:00