Tom Hvitved
|
a3894be1c5
|
Merge pull request #4607 from hvitved/csharp/msbuild-mono-no-shared-compilation
C#: Disable shared compilation when building with Mono+MSBuild
|
2020-11-05 19:56:25 +01:00 |
|
Tom Hvitved
|
10ab3304c1
|
Merge pull request #4575 from hvitved/csharp/cfg/post-dominance
C#: Restrict post-dominance to normal execution
|
2020-11-05 15:31:13 +01:00 |
|
Robert Marsh
|
2f204869e7
|
Merge pull request #4604 from criemen/ir-block-sort-order
C++, C# IR: Stabilize sort order for basic blocks.
|
2020-11-04 18:22:23 -05:00 |
|
Tom Hvitved
|
1ba9e29a40
|
C#: Precise data flow for EntityFramework(Core)
|
2020-11-04 19:48:03 +01:00 |
|
Tom Hvitved
|
b5063bbcb5
|
Merge pull request #4495 from hvitved/csharp/dataflow/summaries
C#: Shared interface/implementation for flow summaries
|
2020-11-04 17:02:19 +01:00 |
|
Cornelius Riemenschneider
|
44d6584fa2
|
C++, C#: Auto-format.
|
2020-11-04 16:26:56 +01:00 |
|
Cornelius Riemenschneider
|
a13947424a
|
C++, C# IR: Stabilize sort order for basic blocks.
|
2020-11-04 16:26:56 +01:00 |
|
Tom Hvitved
|
131a05563a
|
C#: Disable shared compilation when building with Mono+MSBuild
|
2020-11-04 14:16:25 +01:00 |
|
Tom Hvitved
|
c5abf29dfc
|
C#: Update flow-summary test
|
2020-11-03 20:28:42 +01:00 |
|
Dave Bartolomeo
|
f0b9794907
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-11-03 11:33:44 -05:00 |
|
Tom Hvitved
|
438b8dd273
|
C#: Fix typos
|
2020-11-03 14:57:07 +01:00 |
|
Tom Hvitved
|
f4d1d73bcd
|
C#: Shared interface/implementation for flow summaries
|
2020-11-03 13:47:28 +01:00 |
|
Anders Schack-Mulligen
|
2971784f9c
|
Dataflow: Add missing qldoc and sync.
|
2020-11-03 09:21:48 +01:00 |
|
Anders Schack-Mulligen
|
7eb64aa998
|
Dataflow: Code review fixes.
|
2020-11-03 09:16:20 +01:00 |
|
Anders Schack-Mulligen
|
1ae76a80aa
|
Dataflow: Fix qldoc.
|
2020-11-03 09:16:20 +01:00 |
|
Anders Schack-Mulligen
|
d5be4d7b92
|
Dataflow: Add support reverse partial flow exploration.
|
2020-11-03 09:16:19 +01:00 |
|
Dave Bartolomeo
|
e9d1f0dacf
|
Merge remote-tracking branch 'upstream/main' into work
|
2020-11-02 17:31:15 -05:00 |
|
Robert Marsh
|
0e4d69709f
|
C++/C#: autoformat
|
2020-11-02 14:00:53 -08:00 |
|
Tom Hvitved
|
e89a463b25
|
C#: Fix bad join-order in commonSubTypeGeneral/2
|
2020-11-01 20:08:14 +01:00 |
|
Dave Bartolomeo
|
42373417e2
|
Merge from main
|
2020-10-30 12:02:56 -04:00 |
|
Tom Hvitved
|
54e2741064
|
Merge pull request #4580 from hvitved/csharp/1.26-change-notes
C#: Convert 1.26 change notes
|
2020-10-30 09:17:52 +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
|
91d72945d7
|
Merge pull request #4568 from hvitved/csharp/cfg/multi-asserts
C#: Fix CFG for assertions with multiple assertion arguments
|
2020-10-30 09:13:38 +01:00 |
|
Robert Marsh
|
7e8770d731
|
C#: Remove reference to InitializeNonLocal in IR
|
2020-10-29 16:08:23 -07:00 |
|
Tom Hvitved
|
0111f140de
|
C#: Convert 1.26 change notes
|
2020-10-29 20:23:07 +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 |
|
Dave Bartolomeo
|
4189567b8c
|
Fix PR feedback
Co-authored-by: Tom Hvitved <hvitved@github.com>
|
2020-10-29 10:15:45 -04:00 |
|
Dave Bartolomeo
|
42e075dfb8
|
Fix path transformer handling of extensionless files
|
2020-10-29 10:02:55 -04:00 |
|
Tamás Vajk
|
64dcfbd7fc
|
Merge pull request #4484 from tamasvajk/feature/custom-assert-methods
C#: Add support for custom assert methods (DoesNotReturnIfAttribute)
|
2020-10-29 09:10:09 +01:00 |
|
Dave Bartolomeo
|
7a2c59c194
|
Merge from main
|
2020-10-28 15:35:46 -04:00 |
|
Tamas Vajk
|
410af42d2b
|
C#: Adjust PR feedback on assertion methods
|
2020-10-28 15:09:50 +01:00 |
|
Tamás Vajk
|
59d9be48a7
|
Merge pull request #4438 from tamasvajk/feature/ast-fixes
C#: Fixes for AST printing
|
2020-10-28 14:52:24 +01:00 |
|
Tom Hvitved
|
2fea6f05f1
|
Merge pull request #4489 from hvitved/csharp/cil-to-string
C#: Simplify `toString()` for CIL entities
|
2020-10-28 12:56:10 +01:00 |
|
Tamas Vajk
|
1830eea50a
|
C#: Cleanup TypeMentions in AST printing
|
2020-10-28 12:34:12 +01:00 |
|
Tamas Vajk
|
444b100c51
|
Minor fix in definitions.qll
|
2020-10-28 12:23:12 +01:00 |
|
Tamas Vajk
|
a9e93e5681
|
C#: Fix GenericType locations in jump-to-definition
|
2020-10-28 12:07:27 +01:00 |
|
Tamas Vajk
|
64b584b4a3
|
C#: Fix PR review findings in NamespaceDeclaration
|
2020-10-28 11:30:17 +01:00 |
|
Tamas Vajk
|
9cc7424cd0
|
C#: Simplify TypeMentions in PrintAST
|
2020-10-28 11:28:06 +01:00 |
|
Tamas Vajk
|
c2e8d3fb3b
|
C#: Minor fix in TypeMention
|
2020-10-28 11:28:06 +01:00 |
|
Tom Hvitved
|
92461d41e0
|
C#: Add change note
|
2020-10-28 11:02:12 +01:00 |
|
Tom Hvitved
|
28607927ee
|
C#: Update CIL tests
|
2020-10-28 10:57:01 +01:00 |
|
Tamás Vajk
|
7c3964a388
|
Merge pull request #4543 from tamasvajk/feature/configureawait
C#: Add flow summary for 'Task.ConfigureAwait()'
|
2020-10-28 10:42:44 +01:00 |
|
Tamas Vajk
|
7a1e1996e4
|
C#: Remove unneded class from CompilerServices.qll
|
2020-10-28 08:42:20 +01:00 |
|
Tom Hvitved
|
de4ed59f62
|
C#: Simplify toString() for CIL entities
|
2020-10-27 20:58:40 +01:00 |
|
Tom Hvitved
|
090ea01249
|
C#: Fix bad join-order in System.Tuple flow-summaries
|
2020-10-27 14:51:11 +01:00 |
|
Tom Hvitved
|
03a36760b8
|
C#: Add data-flow test for ConfigureAwait()
|
2020-10-27 10:23:39 +01:00 |
|
Tamas Vajk
|
342a711296
|
C#: Add flow summary for 'Task.ConfigureAwait()'
|
2020-10-27 10:23:39 +01:00 |
|
Tom Hvitved
|
212b49f3dc
|
Merge pull request #4416 from hvitved/csharp/dataflow/tuples
C#: Add flow summaries for `System.[Value]Tuple`
|
2020-10-26 13:48:24 +01:00 |
|