nanexcool

// put this in the ethers-airdrop root dir and run with `node failing.js`
// 3rd account has a proof with an `undefined`

var AirDrop = require('./index.js')

let a = new AirDrop({
  "0x7b14ff3a4b7f1585860d8e7b5935697ae2a1fb2a": "0x392d2e2bda9c0000",
  "0xe5c646116d310bac2b21c8cf989b0f955606d011": "0x58d15e17628000",
  "0xf430775da1df51693ecc1fe6c4934d9339613b4d": "0x00",
})

nanexcool

requires "data.k"

module BIN_RUNTIME
    imports EVM-DATA

syntax WordStack ::= "DssCdpManager_bin_runtime"
rule DssCdpManager_bin_runtime => #parseByteStack("0x608060405234801561001057600080fd5b50600436106101425760003560e01c806380c9419e116100b8578063b3d178f21161007c578063b3d178f214610708578063b68f400414610726578063d3b3f73a14610774578063f9f30db6146107b6578063fc73d7711461080e578063fcafcc681461086657610142565b806380c9419e146105295780638161b120146105725780639a816f7d146105e05780639bb8f83814610638578063b2b192e61461069057610142565b80632c2cb9fd1161010a5780632c2cb9fd1461031557806336569e771461035757806345e6bdcd146103a15780634c7c2dc6146103e35780635aebb460146104455780636090dec5146104c757610142565b806305d85eda146101475780630b63fb621461019f57806318af4d60146101f75780631b0dbf72146102595780632726b073146102a7575b600080fd5b6101896004803603602081101561015d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506108b4565b6040518082815260200191505060405180910390f35b6101f5600480360360608110156101

nanexcool

requires "../rules.k"
requires "../bin_runtime.k"

module DB3DF1BCDC106F54B6EB2DF9459CB6E2208425E11CADA230078D5E651E3AB039
  imports ETHEREUM-SIMULATION
  imports EVM
  imports RULES
  imports BIN_RUNTIME

// DssCdpManager_open

nanexcool

This post links my 3Box profile to my Github account! Web3 social profiles by 3Box.
    
  ✅ did:muport:QmTMVegiZ5nDVTVmJvM1dFKUSxjkL2brEb94GjLd4WU4uD ✅
    
    Create your profile today to start building social connection and trust online at https://3Box.io/

nanexcool

Keybase proof

I hereby claim:

• I am nanexcool on github.
• I am nanexcool (https://keybase.io/nanexcool) on keybase.
• I have a public key ASCR8SvDq2_l25ZzORtM6K902WeyqgSq98tq_i4r73QwQwo

To claim this, I am signing this object:

nanexcool

// TinyTween.cs
//
// Copyright (c) 2013 Nick Gravelyn
//
// Permission is hereby granted, free of charge, to any person obtaining a copy of this software
// and associated documentation files (the "Software"), to deal in the Software without restriction,
// including without limitation the rights to use, copy, modify, merge, publish, distribute,
// sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is
// furnished to do so, subject to the following conditions:
//

nanexcool

using System;

using Android.App;
using Android.Content;
using Android.Runtime;
using Android.Views;
using Android.Widget;
using Android.OS;

using Android.Gms.Ads;

nanexcool

using Microsoft.Xna.Framework;
using Microsoft.Xna.Framework.Graphics;
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace TestResolution
{
    public enum AspectMode

nanexcool

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

using Microsoft.Xna.Framework;
using Microsoft.Xna.Framework.Graphics;
using Microsoft.Xna.Framework.Input;

namespace RogueLike.Engine