<commit_before><?xml version="1.0" encoding="UTF-8"?>
<project
	xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
	xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
	<modelVersion>4.0.0</modelVersion>
	<groupId>tlatoolbox</groupId>
	<artifactId>parent</artifactId>
	<version>0.0.1-SNAPSHOT</version>
	<packaging>pom</packaging>

	<organization>
		<name>Microsoft Research Inria Joint Centre</name>
		<url>http://msr-inria.inria.fr/</url>
	</organization>

	<issueManagement>
		<system>Bugzilla</system>
		<url>http://bugzilla.tlaplus.net</url>
	</issueManagement>

	<scm>
		<connection>scm:svn:svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository</connection>
		<developerConnection>scm:svn:svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository</developerConnection>
		<tag>HEAD</tag>
	</scm>

	<modules>

		<!-- non-OSGi jars -->
		<module>tlatools</module>

		<!-- bundles -->
		<module>org.lamport.tla.toolbox</module>
		<module>org.lamport.tla.toolbox.doc</module>
		<module>org.lamport.tla.toolbox.editor.basic</module>
		<module>org.lamport.tla.toolbox.tool.prover</module>
		<module>org.lamport.tla.toolbox.tool.tla2tex</module>
		<module>org.lamport.tla.toolbox.tool.tlc</module>
		<module>org.lamport.tla.toolbox.tool.tlc.ui</module>
		<module>org.lamport.tla.toolbox.product.standalone</module>

		<!-- Junit tests -->
		<module>org.lamport.tla.toolbox.test</module>
		<module>org.lamport.tla.toolbox.tool.tlc.test</module>
		<module>org.lamport.tla.toolbox.tool.tlc.ui.test</module>

		<!-- SWTBot tests -->
		<module>org.lamport.tla.toolbox.uitest</module>
		<module>org.lamport.tla.toolbox.tool.tla2tex.uitest</module>
		<module>org.lamport.tla.toolbox.tool.tlc.ui.uitest</module>

		<!-- features -->
		<module>org.lamport.tla.toolbox.feature.base</module>
		<module>org.lamport.tla.toolbox.feature.editor</module>
		<module>org.lamport.tla.toolbox.feature.help</module>
		<module>org.lamport.tla.toolbox.feature.prover</module>
		<module>org.lamport.tla.toolbox.feature.tla2tex</module>
		<module>org.lamport.tla.toolbox.feature.tlc</module>
		<module>org.lamport.tla.toolbox.feature.standalone</module>

		<!-- p2 repository for updates -->
		<module>org.lamport.tla.toolbox.p2repository</module>

		<!-- product related -->
		<module>org.lamport.tla.toolbox.product.product</module>

	</modules>

	<!-- tycho requires maven >= 3.0 -->
	<prerequisites>
		<maven>3.0</maven>
	</prerequisites>

	<!-- Minimum tycho version build work with -->
	<properties>
		<tycho-version>0.12.0</tycho-version>
	</properties>

	<!-- configure p2 repository to resolve against -->
	<repositories>
	
		<!-- Main eclipse repository (SR2 directly referenced to speed up build) -->
		<repository>
			<id>helios</id>
			<layout>p2</layout>
			<url>http://download.eclipse.org/eclipse/updates/3.6/R-3.6.2-201102101200/</url>
		</repository>

		<!-- SWTbot is not part of the helios update site (Used for UI testing) -->
		<repository>
			<id>swtbot</id>
			<layout>p2</layout>
			<url>http://download.eclipse.org/technology/swtbot/helios/dev-build/update-site/</url>
		</repository>
		
		<!-- AJDT is not part of the helios update site (Used to check thread invocations) -->
		<repository>
			<id>ajdt</id>
			<layout>p2</layout>
			<url>http://download.eclipse.org/tools/ajdt/36/update</url>
		</repository>
		
	</repositories>
	
	<build>
		<plugins>
			<!-- enable tycho build extension -->
			<plugin>
				<groupId>org.eclipse.tycho</groupId>
				<artifactId>tycho-maven-plugin</artifactId>
				<version>${tycho-version}</version>
				<extensions>true</extensions>
			</plugin>

			<plugin>
				<groupId>org.eclipse.tycho</groupId>
				<artifactId>target-platform-configuration</artifactId>
				<version>${tycho-version}</version>
				<configuration>
					<!-- recommended: use p2-based target platform resolver -->
					<resolver>p2</resolver>
					<!-- configure the p2 target environments for multi-platform build -->
					<environments>
					
						<!-- Linux -->
						<!--
						<environment>
							<os>linux</os>
							<ws>gtk</ws>
							<arch>x86</arch>
						</environment>
						-->
						<environment>
							<os>linux</os>
							<ws>gtk</ws>
							<arch>x86_64</arch>
						</environment>
						
						<!-- Windows -->
						<!--
						<environment>
							<os>win32</os>
							<ws>win32</ws>
							<arch>x86</arch>
						</environment>
						<environment>
							<os>win32</os>
							<ws>win32</ws>
							<arch>x86_64</arch>
						</environment>
						   -->
						<!-- Mac (turned off ATM due to https://issues.sonatype.org/browse/TYCHO-520) -->
						<!-- 
						<environment>
							<os>macosx</os>
							<ws>cocoa</ws>
							<arch>x86</arch>
						</environment>
						<environment>
							<os>macosx</os>
							<ws>cocoa</ws>
							<arch>x86_64</arch>
						</environment>
						 -->
					</environments>
				</configuration>
			</plugin>

		</plugins>
	</build>
</project>

<commit_msg>NEW - bug 108: Add framework to run automated UI tests  http://bugzilla.tlaplus.net/show_bug.cgi?id=108 - Re add accidentially removed platforms<commit_after><?xml version="1.0" encoding="UTF-8"?>
<project
	xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"
	xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
	<modelVersion>4.0.0</modelVersion>
	<groupId>tlatoolbox</groupId>
	<artifactId>parent</artifactId>
	<version>0.0.1-SNAPSHOT</version>
	<packaging>pom</packaging>

	<organization>
		<name>Microsoft Research Inria Joint Centre</name>
		<url>http://msr-inria.inria.fr/</url>
	</organization>

	<issueManagement>
		<system>Bugzilla</system>
		<url>http://bugzilla.tlaplus.net</url>
	</issueManagement>

	<scm>
		<connection>scm:svn:svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository</connection>
		<developerConnection>scm:svn:svn+ssh://svn.msr-inria.inria.fr/var/lib/svn/repository</developerConnection>
		<tag>HEAD</tag>
	</scm>

	<modules>

		<!-- non-OSGi jars -->
		<module>tlatools</module>

		<!-- bundles -->
		<module>org.lamport.tla.toolbox</module>
		<module>org.lamport.tla.toolbox.doc</module>
		<module>org.lamport.tla.toolbox.editor.basic</module>
		<module>org.lamport.tla.toolbox.tool.prover</module>
		<module>org.lamport.tla.toolbox.tool.tla2tex</module>
		<module>org.lamport.tla.toolbox.tool.tlc</module>
		<module>org.lamport.tla.toolbox.tool.tlc.ui</module>
		<module>org.lamport.tla.toolbox.product.standalone</module>

		<!-- Junit tests -->
		<module>org.lamport.tla.toolbox.test</module>
		<module>org.lamport.tla.toolbox.tool.tlc.test</module>
		<module>org.lamport.tla.toolbox.tool.tlc.ui.test</module>

		<!-- SWTBot tests -->
		<module>org.lamport.tla.toolbox.uitest</module>
		<module>org.lamport.tla.toolbox.tool.tla2tex.uitest</module>
		<module>org.lamport.tla.toolbox.tool.tlc.ui.uitest</module>

		<!-- features -->
		<module>org.lamport.tla.toolbox.feature.base</module>
		<module>org.lamport.tla.toolbox.feature.editor</module>
		<module>org.lamport.tla.toolbox.feature.help</module>
		<module>org.lamport.tla.toolbox.feature.prover</module>
		<module>org.lamport.tla.toolbox.feature.tla2tex</module>
		<module>org.lamport.tla.toolbox.feature.tlc</module>
		<module>org.lamport.tla.toolbox.feature.standalone</module>

		<!-- p2 repository for updates -->
		<module>org.lamport.tla.toolbox.p2repository</module>

		<!-- product related -->
		<module>org.lamport.tla.toolbox.product.product</module>

	</modules>

	<!-- tycho requires maven >= 3.0 -->
	<prerequisites>
		<maven>3.0</maven>
	</prerequisites>

	<!-- Minimum tycho version build work with -->
	<properties>
		<tycho-version>0.12.0</tycho-version>
	</properties>

	<!-- configure p2 repository to resolve against -->
	<repositories>
	
		<!-- Main eclipse repository (SR2 directly referenced to speed up build) -->
		<repository>
			<id>helios</id>
			<layout>p2</layout>
			<url>http://download.eclipse.org/eclipse/updates/3.6/R-3.6.2-201102101200/</url>
		</repository>

		<!-- SWTbot is not part of the helios update site (Used for UI testing) -->
		<repository>
			<id>swtbot</id>
			<layout>p2</layout>
			<url>http://download.eclipse.org/technology/swtbot/helios/dev-build/update-site/</url>
		</repository>
		
		<!-- AJDT is not part of the helios update site (Used to check thread invocations) -->
		<repository>
			<id>ajdt</id>
			<layout>p2</layout>
			<url>http://download.eclipse.org/tools/ajdt/36/update</url>
		</repository>
		
	</repositories>
	
	<build>
		<plugins>
			<!-- enable tycho build extension -->
			<plugin>
				<groupId>org.eclipse.tycho</groupId>
				<artifactId>tycho-maven-plugin</artifactId>
				<version>${tycho-version}</version>
				<extensions>true</extensions>
			</plugin>

			<plugin>
				<groupId>org.eclipse.tycho</groupId>
				<artifactId>target-platform-configuration</artifactId>
				<version>${tycho-version}</version>
				<configuration>
					<!-- recommended: use p2-based target platform resolver -->
					<resolver>p2</resolver>
					<!-- configure the p2 target environments for multi-platform build -->
					<environments>

						<!-- Linux -->
						<environment>
							<os>linux</os>
							<ws>gtk</ws>
							<arch>x86</arch>
						</environment>
						<environment>
							<os>linux</os>
							<ws>gtk</ws>
							<arch>x86_64</arch>
						</environment>

						<!-- Windows -->
						<environment>
							<os>win32</os>
							<ws>win32</ws>
							<arch>x86</arch>
						</environment>
						<environment>
							<os>win32</os>
							<ws>win32</ws>
							<arch>x86_64</arch>
						</environment>

						<!-- Mac (turned off ATM due to https://issues.sonatype.org/browse/TYCHO-520) -->
						<!-- 
						<environment>
							<os>macosx</os>
							<ws>cocoa</ws>
							<arch>x86</arch>
						</environment>
						<environment>
							<os>macosx</os>
							<ws>cocoa</ws>
							<arch>x86_64</arch>
						</environment>
						 -->
					</environments>
				</configuration>
			</plugin>

		</plugins>
	</build>
	
	<profiles>
		<profile>
			<!-- as a workaround for TYCHO-520, only build mac binaries on macs -->
			<id>macosx</id>
			<activation>
				<property>
					<name>java.vendor.url</name>
					<value>http://www.apple.com/</value>
				</property>
			</activation>
			<build>
				<plugins>
					<plugin>
						<groupId>org.sonatype.tycho</groupId>
						<artifactId>target-platform-configuration</artifactId>
						<version>${tycho-version}</version>
						<configuration>
							<environments combine.children="append">
								<environment>
									<os>macosx</os>
									<ws>cocoa</ws>
									<arch>x86</arch>
								</environment>
								<environment>
									<os>macosx</os>
									<ws>cocoa</ws>
									<arch>x86_64</arch>
								</environment>
							</environments>
						</configuration>
					</plugin>
				</plugins>
			</build>
		</profile>
	</profiles>
</project>


{'fraction_non_alphanumeric': 0.18398761271518352, 'fraction_numerical': 0.018125512341743328, 'mean_word_length': 3.041221935958778, 'pattern_counts': {'":': 0, '<': 478, '<?xml version=': 2, '>': 480, 'https://': 2, 'lorem ipsum': 0, 'www.': 3, 'xml': 6}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3028441', 'n_tokens_mistral': 5071, 'n_tokens_neox': 3986, 'n_words': 509}