<commit_before>class Dafny < Formula
  desc "Verification-aware programming language"
  homepage "https://github.com/dafny-lang/dafny/blob/master/README.md"
  url "https://github.com/dafny-lang/dafny/archive/v3.1.0.tar.gz"
  sha256 "6cecba54e4190094b805fa6462538413226dca44f288a8500003884878f1cc7a"
  license "MIT"
  revision 1

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    sha256 cellar: :any_skip_relocation, big_sur:  "c7a837b791950ce29c20680e7ab20a2dc53532d5c70ec202ca93a9564b79b2d6"
    sha256 cellar: :any_skip_relocation, catalina: "0fae39b63e376ff8b91de963ff8e2ff82e40c19407bc86baac807a45c8624e55"
    sha256 cellar: :any_skip_relocation, mojave:   "5113fa608be666979f67a46c3c8868c0e17d0fae5df450057217bbf5603b95d1"
  end

  depends_on "gradle" => :build
  depends_on "nuget" => :build
  depends_on "dotnet"
  depends_on "openjdk@11"

  # Use the following along with the z3 build below, as long as dafny
  # cannot build with latest z3 (https://github.com/dafny-lang/dafny/issues/810)
  resource "z3" do
    url "https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz"<commit_msg>dafny 3.2.0<commit_after>class Dafny < Formula
  desc "Verification-aware programming language"
  homepage "https://github.com/dafny-lang/dafny/blob/master/README.md"
  url "https://github.com/dafny-lang/dafny/archive/v3.2.0.tar.gz"
  sha256 "5d9ce0a7bb7d4700747923cff82cf50b5e3961772f37de9fe71790979ac0b8fe"
  license "MIT"

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    sha256 cellar: :any_skip_relocation, big_sur:  "c7a837b791950ce29c20680e7ab20a2dc53532d5c70ec202ca93a9564b79b2d6"
    sha256 cellar: :any_skip_relocation, catalina: "0fae39b63e376ff8b91de963ff8e2ff82e40c19407bc86baac807a45c8624e55"
    sha256 cellar: :any_skip_relocation, mojave:   "5113fa608be666979f67a46c3c8868c0e17d0fae5df450057217bbf5603b95d1"
  end

  depends_on "gradle" => :build
  depends_on "nuget" => :build
  depends_on "dotnet"
  depends_on "openjdk@11"

  # Use the following along with the z3 build below, as long as dafny
  # cannot build with latest z3 (https://github.com/dafny-lang/dafny/issues/810)
  resource "z3" do
    url "https://github.com/Z3Prover/z3/archive/Z3-4.8.5.tar.gz"
{'fraction_non_alphanumeric': 0.11116051578479325, 'fraction_numerical': 0.17518897287683416, 'mean_word_length': 4.829015544041451, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 7, 'https://': 8, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, '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': '457759', 'n_tokens_mistral': 1187, 'n_tokens_neox': 997, 'n_words': 150}