<commit_before><?xml version="1.0" encoding="UTF-8"?>
<project default="binary">
	<property file="release.properties" />
	<property name="version" value=""/>
	<property name="source" value="-src"/>
	<property name="out" value="kodkod-${kodkod.specification.version}"/>
	
	<mkdir dir="${out}"/>
	
	<tstamp>
		<format property="TODAY" pattern="yyyy-MM-dd HH:mm:ss" />
	</tstamp>
	
	<import file="javadoc.xml"/>
	
	<target name="binary">
		<makeJar destfile="kodkod${version}" basedir="bin" includes="**/*.class" excludes="**/taglet/*"/>
	</target>
	
	<target name="source">
		<makeJar destfile="kodkod${version}${source}" basedir="src" includes="**/*.java" excludes="**/taglet/*"/>
	</target>
	
	<target name="lib">
		<zip destfile="${out}/${kodkod.platform.darwin}.zip" basedir="lib" 
			includes="**${kodkod.platform.darwin}/*" 
			comment="SAT solver binaries for ${kodkod.platform.darwin}."/>		
		<zip destfile="${out}/${kodkod.platform.linux}.zip" basedir="lib" 
			includes="**${kodkod.platform.linux}/*" 
			comment="SAT solver binaries for ${kodkod.platform.linux}."/>		
		<zip destfile="${out}/${kodkod.platform.windows}.zip" basedir="lib" 
			includes="**${kodkod.platform.windows}/*" 
			comment="SAT solver binaries for ${kodkod.platform.windows}."/>		
	</target>
	
	<target name="lib-source">
		<zip destfile="${out}/solvers${version}${source}.zip" basedir="." 
			includes="**lib/**" excludes="**/waf, **/sat4j*/*, **/darwin*/*, **/linux*/*, **/windows*/*" 
			comment="Sources and build scripts for third-party SAT solvers."/>
	</target>
	
	<target name="doc" depends="javadoc">
		<zip destfile="${out}/doc${version}.zip" basedir="." 
			includes="**doc/**"  
			comment="Kodkod API Documentation."/>
	</target>
	
	<target name="examples">
		<makeJar destfile="examples${version}" title="Examples" basedir="../relations.examples" 
			includes="**examples/alloy/*.*, **examples/classicnp/*.*, **examples/tptp/*.*, 
					  **examples/sudoku/Sudoku*, **examples/netconfig/Netconfig.*,
			          **examples/xpose/*.*"
			excludes="**/util/*, **/*.col, **/*.launch, **/sudoku/SudokuSolver*"/>
	</target>
	
	<target name="tests">
		<makeJar destfile="tests${version}" title="Tests" basedir="../relations.tests" 
			includes="**tests/**/*.*"/>
	</target>
	
	<macrodef name="makeJar">
		<attribute name="destfile"/>
		<attribute name="basedir"/>
		<attribute name="includes"/>
		<attribute name="excludes" default=""/>
		<attribute name="title" default=""/>
		<sequential>
			<jar destfile="${out}/@{destfile}.jar" basedir="@{basedir}" includes="@{includes}" excludes="@{excludes}">
				<manifest>
					<attribute name="Built-By" value="${kodkod.author}" />
					<attribute name="Built-Date" value="${TODAY}" />
					<attribute name="Specification-Vendor" value="${kodkod.author}" />
					<attribute name="Specification-Title" value="${kodkod.specification.title} @{title}" />
					<attribute name="Specification-Version" value="${kodkod.specification.version}" />
					<attribute name="Implementation-Vendor" value="${kodkod.author}" />
					<attribute name="Implementation-Title" value="${kodkod.specification.title} @{title}" />
					<attribute name="Implementation-Version" value="${kodkod.implementation.version}" />
				</manifest>
			</jar>
		</sequential>
	</macrodef>
