<commit_before>﻿<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="12.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
  <PropertyGroup>
    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
    <SchemaVersion>2.0</SchemaVersion>
    <ProjectGuid>82336f31-a87c-4403-a2f4-2b90b4f0996b</ProjectGuid>
    <OutputType>Library</OutputType>
    <RootNamespace>tactics</RootNamespace>
    <AssemblyName>tactics</AssemblyName>
    <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
    <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
    <Name>tactics</Name>
    <TargetFrameworkProfile />
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
    <DebugSymbols>true</DebugSymbols>
    <DebugType>full</DebugType>
    <Optimize>false</Optimize>
    <Tailcalls>false</Tailcalls>
    <OutputPath>bin\Debug\</OutputPath>
    <DefineConstants>DEBUG;TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <DocumentationFile>bin\Debug\tactics.XML</DocumentationFile>
    <OtherFlags>--mlcompatibility</OtherFlags>
    <NoWarn>40</NoWarn>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
    <DebugType>pdbonly</DebugType>
    <Optimize>true</Optimize>
    <Tailcalls>true</Tailcalls>
    <OutputPath>bin\Release\</OutputPath>
    <DefineConstants>TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <DocumentationFile>bin\Release\tactics.XML</DocumentationFile>
    <OtherFlags>--mlcompatibility</OtherFlags>
    <NoWarn>40</NoWarn>
  </PropertyGroup>
  <ItemGroup>
    <Reference Include="mscorlib" />
    <Reference Include="FSharp.Core, Version=$(TargetFSharpCoreVersion), Culture=neutral, PublicKeyToken=<KEY>">
      <Private>True</Private>
    </Reference>
    <Reference Include="System" />
    <Reference Include="System.Core" />
    <Reference Include="System.Numerics" />
  </ItemGroup>
  <ItemGroup>
    <ProjectReference Include="..\basic\basic.fsproj">
      <Name>basic</Name>
      <Project>{e8957dbd-58e7-4cf8-9192-e0a9cfb3867e}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\parser\parser.fsproj">
      <Name>parser</Name>
      <Project>{9974a6de-6ca8-44b6-a52e-51fc52932179}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\prettyprint\prettyprint.fsproj">
      <Name>prettyprint</Name>
      <Project>{7de787b9-e5a4-4288-8e5a-f887c08f8d82}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\smtencoding\smtencoding.fsproj">
      <Name>smtencoding</Name>
      <Project>{f6879027-a97f-4857-8f52-cc5641455652}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\syntax\syntax.fsproj">
      <Name>syntax</Name>
      <Project>{d008f256-80aa-4f9c-9c10-dc743d772940}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\typechecker\typechecker.fsproj">
      <Name>typechecker</Name>
      <Project>{21685793-ac84-4ec1-9eab-39f9c0252f3f}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\reflection\reflection.fsproj">
      <Name>reflection</Name>
      <Project>{8869FA4E-96AF-4E01-99BC-B52C88610E3D}</Project>
      <Private>True</Private>
    </ProjectReference>
  </ItemGroup>
  <ItemGroup>
    <Compile Include="FStar.Tactics.Basic.fs" />
    <Compile Include="FStar.Tactics.Embedding.fs" />
    <Compile Include="FStar.Tactics.Native.fs" />
    <Compile Include="boot/FStar.Tactics.Interpreter.fsi" />
    <Compile Include="boot/FStar.Tactics.Interpreter.fs" />
    <Compile Include="FStar.Tactics.Load.fsi" />
    <Compile Include="FStar.Tactics.Load.fs" />
  </ItemGroup>
  <PropertyGroup>
    <MinimumVisualStudioVersion Condition="'$(MinimumVisualStudioVersion)' == ''">11</MinimumVisualStudioVersion>
  </PropertyGroup>
  <Choose>
    <When Condition="'$(VisualStudioVersion)' == '11.0'">
      <PropertyGroup Condition="Exists('$(MSBuildExtensionsPath32)\..\Microsoft SDKs\F#\3.0\Framework\v4.0\Microsoft.FSharp.Targets')">
        <FSharpTargetsPath>$(MSBuildExtensionsPath32)\..\Microsoft SDKs\F#\3.0\Framework\v4.0\Microsoft.FSharp.Targets</FSharpTargetsPath><commit_msg>tactics: Restore F# compatibility after latest bootstrapping changes<commit_after>﻿<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="12.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
  <Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
  <PropertyGroup>
    <Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
    <Platform Condition=" '$(Platform)' == '' ">AnyCPU</Platform>
    <SchemaVersion>2.0</SchemaVersion>
    <ProjectGuid>82336f31-a87c-4403-a2f4-2b90b4f0996b</ProjectGuid>
    <OutputType>Library</OutputType>
    <RootNamespace>tactics</RootNamespace>
    <AssemblyName>tactics</AssemblyName>
    <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
    <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
    <Name>tactics</Name>
    <TargetFrameworkProfile />
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
    <DebugSymbols>true</DebugSymbols>
    <DebugType>full</DebugType>
    <Optimize>false</Optimize>
    <Tailcalls>false</Tailcalls>
    <OutputPath>bin\Debug\</OutputPath>
    <DefineConstants>DEBUG;TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <DocumentationFile>bin\Debug\tactics.XML</DocumentationFile>
    <OtherFlags>--mlcompatibility</OtherFlags>
    <NoWarn>40</NoWarn>
  </PropertyGroup>
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
    <DebugType>pdbonly</DebugType>
    <Optimize>true</Optimize>
    <Tailcalls>true</Tailcalls>
    <OutputPath>bin\Release\</OutputPath>
    <DefineConstants>TRACE</DefineConstants>
    <WarningLevel>3</WarningLevel>
    <DocumentationFile>bin\Release\tactics.XML</DocumentationFile>
    <OtherFlags>--mlcompatibility</OtherFlags>
    <NoWarn>40</NoWarn>
  </PropertyGroup>
  <ItemGroup>
    <Reference Include="mscorlib" />
    <Reference Include="FSharp.Core, Version=$(TargetFSharpCoreVersion), Culture=neutral, PublicKeyToken=<KEY>">
      <Private>True</Private>
    </Reference>
    <Reference Include="System" />
    <Reference Include="System.Core" />
    <Reference Include="System.Numerics" />
  </ItemGroup>
  <ItemGroup>
    <ProjectReference Include="..\basic\basic.fsproj">
      <Name>basic</Name>
      <Project>{e8957dbd-58e7-4cf8-9192-e0a9cfb3867e}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\parser\parser.fsproj">
      <Name>parser</Name>
      <Project>{9974a6de-6ca8-44b6-a52e-51fc52932179}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\prettyprint\prettyprint.fsproj">
      <Name>prettyprint</Name>
      <Project>{7de787b9-e5a4-4288-8e5a-f887c08f8d82}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\smtencoding\smtencoding.fsproj">
      <Name>smtencoding</Name>
      <Project>{f6879027-a97f-4857-8f52-cc5641455652}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\syntax\syntax.fsproj">
      <Name>syntax</Name>
      <Project>{d008f256-80aa-4f9c-9c10-dc743d772940}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\typechecker\typechecker.fsproj">
      <Name>typechecker</Name>
      <Project>{21685793-ac84-4ec1-9eab-39f9c0252f3f}</Project>
      <Private>True</Private>
    </ProjectReference>
    <ProjectReference Include="..\reflection\reflection.fsproj">
      <Name>reflection</Name>
      <Project>{8869FA4E-96AF-4E01-99BC-B52C88610E3D}</Project>
      <Private>True</Private>
    </ProjectReference>
  </ItemGroup>
  <ItemGroup>
    <Compile Include="FStar.Tactics.Types.fs" />
    <Compile Include="FStar.Tactics.Result.fs" />
    <Compile Include="FStar.Tactics.Basic.fs" />
    <Compile Include="FStar.Tactics.Embedding.fs" />
    <Compile Include="FStar.Tactics.Native.fs" />
    <Compile Include="boot/FStar.Tactics.Interpreter.fsi" />
    <Compile Include="boot/FStar.Tactics.Interpreter.fs" />
    <Compile Include="FStar.Tactics.Load.fsi" />
    <Compile Include="FStar.Tactics.Load.fs" />
  </ItemGroup>
  <PropertyGroup>
    <MinimumVisualStudioVersion Condition="'$(MinimumVisualStudioVersion)' == ''">11</MinimumVisualStudioVersion>
  </PropertyGroup>
  <Choose>
    <When Condition="'$(VisualStudioVersion)' == '11.0'">
      <PropertyGroup Condition="Exists('$(MSBuildExtensionsPath32)\..\Microsoft SDKs\F#\3.0\Framework\v4.0\Microsoft.FSharp.Targets')">
        <FSharpTargetsPath>$(MSBuildExtensionsPath32)\..\Microsoft SDKs\F#\3.0\Framework\v4.0\Microsoft.FSharp.Targets</FSharpTargetsPath>
{'fraction_non_alphanumeric': 0.16405433646812956, 'fraction_numerical': 0.04493207941483804, 'mean_word_length': 4.670023696682464, 'pattern_counts': {'":': 0, '<': 319, '<?xml version=': 2, '>': 319, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 4}, 'pii_count': 2, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1177163', 'n_tokens_mistral': 3498, 'n_tokens_neox': 3123, 'n_words': 310}