diff options
| author |  MichalMoskal <unknown> | 2011-02-17 18:58:14 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 18:58:14 +0000 |
| commit | 6ecb825daaf77f2e783106509c6b33e76e2f9e11 (patch) | |
| tree | b21627d5933991eee6489cce67376061de51c2dc /Source/Provers/SMTLib/SMTLib.csproj | |
| parent | f79fc4e0abd823571d5705106a4192d61b801b84 (diff) | |
Start implementation of pipe communication in SMTLIB backend
Diffstat (limited to 'Source/Provers/SMTLib/SMTLib.csproj')
| -rw-r--r-- | Source/Provers/SMTLib/SMTLib.csproj | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Provers/SMTLib/SMTLib.csproj b/Source/Provers/SMTLib/SMTLib.csproj index 7e0ed5e7..c0ade351 100644 --- a/Source/Provers/SMTLib/SMTLib.csproj +++ b/Source/Provers/SMTLib/SMTLib.csproj @@ -108,8 +108,10 @@ </ItemGroup>
<ItemGroup>
<Compile Include="ProverInterface.cs" />
+ <Compile Include="SExpr.cs" />
<Compile Include="SMTLibLineariser.cs" />
<Compile Include="SMTLibNamer.cs" />
+ <Compile Include="SMTLibProcess.cs" />
<Compile Include="TypeDeclCollector.cs" />
<Compile Include="..\..\version.cs" />
</ItemGroup>
|