3555 Commits

Author	SHA1	Message	Date
Tom Hvitved	7c9a6064cf	C#: Get rid of ReadKind	2021-01-25 16:20:14 +01:00
Tom Hvitved	6ffeaf8c2a	C#: Adjust flow into phi nodes	2021-01-25 15:44:37 +01:00
Tom Hvitved	38b0f743cb	C#: Add test that illustrates problem with flow through phi nodes	2021-01-25 14:20:27 +01:00
Tom Hvitved	221aebc833	C#: Fix bug in AssignOperationWithExpandedAssignment::last	2021-01-25 14:01:31 +01:00
alexet	355edcb136	Csharp: Reduce BDD usage.	2021-01-25 13:52:17 +01:00
Tom Hvitved	0543e34812	C#: Address review comment	2021-01-25 13:52:17 +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	ab85b2c2d2	C#: Add is not null guards test	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
Tom Hvitved	e7b43e50b6	C#: Remove ReadKind from the shared SSA library	2021-01-25 12:09:34 +01:00
Tamas Vajk	eac69c1674	Add DB upgrade folder for CIL fnptr support	2021-01-25 11:34:47 +01:00
Tamas Vajk	b434a0f395	Add change notes	2021-01-25 11:27:13 +01:00
Tom Hvitved	6fc14976cf	C#: Remove uses of getAQlClass()	2021-01-22 15:00:45 +01:00
Tom Hvitved	bc41c26354	Merge pull request #4959 from hvitved/csharp/ssa/split ... C#: Split up SSA implementation	2021-01-21 10:52:49 +01:00
Tamas Vajk	eb8a52ba8d	Add new .stats file	2021-01-20 21:21:03 +01:00
Tamas Vajk	ab8dc27b26	Add missing 'bindingset'	2021-01-20 15:44:05 +01:00
Tamas Vajk	727412b26b	Store by-ref type annotation in trap and add tests	2021-01-20 15:44:05 +01:00
Tamas Vajk	2804f5cba9	Add by-ref, and fix pinned CIL extraction	2021-01-20 15:44:05 +01:00
Tamas Vajk	f99bf5755c	Merge parameter extraction between methods and function pointers	2021-01-20 15:44:05 +01:00
Tamas Vajk	f986c15200	Add QL classes for CIL function pointers, and add test	2021-01-20 15:44:05 +01:00
Tamas Vajk	0c213d0926	C#: Extract function pointer types from CIL	2021-01-20 15:44:05 +01:00
Tamas Vajk	70c302ffbe	Add DB upgrade folder for function pointer	2021-01-20 11:20:55 +01:00
Tamas Vajk	d34992d36c	Add .stats file	2021-01-19 17:26:31 +01:00
Tamas Vajk	35b955f694	Update change note date	2021-01-19 17:26:31 +01:00
Tamas Vajk	f7a0c98cb3	Code quality improvement	2021-01-19 17:26:31 +01:00
Tamas Vajk	613bf6dca6	Fix failing test	2021-01-19 17:26:31 +01:00
Tamas Vajk	1d9b3ec8b4	Allow annotating fnptr return types	2021-01-19 17:26:31 +01:00
Tamas Vajk	348fe8f2fc	Address PR review comments	2021-01-19 17:26:31 +01:00
Tamas Vajk	a9986ca72d	Fix expected printed AST	2021-01-19 17:26:31 +01:00
Tamas Vajk	fd27bde4b5	Add function pointer conversion tests	2021-01-19 17:26:31 +01:00
Tamas Vajk	15e88471be	Adjust 'Cast.getTargetType()' to return the expression type instead of the type access type	2021-01-19 17:26:31 +01:00
Tamas Vajk	a11d852054	Fix address of unary operator extraction	2021-01-19 17:26:31 +01:00
Tamas Vajk	183926d9fd	C#: Add QL classes for function pointer type/invocation, tests	2021-01-19 17:26:31 +01:00
Tamas Vajk	876123315d	C#: Extract function pointers	2021-01-19 17:26:31 +01:00
Tamás Vajk	e2af176727	Merge pull request #4974 from tamasvajk/feature/cleanup-db ... C#: Remove leftover DB upgrade folder	2021-01-19 11:30:07 +01:00
Tom Hvitved	0674881ffd	C#: Do not rely on BasicBlock member predicates from SsaImplSpecific	2021-01-19 10:52:50 +01:00
Tom Hvitved	2a8060102d	C#: Split up SSA implementation	2021-01-19 10:52:50 +01:00
Tamas Vajk	be7d458dc6	C#: Fix build error in RelationalPattern	2021-01-19 09:49:51 +01:00
Tamas Vajk	6cafb281b5	C#: Remove leftover DB upgrade folder	2021-01-19 09:45:34 +01:00
Tamás Vajk	b775eb4cf7	Merge pull request #4789 from tamasvajk/feature/csharp9-relational-pattern2 ... C#: Relational patterns	2021-01-19 09:38:57 +01:00
Tamas Vajk	d05d4e22ad	C#: Fix namespace extraction of NoMetadataHandleType	2021-01-18 16:14:37 +01:00
Tamas Vajk	1b285ee792	C#: Hardcode well-known underlying enum types	2021-01-18 16:14:37 +01:00
Tamas Vajk	8400a3862b	Add DB upgrade folder	2021-01-18 09:19:27 +01:00
Tamas Vajk	ce58514453	Change release note date	2021-01-18 09:19:27 +01:00
Tamas Vajk	c0b31cbfe7	Add new stats file	2021-01-18 09:19:27 +01:00
Tamas Vajk	f235a28295	C# Add relational patterns extraction	2021-01-18 09:19:27 +01:00
Tom Hvitved	9a9a57716c	C#: Improved extraction of type nullability	2021-01-15 16:01:14 +01:00
Tamás Vajk	81ce29c6c8	Merge pull request #4656 from tamasvajk/feature/csharp9-not-pattern ... C#: Extract unary patterns	2021-01-15 09:44:53 +01:00
Tom Hvitved	d7ca065192	Merge pull request #4923 from hvitved/csharp/ssa/refactor ... C#: SSA refactorings	2021-01-14 17:28:14 +01:00