13 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	e90243c348	C#: Accept irrelevant changes. ... The additions are unintentional, but the fault lies with the shared SignAnalysis code. The removals are due to compile-time constant initializers no longer having CFG nodes.	2026-04-10 15:47:19 +02:00
Michael Nebel	55516342b2	C#: Add/update tests and expected output.	2026-03-24 15:32:11 +01:00
Michael Nebel	b061c4d083	C#: Update test expected output.	2026-01-16 11:53:55 +01:00
Anders Schack-Mulligen	b392767252	C#: Accept qltest changes.	2025-10-03 15:29:35 +02:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	669e207600	Fix sign analysis expected file	2021-01-27 16:40:56 +01:00
Tom Hvitved	2af7e1c213	C#: Use CFG nodes instead of AST nodes in sign/modulus analysis	2020-10-14 13:39:44 +02:00
Tom Hvitved	f1d6f7cd0c	C#: Model assertions in the CFG	2020-10-02 17:56:41 +02:00
Anders Schack-Mulligen	c027f3bd2b	Merge pull request #4324 from tamasvajk/feature/unsigned-sign-analysis ... Handle unsigned types in sign analysis (C# and Java)	2020-10-01 15:11:49 +02:00
Tamas Vajk	2bbaa4e173	Handle unsigned types in sign analysis (C# and Java)	2020-09-28 14:46:32 +02:00
Tamas Vajk	77bb1b2cd9	C#: Extract constant value of enum member equal clauses	2020-09-28 11:04:22 +02:00
Tom Hvitved	06dbec78f7	C#: Add Guard::controlsBasicBlock() and simplify Guard::isEquality()	2020-09-21 16:15:12 +02:00
Tamas Vajk	8bf4a4209c	C#: Sign analysis ... Synced between Java and C# through `identical-files.json`.	2020-09-21 16:15:12 +02:00