Fix SmartDec audit issues

contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 contract Migrations {
 

contracts/TestDAO.sol

@@ -4,7 +4,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "./dao/DelegatedShareholderAssociation.sol";
 

contracts/TestToken.sol

@@ -4,7 +4,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/StandardToken.sol";
 

contracts/WyvernDAO.sol

@@ -4,7 +4,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "./dao/DelegatedShareholderAssociation.sol";
 

contracts/WyvernExchange.sol

@@ -4,7 +4,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "./exchange/Exchange.sol";
 

contracts/WyvernToken.sol

@@ -4,7 +4,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/BurnableToken.sol";
 

contracts/common/ArrayUtils.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 /**
  * @title ArrayUtils

contracts/common/TokenRecipient.sol

@@ -4,7 +4,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/ERC20.sol";
 

contracts/dao/DelegatedShareholderAssociation.sol

@@ -42,7 +42,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/ERC20.sol";
 import "../common/TokenRecipient.sol";
@@ -78,7 +78,7 @@ contract DelegatedShareholderAssociation is TokenRecipient {
 
     event ProposalAdded(uint proposalID, address recipient, uint amount, bytes metadataHash);
     event Voted(uint proposalID, bool position, address voter);
-    event ProposalTallied(uint proposalID, uint result, uint quorum, bool active);
+    event ProposalTallied(uint proposalID, uint yea, uint nay, uint quorum, bool active);
     event ChangeOfRules(uint newMinimumQuorum, uint newDebatingPeriodInMinutes, address newSharesTokenAddress);
     event TokensDelegated(address indexed delegator, uint numberOfTokens, address indexed delegate);
     event TokensUndelegated(address indexed delegator, uint numberOfTokens, address indexed delegate);
@@ -141,11 +141,11 @@ contract DelegatedShareholderAssociation is TokenRecipient {
       * @param delegate the address to which votes equal to the number of tokens locked will be delegated
       */
     function setDelegateAndLockTokens(uint tokensToLock, address delegate) public onlyShareholders onlyUndelegated {
-        require(ERC20(sharesTokenAddress).transferFrom(msg.sender, address(this), tokensToLock));
         lockedDelegatingTokens[msg.sender] = tokensToLock;
         delegatedAmountsByDelegate[delegate] += tokensToLock;
         totalLockedTokens += tokensToLock;
         delegatesByDelegator[msg.sender] = delegate;
+        require(ERC20(sharesTokenAddress).transferFrom(msg.sender, address(this), tokensToLock));
         TokensDelegated(msg.sender, tokensToLock, delegate);
     }
 
@@ -328,20 +328,22 @@ contract DelegatedShareholderAssociation is TokenRecipient {
         require(quorum >= minimumQuorum);
 
         if (yea > nay) {
-            /* Proposal passed; execute the transaction. */
+            /* Mark proposal as passed. */
             p.executed = true;
+            p.proposalPassed = true;
+
+            /* Execute the function. */
             require(p.recipient.call.value(p.amount)(transactionBytecode));
 
             /* Prevent the DAO from sending the locked shares tokens (and thus potentially being unable to release locked tokens to delegating shareholders). */
             require(ERC20(sharesTokenAddress).balanceOf(address(this)) >= totalLockedTokens);
 
-            p.proposalPassed = true;
         } else {
             /* Proposal failed. */
             p.proposalPassed = false;
         }
 
         /* Log event. */
-        ProposalTallied(proposalNumber, yea - nay, quorum, p.proposalPassed);
+        ProposalTallied(proposalNumber, yea, nay, quorum, p.proposalPassed);
     }
 }

contracts/exchange/AuthenticatedProxy.sol

@@ -6,7 +6,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "../common/ArrayUtils.sol";
 

contracts/exchange/DirectEscrowProvider.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/ERC20.sol";
 

contracts/exchange/ERC721.sol

@@ -4,7 +4,7 @@ ERC721 (draft) non-fungible token interface. See https://github.com/ethereum/EIP
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 /**
  * @title ERC721

contracts/exchange/EscrowProvider.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/ERC20.sol";
 

contracts/exchange/Exchange.sol

@@ -6,7 +6,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/ERC20.sol";
 import "zeppelin-solidity/contracts/ownership/Ownable.sol";

contracts/exchange/NonFungibleAssetInterface.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/ownership/Claimable.sol";
 

contracts/exchange/SaleKindInterface.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 /**
  * @title SaleKindInterface

contracts/token/DelayedReleaseToken.sol

@@ -6,7 +6,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/StandardToken.sol";
 
@@ -36,6 +36,7 @@ contract DelayedReleaseToken is StandardToken {
         require((msg.sender == temporaryAdmin) && (!hasBeenReleased));
         hasBeenReleased = true;
         balances[destination] = numberOfDelayedTokens;
+        Transfer(address(0), destination, numberOfDelayedTokens); 
         TokensReleased(destination, numberOfDelayedTokens);
     }
 

contracts/token/UTXORedeemableToken.sol

@@ -16,7 +16,7 @@
 
 */
 
-pragma solidity ^0.4.18;
+pragma solidity 0.4.18;
 
 import "zeppelin-solidity/contracts/token/StandardToken.sol";
 import "zeppelin-solidity/contracts/MerkleProof.sol";