52 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	6b6df374fa	C#/Java: Accept test changes.	2026-05-07 15:07:31 +02:00
Tom Hvitved	cbe207ab65	C#: Include parameters and their defaults in the CFG	2026-04-29 14:01:09 +02:00
Anders Schack-Mulligen	9de02b7ae6	Cfg: Use consistent casing in additional node tags.	2026-04-21 10:56:10 +02:00
Anders Schack-Mulligen	2d5a1840f4	C#: Accept new CFG in tests.	2026-04-10 15:47:24 +02:00
Michael Nebel	55516342b2	C#: Add/update tests and expected output.	2026-03-24 15:32:11 +01:00
Michael Nebel	4ba89230db	C#: Update test expected output.	2026-01-16 11:53:59 +01:00
Anders Schack-Mulligen	900d0d2477	C#: Accept test changes for assert split removal.	2025-10-29 15:17:34 +01:00
Anders Schack-Mulligen	ebb50cd402	C#: Accept qltest changes.	2025-10-23 12:48:44 +02:00
Anders Schack-Mulligen	b392767252	C#: Accept qltest changes.	2025-10-03 15:29:35 +02:00
Anders Schack-Mulligen	c1662cf05c	C#/Ruby: Accept qltest changes. ... Mostly toString changes, and a slight change to splitting in C#.	2025-09-01 12:56:07 +02:00
Tom Hvitved	e79a906426	C#: Fix CFG for fall-through switch statements	2025-04-25 11:48:30 +02:00
Tom Hvitved	a991ef0f87	C#: Add a CFG test for switch fall-through	2025-04-25 10:32:48 +02:00
Tom Hvitved	9d8e9975de	C#: Update expected test output	2025-02-20 10:18:15 +01:00
Tom Hvitved	1c344d6735	C#: Adjust conditional access locations	2024-04-10 16:21:58 +02:00
Tom Hvitved	f85fa87f69	C#: Add test that illustrates problem with getEnclosingCallable	2021-11-24 13:59:29 +01:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tom Hvitved	249e431e87	C#: Adjust CFG for {Recursive,Positional,Property}PatternExpr	2021-02-01 13:52:18 +01:00
Tamas Vajk	a9c51e7300	Fix missing pattern matching completions	2021-01-29 15:16:30 +01:00
Tamas Vajk	e24e5b13f5	C#: Improve CFG to handle 'and' and 'or' patterns	2021-01-27 11:52:59 +01:00
Tom Hvitved	39977e9a43	Merge pull request #4724 from hvitved/csharp/cfg/not-pattern ... C#: Implement CFG for `not` patterns	2021-01-27 10:12:31 +01:00
Tom Hvitved	07a96c3596	C#: Add CFG tests for ExceptionDispatchInfo::Throw	2021-01-26 09:01:06 +01:00
Tom Hvitved	e0c7f32282	C#: Add relational pattern CFG test	2021-01-25 13:52:17 +01:00
Tom Hvitved	063733ad52	C#: Implement CFG for not patterns	2021-01-25 13:52:17 +01:00
Tom Hvitved	0080357153	C#: Add unary pattern CFG tests	2021-01-25 13:52:17 +01:00
Tamas Vajk	056dbe31d5	C#: Remove throw completion from StringLiteral	2021-01-08 08:14:08 +01:00
Tom Hvitved	3531dde032	C#: Simplify FinallySplit::toString()	2020-12-05 20:16:11 +01:00
Tom Hvitved	9afce31e92	C#: Add one more CFG test for nested finally blocks	2020-12-04 13:26:00 +01:00
Tom Hvitved	d4ee8cdd18	C#: Always create basic blocks for nodes with a conditional predecessor	2020-11-27 15:08:33 +01:00
Tom Hvitved	f0f5d44b33	C#: Replace BreakNormalCompletion with a nested completion	2020-11-23 11:38:24 +01:00
Tom Hvitved	f3abaa406c	C#: Refactor CFG implementation	2020-11-23 11:38:24 +01:00
Tom Hvitved	94deed39a2	C#: Represent all expressions in post-order in the CFG	2020-11-12 20:04:48 +01:00
Tom Hvitved	6723e5b31c	C#: Restrict post-dominance to normal execution	2020-10-30 09:14:12 +01:00
Tom Hvitved	ade8ff9593	C#: Add more CFG tests	2020-10-30 09:14:12 +01:00
Tom Hvitved	51f71d4e1d	C#: Fix CFG for assertions with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tom Hvitved	5cd707f17e	C#: Add CFG test for assertion with multiple assertion arguments	2020-10-29 15:44:13 +01:00
Tom Hvitved	ce8567c64a	Merge pull request #4293 from hvitved/csharp/cfg/assertions ... C#: Model assertions in the CFG	2020-10-08 10:32:13 +02:00
Tom Hvitved	9c503c1591	C#: Add more data/control-flow tests	2020-10-07 17:10:01 +02:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Tom Hvitved	17f0ac4b20	C#: Add more CFG assertion tests	2020-10-02 15:35:33 +02:00
Tom Hvitved	6c716331d9	C#: Skip foreach loop bodies in the CFG when the iteration expression is empty	2020-09-07 15:26:28 +02:00
Tom Hvitved	9e240b7397	C#: Add more CFG loop unrolling tests	2020-09-07 15:26:25 +02:00
Tom Hvitved	527a099a26	C#: Fix CFG for conditional method calls with out parameters	2020-07-02 13:12:53 +02:00
Calum Grant	d696235668	C#: Updated CFG for switch statements - note that the last() predicate is incorrect.	2019-09-20 14:22:31 +01:00
Calum Grant	81110dca0a	C#: Add new test for switch statements.	2019-09-20 14:22:31 +01:00
Tom Hvitved	5070270605	C#: Fix CFG for nested finally blocks	2019-09-12 11:44:04 +02:00
Tom Hvitved	b9fa837963	C#: Add new CFG test for try/finally	2019-09-12 11:44:04 +02:00
Tom Hvitved	3d32f3d173	C#: Restructure existing CFG tests for try/finally	2019-09-12 11:44:04 +02:00
Tom Hvitved	170621d1cc	C#: Address review comments	2019-09-09 13:38:23 +02:00
Tom Hvitved	1e7ee8ddad	C#: Loop unrolling for foreach statements	2019-09-01 10:34:51 +02:00
Tom Hvitved	1bfef706e2	C#: Add loop unrolling tests	2019-09-01 10:34:51 +02:00