diff options
| author |  Ken McMillan <kenmcmil@microsoft.com> | 2012-06-05 15:22:45 -0700 |
|---|---|---|
| committer | Ken McMillan <kenmcmil@microsoft.com> | 2012-06-05 15:22:45 -0700 |
| commit | b8388a79e8416d6326313965040903c6c6d15d70 (patch) | |
| tree | 48bb354c750626005ab065bc60bd0db34b6c7d37 /Source/Provers/Z3api/Z3api.csproj | |
| parent | c793a5ea9bf33f9f7028af9920e569b5ec7fcc4f (diff) | |
Some changes to support expanded use of z3api.
Should not affect function
of other provers. There is an option added in Check.cs to allow creation
of a Checker with a user-specified ProverContext. Also, some extension of
z3api prover context to support conversion of Z3 formulas back to VCExpr.
Finally, some experimental code, not enabled, to allow conversion of loops to
recursion with "head recursion" rather than "tail recursion" (i.e., recursive
call before loop body rather than after).
Diffstat (limited to 'Source/Provers/Z3api/Z3api.csproj')
| -rw-r--r-- | Source/Provers/Z3api/Z3api.csproj | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Source/Provers/Z3api/Z3api.csproj b/Source/Provers/Z3api/Z3api.csproj index 94184957..0923cb36 100644 --- a/Source/Provers/Z3api/Z3api.csproj +++ b/Source/Provers/Z3api/Z3api.csproj @@ -118,9 +118,8 @@ </Target>
-->
<ItemGroup>
- <Reference Include="Microsoft.Z3, Version=2.0.40827.2, Culture=neutral, PublicKeyToken=9c8d792caae602a2, processorArchitecture=x86">
- <SpecificVersion>False</SpecificVersion>
- <HintPath>..\..\..\Binaries\Microsoft.Z3.dll</HintPath>
+ <Reference Include="ManagedAPI">
+ <HintPath>..\..\..\..\..\iZ3\win\iZ3\Debug\ManagedAPI.dll</HintPath>
</Reference>
<Reference Include="System" />
<Reference Include="System.Core">
|