926 Commits

Author	SHA1	Message	Date
Tom Hvitved	071076875c	Rust: Make more CFG nodes leaves	2024-10-01 21:01:56 +02:00
Tom Hvitved	bbd0aa929f	Rust: Add more missing CFG trees	2024-10-01 21:01:26 +02:00
Tom Hvitved	a507854288	Rust: Fix bug in BooleanCompletion.isValidForSpecific0	2024-10-01 21:00:33 +02:00
Tom Hvitved	8c1fd8fa7a	Rust: Implement CFG for ForExprs	2024-10-01 21:00:09 +02:00
Tom Hvitved	f3e3734424	Rust: Implement CFG for WhileExprs	2024-10-01 20:59:41 +02:00
Geoffrey White	3a54c10f36	Rust: For now exclude top-level AST elements from LOC counts. This is not ideal.	2024-10-01 17:35:30 +01:00
Tom Hvitved	a172063e6a	Rust: Document VariableOrAccessCand	2024-10-01 13:38:18 +02:00
Tom Hvitved	b0efffd8f0	Rust: AST support for variables	2024-10-01 10:10:08 +02:00
Tom Hvitved	a282efc43e	Rust: Add inline test expectations library	2024-10-01 09:50:05 +02:00
Tom Hvitved	1d6626c821	Rust: Implement IdentPat.toString()	2024-10-01 08:42:26 +02:00
Tom Hvitved	938e962d79	Merge remote-tracking branch 'upstream/main' into aibaars/rust-comments	2024-09-30 16:42:22 +02:00
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