Liam Horne snario

I hereby claim:

I am snario on github.
I am liamhorne (https://keybase.io/liamhorne) on keybase.
I have a public key whose fingerprint is 30FC 640B C0A3 51B2 FCB9 693F 7335 D28F BBFB 7CE7

To claim this, I am signing this object:

CODE OF CONDUCT

Harassment includes offensive verbal comments related to gender, gender identity and expression, age, sexual orientation, disability, physical appearance, body size, race, ethnicity, nationality, or religion, sexual images in public spaces, deliberate intimidation, stalking, following, photography or audio/video recording against reasonable consent, sustained disruption of talks or other events, inappropriate physical contact, and unwelcome sexual attention.
Photography is encouraged, but other participants must be given a reasonable chance to opt out from being photographed. If they object to the taking of their photograph, comply with their request. It is inappropriate to take photographs in contexts where people have a reasonable expectation of privacy (in bathrooms or where participants are sleeping).
Participants asked to stop any harassing behavior are expected to comply immediately.
As this is a hackathon, we like to explicitly note that the hacks created at our hackathon are

	pragma solidity 0.5;


	/// @title Proxy - Generic proxy contract allows to execute all transactions applying the code of a master contract.
	/// @author Stefan George - <[email protected]>
	contract Proxy {

	// masterCopy always needs to be first declared variable, to ensure that it is at the same location in the contracts to which calls are delegated.
	address masterCopy;

	{
	"name": "@counterfactual/tic-tac-toe-bot",
	"version": "0.0.15",
	"lockfileVersion": 1,
	"requires": true,
	"dependencies": {
	"@babel/code-frame": {
	"version": "7.0.0",
	"resolved": "https://registry.npmjs.org/@babel/code-frame/-/code-frame-7.0.0.tgz",
	"integrity": "sha512-OfC2uemaknXr87bdLUkWog7nYuliM9Ij5HUcajsVcMCpQrcLmtxRbVFTIqmcSkSeYRBFBRxs2FiUqFJDLdiebA==",

	pragma solidity 0.5.9;
	pragma experimental ABIEncoderV2;


	library TicTacToe {

	enum OutcomeType {
	PLAYER_X_WON,
	PLAYER_O_WON,
	DRAW

	pragma solidity ^0.5.2;
	pragma experimental ABIEncoderV2;

	import "fmg-core/contracts/Commitment.sol";
	import "fmg-core/contracts/Rules.sol";
	import "openzeppelin-solidity/contracts/math/SafeMath.sol";

	/**
	* Liam's comments:
	*

	const ethers = require("ethers");

	const getAddress = ethers.utils.getAddress;
	const solidityKeccak256 = ethers.utils.solidityKeccak256;
	const keccak256 = ethers.utils.keccak256;
	const solidityPack = ethers.utils.solidityPack;
	const Interface = ethers.utils.Interface;
	const defaultAbiCoder = ethers.utils.defaultAbiCoder;
	const hexDataSlice = ethers.utils.hexDataSlice;

	----------------------------- MODULE ForceMove -----------------------------
	EXTENDS Integers, TLC, Utils
	CONSTANTS
	StartingTurnNumber,
	NumParticipants,
	NULL
	(***************************************************************************)
	(* The purpose of this specification is to outline an algorithm that *)
	(* guarantees that a challenge is registered on chain with turnNumber *)
	(* equal to LatestTurnNumber. It is guaranteed even with an antagonist *)