fix(postconditions)!: Copy and compare arrays and the value types of System.Collections.Frozen by cwouyang · Pull Request #63 · cwouyang/uContract.NET

fix(postconditions)!: Compare the rank, lengths and lower bounds of two arrays

cwouyang

committed

ce9d0cf

fix(postconditions): Leave an array passed as T as it was when comparing dimensions

cwouyang

committed

73b5d24

docs(postconditions): Say which pair the dimension check leaves equal

cwouyang

committed

b05f8b0

test(postconditions): Hold the place of the dimension check and the first dimension's length

cwouyang

committed

3f25c8f

fix(postconditions)!: Compare arrays of pointers by address

cwouyang

committed

8238148

fix(postconditions): Classify an array of arrays of function pointers without reading its namespace

cwouyang

committed

b822d98

fix(postconditions): State what the address comparison requires of an array

cwouyang

committed

9abcb7d

test(postconditions): Cover unmanaged function pointers, pointers to pointers and rank 2

cwouyang

committed

fd5cf36

fix(postconditions)!: Compare an array passed as T as a whole

cwouyang

committed

74bf652

fix(postconditions)!: Copy arrays and value types declared in System.Collections.Frozen

cwouyang

committed

7cddecd

docs(postconditions): Correct comments and remarks on arrays, pointers and the frozen namespace

cwouyang

committed

96095ad

test(postconditions): Cover arrays of equal instances as T and one array of function pointers on both sides

cwouyang

committed

ddfed04

docs: Say how arrays and the value types of System.Collections.Frozen are copied and compared

cwouyang

committed

2ddf551

docs: Correct the limits stated for arrays passed as an interface and for copied dictionaries

cwouyang

committed

0721bee

docs: State exactly which getters run below an array compared as a whole

cwouyang

committed

89995d8

docs(adr): Record how arrays and the value types of the frozen namespace are copied and compared

cwouyang

committed

90a6161

docs(adr): Correct an attribution and cross-reference the exceptions in the #57 amendments

cwouyang

committed

cabf017

docs(adr): Bring the limit on the two values of the call up to date with its measurement

cwouyang

committed

a15a500

docs: Say what is read of a sequence and of a frozen dictionary below an array compared as a whole

cwouyang

committed

cf28518

docs: Say what enumerating a sequence still calls below an array compared as a whole

cwouyang

committed

dc4b945

docs: State the limit for an enumerator of a frozen collection that a copied object holds

cwouyang

committed

d819fa7

Navigation Menu

Repository navigation

fix(postconditions)!: Copy and compare arrays and the value types of System.Collections.Frozen - #63

fix(postconditions)!: Copy and compare arrays and the value types of System.Collections.Frozen#63
cwouyang merged 21 commits into
masterfrom
fix/old-copies-frozen-arrays

Commits on Oct 11, 2026

fix(postconditions)!: Compare the rank, lengths and lower bounds of two arrays

fix(postconditions): Leave an array passed as T as it was when comparing dimensions

docs(postconditions): Say which pair the dimension check leaves equal

test(postconditions): Hold the place of the dimension check and the first dimension's length

fix(postconditions)!: Compare arrays of pointers by address

fix(postconditions): Classify an array of arrays of function pointers without reading its namespace

fix(postconditions): State what the address comparison requires of an array

test(postconditions): Cover unmanaged function pointers, pointers to pointers and rank 2

fix(postconditions)!: Compare an array passed as T as a whole

fix(postconditions)!: Copy arrays and value types declared in System.Collections.Frozen

docs(postconditions): Correct comments and remarks on arrays, pointers and the frozen namespace

test(postconditions): Cover arrays of equal instances as T and one array of function pointers on both sides

docs: Say how arrays and the value types of System.Collections.Frozen are copied and compared

docs: Correct the limits stated for arrays passed as an interface and for copied dictionaries

docs: State exactly which getters run below an array compared as a whole

docs(adr): Record how arrays and the value types of the frozen namespace are copied and compared

docs(adr): Correct an attribution and cross-reference the exceptions in the #57 amendments

docs(adr): Bring the limit on the two values of the call up to date with its measurement

docs: Say what is read of a sequence and of a frozen dictionary below an array compared as a whole

docs: Say what enumerating a sequence still calls below an array compared as a whole

docs: State the limit for an enumerator of a frozen collection that a copied object holds