Kane Wallmann kanewallmann

## convert_original_stable_diffusion_to_diffusers.py
# coding=utf-8
# Copyright 2022 The HuggingFace Inc. team.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software

## pinball.sol
/**
 *Submitted for verification at Etherscan.io on 2021-10-21
*/

pragma solidity 0.8.9;

library LibPinball {
    struct State {
        bytes ball;

## overflow-factorying-with-z3.py
from functools import reduce

from z3 import *

# Setup some constants
UINT16_MAX = 65535
TARGET = 0x020c020c  # This is the target value we are looking for

# Create the z3 solver
s = Solver()
	# coding=utf-8
	# Copyright 2022 The HuggingFace Inc. team.
	#
	# Licensed under the Apache License, Version 2.0 (the "License");
	# you may not use this file except in compliance with the License.
	# You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing, software
	/**
	*Submitted for verification at Etherscan.io on 2021-10-21
	*/

	pragma solidity 0.8.9;

	library LibPinball {
	struct State {
	bytes ball;
	from functools import reduce

	from z3 import *

	# Setup some constants
	UINT16_MAX = 65535
	TARGET = 0x020c020c # This is the target value we are looking for

	# Create the z3 solver
	s = Solver()