chriseth 01566c2e1a Merge pull request #5272 from ethereum/smt_special_vars ...

[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash

2018-10-24 14:34:17 +02:00

..

analysis

Refactor solidity::Token into an enum class with TokenTraits helper namespace

2018-10-22 17:00:51 +02:00

ast

Refactor solidity::Token into an enum class with TokenTraits helper namespace

2018-10-22 17:00:51 +02:00

codegen

Refactor solidity::Token into an enum class with TokenTraits helper namespace

2018-10-22 17:00:51 +02:00

formal

Merge pull request #5272 from ethereum/smt_special_vars

2018-10-24 14:34:17 +02:00

inlineasm

Renaming namespace dev::julia to dev::yul.

2018-10-15 11:58:51 +02:00

interface

Renaming namespace dev::julia to dev::yul.

2018-10-15 11:58:51 +02:00

parsing

Refactor solidity::Token into an enum class with TokenTraits helper namespace

2018-10-22 17:00:51 +02:00

CMakeLists.txt

Renaming libjulia to libyul

2018-10-15 11:52:35 +02:00