Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings
This repository was archived by the owner on Aug 26, 2022. It is now read-only.
/PSharpPublic archive

Commit631fcd2

Browse files
authored
Update to 1.7.0 (#477)
1 parentc4f12a9 commit631fcd2

File tree

145 files changed

+51
-1897
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

145 files changed

+51
-1897
lines changed

‎Common/version.props‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<!-- This file may be overwritten by automation. Only values allowed here are VersionPrefix and VersionSuffix.-->
22
<Project>
33
<PropertyGroup>
4-
<VersionPrefix>1.6.10</VersionPrefix>
4+
<VersionPrefix>1.7.0</VersionPrefix>
55
<VersionSuffix></VersionSuffix>
66
</PropertyGroup>
77
</Project>
-178 KB
Binary file not shown.
-172 KB
Binary file not shown.
-167 KB
Binary file not shown.
-103 KB
Binary file not shown.

‎Docs/README.md‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,6 @@ Learn how to use the P# testing infrastructure to write unit-tests, thoroughly c
3030
##Tools
3131
The following provides information regarding the available tools in the P# ecosystem:
3232
-[P# Compiler](Tools/Compiler.md)
33-
-[P# Trace Viewer](Tools/TraceViewer.md)
3433
-[P# Race Detector](Tools/RaceDetection.md)
3534
-[P# Batch Tester](https://github.com/p-org/PSharpBatchTesting)
3635

‎Docs/Tools/TraceViewer.md‎

Lines changed: 0 additions & 34 deletions
This file was deleted.

‎Samples/Framework/build.props‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,6 @@
1212
<OutputPath>..\bin\</OutputPath>
1313
</PropertyGroup>
1414
<ItemGroup>
15-
<PackageReferenceInclude="Microsoft.PSharp"Version="1.6.10" />
15+
<PackageReferenceInclude="Microsoft.PSharp"Version="1.7.0" />
1616
</ItemGroup>
1717
</Project>

‎Samples/Language/build.props‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,6 @@
1010
<OutputPath>..\bin\</OutputPath>
1111
</PropertyGroup>
1212
<ItemGroup>
13-
<PackageReferenceInclude="Microsoft.PSharp"Version="1.6.10" />
13+
<PackageReferenceInclude="Microsoft.PSharp"Version="1.7.0" />
1414
</ItemGroup>
1515
</Project>

‎Source/Core/Configuration.cs‎

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@
66
usingSystem;
77
usingSystem.Collections.Generic;
88
usingSystem.Runtime.Serialization;
9-
10-
usingMicrosoft.PSharp.IO;
119
usingMicrosoft.PSharp.Utilities;
1210

1311
namespaceMicrosoft.PSharp

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp