PeterBorah

FemtoStorage.slotFor("balances").and(userAddress).increment(); // Increases value by 1
FemtoStorage.slotFor("balances").and(userAddress).increaseBy(42); // Increases value by 42
FemtoStorage.slotFor("balances").and(userAddress).decreaseBy(42); // Decreases value by 42

PeterBorah

FemtoStorage.slotFor("someList").push(anAddress);
FemtoStorage.slotFor("someList").length(); // 1
FemtoStorage.slotFor("someList").index(0).getAddress(); // anAddress

PeterBorah

pragma solidity ^0.4.7;
import "./Resolver.sol";

contract EtherRouter {
  Resolver resolver;

  function EtherRouter(Resolver _resolver) {
    resolver = _resolver;
  }

PeterBorah

import "./Resolver.sol";

contract EtherRouter {
  Resolver resolver;
  address creator;

  function EtherRouter(Resolver _resolver) {
    resolver = _resolver;
    creator = msg.sender;
  }

PeterBorah

calldatacopy(mload(0x40), 0, calldatasize)
delegatecall(gas, destination, mload(0x40), calldatasize, mload(0x40), outsize)
return(mload(0x40), outsize)

PeterBorah

calldatacopy(mload(0x40), 0, calldatasize)
delegatecall(gas, destination, mload(0x40), calldatasize, mload(0x40), outsize)

PeterBorah

contract EtherRouter {
  function() {
    // Look up the latest version of the code, and delegatecall
  }
}

PeterBorah

contract EtherRouter {
  function() {
    // Look up the latest version of the contract, and then delegatecall.
  }
}

PeterBorah

import "BrokenToken.sol";

contract Bounty {
  // This bounty will pay out if you can cause BrokenToken's balance
  // to be lower than its totalSupply, which would mean that it doesn't 
  // have sufficient ether for everyone to withdraw.

  uint public totalBounty;
  bool public claimed;
  mapping(address => address) public owners;

PeterBorah

contract TokenWithInvariants {
  mapping(address => uint) public balanceOf;
  uint public totalSupply;

  modifier checkInvariants { 
    _
    if (this.balance < totalSupply) throw;
  }

  function deposit(uint amount) checkInvariants {