include all sources

sfiruch · Jul 3, 2023 · 45d84df · 45d84df
1 parent 982efb1
commit 45d84df
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/kissat.vcxproj b/kissat.vcxproj
@@ -365,6 +365,7 @@
  <ClCompile Include="src\sweep.c" />
  <ClCompile Include="src\terminate.c" />
  <ClCompile Include="src\trail.c" />
+ <ClCompile Include="src\transitive.c" />
  <ClCompile Include="src\utilities.c" />
  <ClCompile Include="src\vector.c" />
  <ClCompile Include="src\vivify.c" />
@@ -423,6 +424,7 @@
  <ClInclude Include="src\inlinequeue.h" />
  <ClInclude Include="src\inlinevector.h" />
  <ClInclude Include="src\internal.h" />
+ <ClInclude Include="src\keatures.h" />
  <ClInclude Include="src\kimits.h" />
  <ClInclude Include="src\kissat.h" />
  <ClInclude Include="src\kitten.h" />
@@ -472,6 +474,7 @@
  <ClInclude Include="src\sweep.h" />
  <ClInclude Include="src\terminate.h" />
  <ClInclude Include="src\trail.h" />
+ <ClInclude Include="src\transitive.h" />
  <ClInclude Include="src\utilities.h" />
  <ClInclude Include="src\value.h" />
  <ClInclude Include="src\vector.h" />

diff --git a/kissat.vcxproj.filters b/kissat.vcxproj.filters
@@ -273,6 +273,9 @@
  <ClCompile Include="src\warmup.c">
  <Filter>Source Files</Filter>
  </ClCompile>
+ <ClCompile Include="src\transitive.c">
+ <Filter>Source Files</Filter>
+ </ClCompile>
  </ItemGroup>
  <ItemGroup>
  <ClInclude Include="pal-win\sys\time.h">
@@ -593,5 +596,11 @@
  <ClInclude Include="src\warmup.h">
  <Filter>Header Files</Filter>
  </ClInclude>
+ <ClInclude Include="src\keatures.h">
+ <Filter>Header Files</Filter>
+ </ClInclude>
+ <ClInclude Include="src\transitive.h">
+ <Filter>Header Files</Filter>
+ </ClInclude>
  </ItemGroup>
 </Project>