<commit_before>set -ev

opam init --yes --no-setup
eval $(opam config env)

opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add distributedcomponents-dev http://opam-dev.distributedcomponents.net

opam pin add coq $COQ_VERSION --yes --verbose

pushd ..
  git clone -b channel https://github.com/uwplse/cheerios.git
  pushd cheerios
    opam pin add cheerios . --yes --verbose
  popd
  git clone -b disk https://github.com/uwplse/verdi.git
  pushd verdi
    opam pin add verdi . --yes --verbose
  popd
popd

case $MODE in
  proofalytics)
    opam pin add verdi-raft-proofalytics . --yes --verbose
    ;;
  checkproofs)
    opam pin add verdi-raft-checkproofs . --yes --verbose
    ;;
  vard)
    opam pin add vard . --yes --verbose
    ;;
  vard-serialized)
    opam pin add vard-serialized . --yes --verbose
    ;;
  vard-log)
    opam pin add vard-log . --yes --verbose
    ;;
  *)
    opam pin add verdi-raft . --yes --verbose
    ;;
esac
<commit_msg>need to use cheerios-runtime from correct branch<commit_after>set -ev

opam init --yes --no-setup
eval $(opam config env)

opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add distributedcomponents-dev http://opam-dev.distributedcomponents.net

opam pin add coq $COQ_VERSION --yes --verbose

pushd ..
  git clone -b channel https://github.com/uwplse/cheerios.git
  pushd cheerios
    opam pin add cheerios . --yes --verbose
    opam pin add cheerios-runtime . --yes --verbose
  popd
  git clone -b disk https://github.com/uwplse/verdi.git
  pushd verdi
    opam pin add verdi . --yes --verbose
  popd
popd

case $MODE in
  proofalytics)
    opam pin add verdi-raft-proofalytics . --yes --verbose
    ;;
  checkproofs)
    opam pin add verdi-raft-checkproofs . --yes --verbose
    ;;
  vard)
    opam pin add vard . --yes --verbose
    ;;
  vard-serialized)
    opam pin add vard-serialized . --yes --verbose
    ;;
  vard-log)
    opam pin add vard-log . --yes --verbose
    ;;
  *)
    opam pin add verdi-raft . --yes --verbose
    ;;
esac

{'fraction_non_alphanumeric': 0.12003919647231749, 'fraction_numerical': 0.0, 'mean_word_length': 2.3640856672158157, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 6, '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': '2701282', 'n_tokens_mistral': 739, 'n_tokens_neox': 714, 'n_words': 216}