<commit_before><?xml version="1.0" encoding="UTF-8"?>

<?import de.prob2.ui.helpsystem.HelpButton?>
<?import de.prob2.ui.internal.Spacer?>
<?import de.prob2.ui.layout.BindableGlyph?>
<?import de.prob2.ui.layout.FontSize?>
<?import de.prob2.ui.verifications.modelchecking.ModelcheckingView?>
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.Label?>
<?import javafx.scene.control.TableColumn?>
<?import javafx.scene.control.TableView?>
<?import javafx.scene.control.Tooltip?>
<?import javafx.scene.layout.AnchorPane?>
<?import javafx.scene.layout.HBox?>
<?import javafx.scene.layout.VBox?>
<fx:root type="ModelcheckingView" fitToHeight="true" fitToWidth="true"
	stylesheets="@/prob.css" xmlns:fx="http://javafx.com/fxml/1">
	<fx:define>
		<FontSize fx:id="fontSize" />
	</fx:define>
	<VBox>
		<HBox styleClass="border" alignment="CENTER">
			<Button fx:id="checkMachineButton" onAction="#checkMachine">
				<graphic>
					<BindableGlyph styleClass="icon-dark" fontFamily="FontAwesome" icon="CHECK_CIRCLE_ALT" bindableFontSize="${fontSize.fontSize * 2}" />
				</graphic>
				<tooltip>
					<Tooltip text="%common.checkMachine" />
				</tooltip>
			</Button>
			<Button fx:id="cancelButton" onAction="#cancelModelcheck">
				<graphic>
					<BindableGlyph styleClass="icon-dark" fontFamily="FontAwesome" icon="TIMES_CIRCLE_ALT" bindableFontSize="${fontSize.fontSize * 2}" />
				</graphic>
				<tooltip>
					<Tooltip text="%common.buttons.cancel" />
				</tooltip>
			</Button>
			<Spacer/>
			<Button fx:id="addModelCheckButton" disable="true"
				contentDisplay="GRAPHIC_ONLY" onAction="#addModelCheck">
				<graphic>
					<BindableGlyph styleClass="icon-dark" fontFamily="FontAwesome" icon="PLUS_CIRCLE" bindableFontSize="${fontSize.fontSize * 2}" />
				</graphic>
				<tooltip>
					<Tooltip
						text="%verifications.modelchecking.modelcheckingView.tooltips.addModelCheck" />
				</tooltip>
			</Button>
			<HelpButton fx:id="helpButton" />
		</HBox>
		<TableView fx:id="tvItems" minHeight="150">
			<columnResizePolicy>
				<TableView fx:constant="CONSTRAINED_RESIZE_POLICY" />
			</columnResizePolicy>
			<columns>
				<TableColumn fx:id="shouldExecuteColumn" sortable="false" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}"/>
				<TableColumn fx:id="statusColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 6}" maxWidth="${fontSize.fontSize * 6}" text="%common.columns.status" />
				<TableColumn fx:id="strategyColumn" minWidth="130.0" prefWidth="130.0" text="%verifications.common.columns.strategy" />
				<TableColumn fx:id="deadlockColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.deadlocks" />
				<TableColumn fx:id="invariantsViolationsColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.invariants" />
				<TableColumn fx:id="assertionViolationsColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.assertions" />
				<TableColumn fx:id="goalsColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.goals" />
				<TableColumn fx:id="stopAtFullCoverageColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" prefWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.stopFullCoverage" />
			</columns>
			<placeholder>
				<Label text="%verifications.modelchecking.modelcheckingView.noModelcheckingJobs" />
			</placeholder>
		</TableView>
		<TableView fx:id="tvChecks" minHeight="150">
			<columnResizePolicy>
				<TableView fx:constant="CONSTRAINED_RESIZE_POLICY" />
			</columnResizePolicy><commit_msg>Change size of tables in Modelchecking View<commit_after><?xml version="1.0" encoding="UTF-8"?>

<?import de.prob2.ui.helpsystem.HelpButton?>
<?import de.prob2.ui.internal.Spacer?>
<?import de.prob2.ui.layout.BindableGlyph?>
<?import de.prob2.ui.layout.FontSize?>
<?import de.prob2.ui.verifications.modelchecking.ModelcheckingView?>
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.Label?>
<?import javafx.scene.control.TableColumn?>
<?import javafx.scene.control.TableView?>
<?import javafx.scene.control.Tooltip?>
<?import javafx.scene.layout.AnchorPane?>
<?import javafx.scene.layout.HBox?>
<?import javafx.scene.layout.VBox?>
<fx:root type="ModelcheckingView" fitToHeight="true" fitToWidth="true"
	stylesheets="@/prob.css" xmlns:fx="http://javafx.com/fxml/1">
	<fx:define>
		<FontSize fx:id="fontSize" />
	</fx:define>
	<VBox>
		<HBox styleClass="border" alignment="CENTER">
			<Button fx:id="checkMachineButton" onAction="#checkMachine">
				<graphic>
					<BindableGlyph styleClass="icon-dark" fontFamily="FontAwesome" icon="CHECK_CIRCLE_ALT" bindableFontSize="${fontSize.fontSize * 2}" />
				</graphic>
				<tooltip>
					<Tooltip text="%common.checkMachine" />
				</tooltip>
			</Button>
			<Button fx:id="cancelButton" onAction="#cancelModelcheck">
				<graphic>
					<BindableGlyph styleClass="icon-dark" fontFamily="FontAwesome" icon="TIMES_CIRCLE_ALT" bindableFontSize="${fontSize.fontSize * 2}" />
				</graphic>
				<tooltip>
					<Tooltip text="%common.buttons.cancel" />
				</tooltip>
			</Button>
			<Spacer/>
			<Button fx:id="addModelCheckButton" disable="true"
				contentDisplay="GRAPHIC_ONLY" onAction="#addModelCheck">
				<graphic>
					<BindableGlyph styleClass="icon-dark" fontFamily="FontAwesome" icon="PLUS_CIRCLE" bindableFontSize="${fontSize.fontSize * 2}" />
				</graphic>
				<tooltip>
					<Tooltip
						text="%verifications.modelchecking.modelcheckingView.tooltips.addModelCheck" />
				</tooltip>
			</Button>
			<HelpButton fx:id="helpButton" />
		</HBox>
		<TableView fx:id="tvItems" minHeight="80">
			<columnResizePolicy>
				<TableView fx:constant="CONSTRAINED_RESIZE_POLICY" />
			</columnResizePolicy>
			<columns>
				<TableColumn fx:id="shouldExecuteColumn" sortable="false" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}"/>
				<TableColumn fx:id="statusColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 6}" maxWidth="${fontSize.fontSize * 6}" text="%common.columns.status" />
				<TableColumn fx:id="strategyColumn" minWidth="130.0" prefWidth="130.0" text="%verifications.common.columns.strategy" />
				<TableColumn fx:id="deadlockColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.deadlocks" />
				<TableColumn fx:id="invariantsViolationsColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.invariants" />
				<TableColumn fx:id="assertionViolationsColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.assertions" />
				<TableColumn fx:id="goalsColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.goals" />
				<TableColumn fx:id="stopAtFullCoverageColumn" style="-fx-alignment: CENTER;" minWidth="${fontSize.fontSize * 4}" maxWidth="${fontSize.fontSize * 4}" prefWidth="${fontSize.fontSize * 4}" text="%verifications.modelchecking.modelcheckingView.column.stopFullCoverage" />
			</columns>
			<placeholder>
				<Label text="%verifications.modelchecking.modelcheckingView.noModelcheckingJobs" />
			</placeholder>
		</TableView>
		<TableView fx:id="tvChecks" minHeight="80">
			<columnResizePolicy>
				<TableView fx:constant="CONSTRAINED_RESIZE_POLICY" />
			</columnResizePolicy>
{'fraction_non_alphanumeric': 0.17030038759689922, 'fraction_numerical': 0.009689922480620155, 'mean_word_length': 6.003392705682782, 'pattern_counts': {'":': 0, '<': 143, '<?xml version=': 2, '>': 143, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 6}, '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': '379838', 'n_tokens_mistral': 3090, 'n_tokens_neox': 2704, 'n_words': 385}