Move classes into separate files #1543
Annotations
11 errors and 2 warnings
|
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Visitors/Visitor.cs#L10
The namespace 'Microsoft.Boogie' already contains a definition for 'Visitor'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Visitors/VisitorContracts.cs#L6
The namespace 'Microsoft.Boogie' already contains a definition for 'VisitorContracts'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Visitors/StandardVisitor.cs#L10
The namespace 'Microsoft.Boogie' already contains a definition for 'StandardVisitor'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Visitors/VarDeclOnceStandardVisitor.cs#L8
The namespace 'Microsoft.Boogie' already contains a definition for 'VarDeclOnceStandardVisitor'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Visitors/ReadOnlyVisitor.cs#L13
The namespace 'Microsoft.Boogie' already contains a definition for 'ReadOnlyVisitor'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/LambdaLiftingMaxHolesFiller.cs#L10
'LambdaLiftingMaxHolesFiller' does not implement inherited abstract member 'Visitor.Visit(Absy)'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/MaxHolesLambdaLifter.cs#L32
'MaxHolesLambdaLifter' does not implement inherited abstract member 'Visitor.Visit(Absy)'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Monomorphization.cs#L274
'InstantiationHintCollector' does not implement inherited abstract member 'Visitor.Visit(Absy)'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Monomorphization.cs#L598
'PolymorphicMapAndBinderSubstituter' does not implement inherited abstract member 'Visitor.Visit(Absy)'
|
|
Install tools, build Boogie, test Boogie:
Source/Core/Monomorphization.cs#L1231
'MonomorphizationVisitor' does not implement inherited abstract member 'Visitor.Visit(Absy)'
|
|
Determine version
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
Determine version
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Loading