</project>
<commit_msg>Add tool building targets to release.xml<commit_after><?xml version="1.0" encoding="UTF-8"?>
<project default="binary">
	<property file="release.properties" />
	<property name="version" value=""/>
	<property name="source" value="-src"/>
	<property name="out" value="kodkod-${kodkod.specification.version}"/>
	
	<mkdir dir="${out}"/>
	
	<tstamp>
		<format property="TODAY" pattern="yyyy-MM-dd HH:mm:ss" />
	</tstamp>
	
	<import file="javadoc.xml"/>
	
	<target name="binary">
		<makeJar destfile="kodkod-${kodkod.specification.version}" basedir="bin" includes="**/*.class" excludes="**/taglet/*"/>
	</target>
	
	<target name="source">
		<makeJar destfile="kodkod${version}${source}" basedir="src" includes="**/*.java" excludes="**/taglet/*"/>
	</target>
	
	<target name="lib">
		<zip destfile="${out}/${kodkod.platform.darwin}.zip" basedir="lib" 
			includes="**${kodkod.platform.darwin}/*" 
			comment="SAT solver binaries for ${kodkod.platform.darwin}."/>		
		<zip destfile="${out}/${kodkod.platform.linux}.zip" basedir="lib" 
			includes="**${kodkod.platform.linux}/*" 
			comment="SAT solver binaries for ${kodkod.platform.linux}."/>		
		<zip destfile="${out}/${kodkod.platform.windows}.zip" basedir="lib" 
			includes="**${kodkod.platform.windows}/*" 
			comment="SAT solver binaries for ${kodkod.platform.windows}."/>		
	</target>
	
	<target name="lib-source">
		<zip destfile="${out}/solvers${version}${source}.zip" basedir="." 
			includes="**lib/**" excludes="**/waf, **/sat4j*/*, **/darwin*/*, **/linux*/*, **/windows*/*" 
			comment="Sources and build scripts for third-party SAT solvers."/>
	</target>
	
	<target name="doc" depends="javadoc">
		<zip destfile="${out}/doc${version}.zip" basedir="." 
			includes="**doc/**"  
			comment="Kodkod API Documentation."/>
	</target>
	
	<target name="examples">
		<makeJar destfile="examples${version}" title="Examples" basedir="../relations.examples" 
			includes="**examples/alloy/*.*, **examples/classicnp/*.*, **examples/tptp/*.*, 
					  **examples/sudoku/Sudoku*, **examples/netconfig/Netconfig.*,
			          **examples/xpose/*.*"
			excludes="**/util/*, **/*.col, **/*.launch, **/sudoku/SudokuSolver*"/>
	</target>

	<target name="tools">
		<makeJar destfile="kodkod-tools-${kodkod.specification.version}" title="Tools" basedir="../relations.tools/bin" 
			includes="**/*.class" excludes="**/*Test.*, **/*.kks"/>
		<zip destfile="${out}/kodkod-tools-lib.zip" basedir="../relations.tools/lib" 
			includes="*.jar"  comment="Third party Java libraries used by Kodkod Tools."/>
	</target>

	<target name="tests">
		<makeJar destfile="tests${version}" title="Tests" basedir="../relations.tests" 
			includes="**tests/**/*.*"/>
	</target>
	
	<macrodef name="makeJar">
		<attribute name="destfile"/>
		<attribute name="basedir"/>
		<attribute name="includes"/>
		<attribute name="excludes" default=""/>
		<attribute name="title" default=""/>
		<sequential>
			<jar destfile="${out}/@{destfile}.jar" basedir="@{basedir}" includes="@{includes}" excludes="@{excludes}">
				<manifest>
					<attribute name="Built-By" value="${kodkod.author}" />
					<attribute name="Built-Date" value="${TODAY}" />
					<attribute name="Specification-Vendor" value="${kodkod.author}" />
					<attribute name="Specification-Title" value="${kodkod.specification.title} @{title}" />
					<attribute name="Specification-Version" value="${kodkod.specification.version}" />
					<attribute name="Implementation-Vendor" value="${kodkod.author}" />
					<attribute name="Implementation-Title" value="${kodkod.specification.title} @{title}" />
					<attribute name="Implementation-Version" value="${kodkod.implementation.version}" />
				</manifest>
			</jar>
		</sequential>
	</macrodef>
</project>

{'fraction_non_alphanumeric': 0.23070362473347547, 'fraction_numerical': 0.0011371712864250178, 'mean_word_length': 4.776683087027915, 'pattern_counts': {'":': 0, '<': 119, '<?xml version=': 2, '>': 119, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 5}, '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': '3334780', 'n_tokens_mistral': 2698, 'n_tokens_neox': 2367, 'n_words': 387}