-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathSharpProof.Release.props
More file actions
16 lines (16 loc) · 1.09 KB
/
Copy pathSharpProof.Release.props
File metadata and controls
16 lines (16 loc) · 1.09 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
<Project>
<PropertyGroup>
<SharpProofProductName>SharpProof</SharpProofProductName>
<SharpProofPublisher>Alex Yorke</SharpProofPublisher>
<SharpProofVersionPrefix>1.0.0</SharpProofVersionPrefix>
<SharpProofAssemblyVersion>$(SharpProofVersionPrefix).0</SharpProofAssemblyVersion>
<SharpProofPackageVersion>$(SharpProofVersionPrefix)-preview.1</SharpProofPackageVersion>
<Version>$(SharpProofPackageVersion)</Version>
<PackageVersion>$(SharpProofPackageVersion)</PackageVersion>
<AssemblyVersion>$(SharpProofAssemblyVersion)</AssemblyVersion>
<FileVersion>$(SharpProofAssemblyVersion)</FileVersion>
<InformationalVersion>$(SharpProofPackageVersion)</InformationalVersion>
<SharpProofProductDescription>Portable SharpProof Roslyn analysis and contract generation for bounded effect contracts, compiler-bound preconditions, and accountable postcondition verification. Unsupported selected code remains visibly incomplete.</SharpProofProductDescription>
<SharpProofProjectUrl>https://github.com/alexyorke/SharpProof</SharpProofProjectUrl>
</PropertyGroup>
</Project>