65 Commits

Author	SHA1	Message	Date
Tom Hvitved	6bd355784a	Merge pull request #4353 from hvitved/csharp/dataflow/task-precise ... C#: Precise data-flow for `System.Threading.Tasks`	2020-10-06 10:45:19 +02:00
Tamas Vajk	faf663a334	C#: Flow summary for Nullable<T>	2020-10-06 09:03:49 +02:00
Tom Hvitved	c39bca5240	C#: Model data-flow for System.Threading.Tasks.Task<T>.GetAwaiter()	2020-10-05 17:15:54 +02:00
Tamas Vajk	3b70064606	C#: Improve data flow summary for System.Lazy<>	2020-10-05 14:45:14 +02:00
Tom Hvitved	c0b251ad9e	C#: Precise data-flow for System.Threading.Tasks	2020-10-03 11:13:45 +02:00
Tom Hvitved	795c5784b0	C#: Precise data flow for collections	2020-06-26 13:40:05 +02:00
Tom Hvitved	32b419229d	C#: Address review comments	2020-05-04 09:01:49 +02:00
Tom Hvitved	1959480b78	C#: Field-flow summaries for library code	2020-04-16 15:20:47 +02:00
Tom Hvitved	a9b88b6eaa	C#: Update data flow tests	2020-04-14 09:31:10 +02:00
Calum Grant	4b0a149704	C#: Update qltest output.	2019-12-06 12:41:20 +00:00
Calum Grant	051dd6b3dc	C#: Update qltests.	2019-11-14 17:14:51 +00:00
Calum Grant	fe83bac0fb	C#: Fix up test output ... C#: Fix a qltest whereby a tuple type having multiple underlying types was causing an issue with the IR sanity checks. C#: Revert more changes. C#: Fix tests and remove dead code.	2019-11-12 13:40:58 +00:00
Tom Hvitved	a1d7382a67	C#: Update expected test output	2019-06-17 20:07:54 +02:00
Tom Hvitved	231465143d	C#: Autoformat QL tests	2018-12-20 10:19:59 +01:00
Pavel Avgustinov	b55526aa58	QL code and tests for C#/C++/JavaScript.	2018-08-02 17:53:23 +01:00