Tamas Vajk
|
2e21564032
|
C#: Fix formatting with 'dotnet format'
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
7f86768a49
|
C#: Reformat LINQ extension method call-chains
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
115a216ea9
|
C#: Format nested ternary operators
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
c38bf5ee5b
|
C#: Reduce nesting and fix some formatting
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
e73ced2275
|
C#: Add sealed modifier to classes to fix dispose-pattern, remove explicit IDisposable implementations
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
397be7e98f
|
C#: Change constructor visibility to protected in abstract classes
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
71faa51270
|
C#: Dispose IDisposables
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
e208f3d21d
|
C#: Simplify null checks with pattern matching, ??, and ?:
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
504f56adeb
|
C#: Simplify object initialization
|
2020-10-13 13:27:46 +02:00 |
|
Tamas Vajk
|
b793af571e
|
C#: Remove unnecessary usings
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
ec63acfb0c
|
C#: Inline out variable declarations
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
f2e6b42aa4
|
C#: Add type parameter in/out
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
33672a4058
|
C#: Simplify using statements
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
412b87c5c7
|
C#: Fix loop that iterates only once
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
79eff06828
|
C#: Remove unused out argument
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
921d3eeaec
|
C#: Mark members static (remove unused members)
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
68a45e7e9d
|
C: Remove unused fields
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
0c9aaa3dce
|
C#: Remove unused parameters
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
93c6d5ea58
|
C#: Fix empty array creation
|
2020-10-13 13:27:45 +02:00 |
|
Tamas Vajk
|
2d3985742f
|
C#: Fix length/emptiness checks
|
2020-10-13 13:27:45 +02:00 |
|
Tom Hvitved
|
35985a9189
|
Merge pull request #4452 from hvitved/csharp/ssa/overlapping-captured-defs
C#: Avoid overlapping SSA definitions for `ref`/`out` captured variables
|
2020-10-12 13:01:39 +02:00 |
|
Tom Hvitved
|
9d1f64d35d
|
C#: Avoid overlapping SSA definitions for ref/out captured variables
|
2020-10-12 10:52:40 +02:00 |
|
Anders Schack-Mulligen
|
725194a3b8
|
Merge pull request #4447 from aschackmull/dataflow/postupdate-flow-consistency
Dataflow: Introduce consistency check for flow targeting PostUpdateNodes
|
2020-10-12 08:56:19 +02:00 |
|
Tom Hvitved
|
723699a584
|
C#: Add SSA test for overlapping captured variable definitions
|
2020-10-09 16:01:19 +02:00 |
|
Anders Schack-Mulligen
|
1c043447e8
|
Dataflow: Introduce consistency check for flow targeting PostUpdateNodes.
|
2020-10-09 14:29:52 +02:00 |
|
Tom Hvitved
|
29fb23e6a4
|
C#: Add flow summaries for System.[Value]Tuple
|
2020-10-09 13:38:30 +02:00 |
|
Tom Hvitved
|
412524103c
|
Merge pull request #4437 from hvitved/csharp/cfg/compiler-generated-array-lengths
C#: Include compiler-generated array lengths in the CFG
|
2020-10-09 10:54:56 +02:00 |
|
Tamas Vajk
|
f3f908383b
|
C#: Adjust autobuilder tests for added nuget.exe flag
|
2020-10-08 17:07:40 +02:00 |
|
Tamas Vajk
|
522f41377f
|
C#: Add '-DisableParallelProcessing' flag to nuget restore in Autobuilder
|
2020-10-08 17:02:14 +02:00 |
|
Tom Hvitved
|
ca4e5014ae
|
C#: Include compiler-generated array lengths in the CFG
|
2020-10-08 10:35:50 +02: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
|
b70f5bc954
|
Merge pull request #4433 from hvitved/csharp/dataflow/switch-expr
C#: Add missing data-flow for switch expressions
|
2020-10-08 09:13:43 +02:00 |
|
Anders Schack-Mulligen
|
cb00f8bcc4
|
Merge pull request #4362 from tamasvajk/feature/sign-analysis-cleanup
Sign analysis cleanup
|
2020-10-08 09:10:04 +02:00 |
|
Tamás Vajk
|
06f1c898dc
|
Merge pull request #4349 from tamasvajk/feature/modulus-analysis
ModulusAnalysis shared between C# and Java
|
2020-10-07 21:21:20 +02:00 |
|
Tom Hvitved
|
a9bb7b526c
|
Merge pull request #4413 from hvitved/csharp/indexer-explicit-interface
C#: Fix extraction of library indexers with explicit interface implementations
|
2020-10-07 18:49:30 +02:00 |
|
Tom Hvitved
|
31816af11e
|
C#: Add missing data-flow for switch expressions
|
2020-10-07 17:10:29 +02:00 |
|
Tom Hvitved
|
9c503c1591
|
C#: Add more data/control-flow tests
|
2020-10-07 17:10:01 +02:00 |
|
Tamas Vajk
|
4df6a41616
|
ModulusAnalysis shared between C# and Java
|
2020-10-07 16:12:24 +02:00 |
|
Tamás Vajk
|
cec6bbea57
|
Merge pull request #4418 from tamasvajk/feature/reenable-test
C#: Reenable disabled test on OSX
|
2020-10-07 16:03:27 +02:00 |
|
Tom Hvitved
|
af36718dc6
|
C#: QL doc adjustments
|
2020-10-07 15:15:18 +02:00 |
|
Tom Hvitved
|
68014fd3bf
|
C#: Fix extraction of library indexers with explicit interface implementations
|
2020-10-07 15:02:55 +02:00 |
|
Tom Hvitved
|
a4ce9417bc
|
C#: Add test for missing accessors
|
2020-10-07 14:53:51 +02:00 |
|
Tom Hvitved
|
88575799e9
|
Merge pull request #4417 from hvitved/csharp/named-tuple-tests
C#: Add test for named tuple types
|
2020-10-07 13:26:49 +02:00 |
|
Tamas Vajk
|
d2d8d009eb
|
Sync Bound between C# and Java
|
2020-10-07 11:43:30 +02:00 |
|
Tamas Vajk
|
94dc11c45a
|
Revert getNonIntegerValue unification
|
2020-10-07 10:56:01 +02:00 |
|
Tamas Vajk
|
4f56a97244
|
C#: Adjust expected files for .net 3.1 upgrade
|
2020-10-06 16:01:14 +02:00 |
|
Tamas Vajk
|
56604e005a
|
C#: Upgrade to .net core app 3.1
|
2020-10-06 16:01:14 +02:00 |
|
Tamás Vajk
|
8d09885ae6
|
Merge pull request #4378 from tamasvajk/feature/flow-summary-nullable
Flow summary nullable
|
2020-10-06 11:45:41 +02:00 |
|
Tom Hvitved
|
e15758ba7f
|
C#: Add test for named tuple types
|
2020-10-06 11:42:11 +02:00 |
|
Tamas Vajk
|
36ddbcdd71
|
C#: Reenable disabled test on OSX
|
2020-10-06 11:41:48 +02:00 |
|