1961 Commits

Author	SHA1	Message	Date
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
Tom Hvitved	2018b6361d	Rust: Accept CFG inconsistencies	2024-09-30 15:45:15 +02:00
Arthur Baars	d3c50727ed	Rust: exclude Comment nodes from lines of code counts	2024-09-30 15:39:00 +02:00
Arthur Baars	45d3d381f5	Rust: test cases for comments	2024-09-30 15:38:59 +02:00
Arthur Baars	ef3f730d32	Rust: extract comment tokens	2024-09-30 15:38:58 +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	bafef791f7	Rust: Add extraction error consistency query	2024-09-30 10:28:24 +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	bf58bdd2bd	Rust: Update CFG tests	2024-09-27 13:35:14 +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
Arthur Baars	7c6239b077	Merge branch 'main' into unreachable	2024-09-27 12:15:49 +02:00
Tom Hvitved	7c473c38c0	Merge pull request #17585 from hvitved/shared/cfg-scope-no-first-consistency ... Shared: Add CFG consistency check for scopes with missing entry points	2024-09-26 14:05:08 +02:00
Arthur Baars	6777a34dfb	Rust: run cargo fmt	2024-09-26 12:40:25 +02:00
Geoffrey White	caca4950e6	Rust: Revert the change to FileSystem.qll.	2024-09-26 11:10:32 +01:00
Geoffrey White	7b3960844d	Merge pull request #17589 from geoffw0/missing2 ... Rust: Repair rust/diagnostics/unextracted-elements	2024-09-26 11:03:03 +01:00
Tom Hvitved	24f39ccae2	Rust: Weaken scopeNoFirst check	2024-09-26 11:09:52 +02:00
Geoffrey White	f8ce11b3a7	Rust: Improve File.getNumberOfLinesOfCode().	2024-09-25 16:42:29 +01:00
Geoffrey White	7da2845cad	Rust: Uncomment two lines from the test that should now behave deterministically.	2024-09-25 16:42:28 +01:00
Geoffrey White	bc83106dd8	Rust: Repair rust/diagnostics/unextracted-elements.	2024-09-25 16:11:31 +01:00
Geoffrey White	8f1c1a8399	Revert "Rust: remove queries that no longer work" ... This reverts commit e19bca0de8.	2024-09-25 15:33:21 +01: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	cbc2389493	Rust: Accept CFG inconsistencies	2024-09-25 10:56:46 +02:00
Tom Hvitved	d299380a5a	Rust: Enable CFG consistency checks	2024-09-25 10:56:44 +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	1fb9835f23	Merge pull request #17557 from hvitved/rust/cfg-improvements ... Rust: CFG improvements	2024-09-25 10:54:49 +02:00
Tom Hvitved	6e493f2baa	Address review comments	2024-09-25 09:09:29 +02:00
Arthur Baars	5714811071	Rust: fix panic when the last character in a range is multi-byte	2024-09-24 19:26:02 +02:00
Arthur Baars	1953e4f971	Rust: handle UTF-8 decoding errors	2024-09-24 17:34:33 +02:00
Arthur Baars	37f264df74	Rust: correct line and column numbers in printed error messages	2024-09-24 17:34:32 +02:00
Arthur Baars	ca2b8ef6c0	Apply suggestions from code review ... Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>	2024-09-24 17:34:31 +02:00
Arthur Baars	9b8cbdad49	Add QLDoc to Diagnostics.qll	2024-09-24 17:34:30 +02:00
Arthur Baars	c596205416	Rust: add some more diagnostics queries	2024-09-24 17:34:29 +02:00
Arthur Baars	bdb4d89f9f	Rust: add Diagnostics.qll	2024-09-24 17:34:27 +02:00
Arthur Baars	b04abc09f0	Rust: extract syntax errors	2024-09-24 17:34:26 +02:00
Tom Hvitved	c1f3e7389f	Rust: Run codegen	2024-09-24 14:42:04 +02:00
Arthur Baars	d14e77ba48	Address comments	2024-09-24 14:09:23 +02:00
Tom Hvitved	8d8bbd5b12	Rust: Run codegen	2024-09-24 13:25:57 +02:00