<commit_before>#!/bin/sh -e
#
# If you want to use the JTLV-based solver, then before `pip install .`
# run this script from the root of the sourcetree,
#
#     extern/get-jtlv.sh
#
# It will fetch the JTLV-based solver and place it under tulip/interfaces/.
#
# Note that the JTLV-based solver depends on Java and is accessible via
# tulip.interfaces.jtlv and indirectly through other parts of TuLiP.
# Also note that it is not necessary for using TuLiP.

curl -L -O https://github.com/tulip-control/tulip-control/raw/f2c2d7203e795cbabcf9c75516f437475f9faa9e/tulip/interfaces/jtlv_grgame.jar
SHA256CHECKSUM=718d417a866096609fa220475c3b259f98f97ccb7e3e18a46aca61dc1b657ae6

if hash sha256sum >/dev/null 2>&1; then
        FILECHECKSUM=`sha256sum jtlv_grgame.jar| sed 's/ .*//'`
elif hash shasum >/dev/null 2>&1; then
        FILECHECKSUM=`shasum -a 256 jtlv_grgame.jar| sed 's/ .*//'`
else
	echo "neither `sha256sum` nor `shasum` found in the PATH."
	exit 1
fi

# fetch and verify checksum
if [ "$SHA256CHECKSUM" = "$FILECHECKSUM" ]
then
	mv jtlv_grgame.jar tulip/interfaces/
else
	echo "The checksums do not match."
	false  # Quit indicating error
fi<commit_msg>rm `jtlv_grgame.jar` if SHA not confirmed<commit_after>#!/bin/sh -e
#
# If you want to use the JTLV-based solver, then before `pip install .`
# run this script from the root of the sourcetree,
#
#     extern/get-jtlv.sh
#
# It will fetch the JTLV-based solver and place it under tulip/interfaces/.
#
# Note that the JTLV-based solver depends on Java and is accessible via
# tulip.interfaces.jtlv and indirectly through other parts of TuLiP.
# Also note that it is not necessary for using TuLiP.

curl -L -O https://github.com/tulip-control/tulip-control/raw/f2c2d7203e795cbabcf9c75516f437475f9faa9e/tulip/interfaces/jtlv_grgame.jar
SHA256CHECKSUM=718d417a866096609fa220475c3b259f98f97ccb7e3e18a46aca61dc1b657ae6

if hash sha256sum >/dev/null 2>&1; then
        FILECHECKSUM=`sha256sum jtlv_grgame.jar| sed 's/ .*//'`
elif hash shasum >/dev/null 2>&1; then
        FILECHECKSUM=`shasum -a 256 jtlv_grgame.jar| sed 's/ .*//'`
else
	echo "neither `sha256sum` nor `shasum` found in the PATH."
        rm jtlv_grgame.jar
	exit 1
fi

# fetch and verify checksum
if [ "$SHA256CHECKSUM" = "$FILECHECKSUM" ]
then
	mv jtlv_grgame.jar tulip/interfaces/
else
	echo "The checksums do not match."
	false  # Quit indicating error
fi
{'fraction_non_alphanumeric': 0.09836065573770492, 'fraction_numerical': 0.07398066414459857, 'mean_word_length': 4.0423728813559325, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 11, 'https://': 2, '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': '4181868', 'n_tokens_mistral': 1052, 'n_tokens_neox': 925, 'n_words': 262}