jennazenk

0x1927DAe5E0537f9f15a8a65e2e12a3aC83C27FA1

jennazenk

Keybase proof

I hereby claim:

• I am jennazenk on github.
• I am jennazenk (https://keybase.io/jennazenk) on keybase.
• I have a public key whose fingerprint is 3CF0 05F4 23BA 4593 1D9C DF8A 8F15 896A 126B D8DD

To claim this, I am signing this object:

jennazenk

pragma solidity ^0.4.8;

import "github.com/melonproject/protocol/contracts/datafeeds/PriceFeedProtocol.sol";
import "github.com/melonproject/protocol/contracts/assets/Asset.sol";
import "github.com/melonproject/protocol/contracts/dependencies/ERC20.sol";
import "github.com/melonproject/protocol/contracts/dependencies/SafeMath.sol";
import "github.com/melonproject/protocol/contracts/dependencies/Owned.sol";
import "github.com/oraclize/ethereum-api/oraclizeAPI.sol";
import "github.com/Arachnid/solidity-stringutils/strings.sol";

jennazenk

Keybase proof

I hereby claim:

• I am jennazenk on github.
• I am jennazenk (https://keybase.io/jennazenk) on keybase.
• I have a public key whose fingerprint is FEFD 96CE D970 46F5 7B6F E889 7B5F 455D 0344 24B3

To claim this, I am signing this object:

jennazenk

pragma solidity ^0.4.17;

import "./dependencies/safeMath.sol";
import "./dependencies/DBC.sol";
import "./dependencies/Owned.sol";
import "./dependencies/ERC20.sol";

contract Vesting is DBC, Owned {
    using safeMath for uint;

jennazenk

pragma solidity ^0.4.11;

/// @title Desing by contract (Hoare logic)
/// @author Melonport AG <team@melonport.com>
/// @notice Gives deriving contracts design by contract modifiers
contract DBC {

    // MODIFIERS

    modifier pre_cond(bool condition) {

jennazenk

pragma solidity ^0.4.17;

import "./dependencies/safeMath.sol";
import "./dependencies/DBC.sol";
import "./dependencies/ERC20.sol";

contract Vesting is DBC {
    using safeMath for uint;

    // FIELDS

jennazenk

[{"constant":false,"inputs":[{"name":"shareQuantity","type":"uint256"}],"name":"redeemQuantity","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"initialized","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"priceSource","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_assets","type":"address[]"}],"name":"enableInvestment","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"hub","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_who","type":"address"}],"name":"hasVa

jennazenk

[
  {
    "constant": false,
    "inputs": [
      {
        "name": "shareQuantity",
        "type": "uint256"
      }
    ],
    "name": "redeemQuantity",