<commit_before>

/**
 * HYP : i < j
 */

var hoare = function ( compare, a, i, j ) {

	var x, t, o;

	o = i;
	x = a[o];

	while ( true ) {

		while ( true ) {

			--j;

			if ( i >= j ) {
				a[o] = a[j];
				a[j] = x;
				return j;
			}

			else if ( compare( a[j], x ) <= 0 ) {
				break;
			}
		}

		while ( true ) {

			++i;

			if ( i >= j ) {
				a[o] = a[j];
				a[j] = x;
				return j;
			}

			else if ( compare( x, a[i] ) <= 0 ) {
				break;
			}
		}


		// invariant i < j

		t    = a[i];
		a[i] = a[j];
		a[j] = t;

	}

};

exports.hoare = hoare;
exports.partition = hoare;<commit_msg>style<commit_after>

/**
 * HYP : i < j
 */

var hoare = function ( compare , a , i , j ) {

	var x , t , o ;

	o = i ;
	x = a[o] ;

	while ( true ) {

		while ( true ) {

			--j ;

			if ( i >= j ) {
				a[o] = a[j] ;
				a[j] = x ;
				return j ;
			}

			else if ( compare( a[j] , x ) <= 0 ) {
				break ;
			}
		}

		while ( true ) {

			++i ;

			if ( i >= j ) {
				a[o] = a[j] ;
				a[j] = x ;
				return j ;
			}

			else if ( compare( x , a[i] ) <= 0 ) {
				break ;
			}
		}


		// invariant i < j

		t    = a[i] ;
		a[i] = a[j] ;
		a[j] =    t ;

	}

} ;

exports.hoare = hoare ;
exports.partition = hoare ;
{'fraction_non_alphanumeric': 0.21069958847736625, 'fraction_numerical': 0.0032921810699588477, 'mean_word_length': 1.3565891472868217, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 7, 'https://': 0, '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': '6507133', 'n_tokens_mistral': 709, 'n_tokens_neox': 571, 'n_words': 143}