Solidity 0.7 language features implemented

Signed-off-by: Sean Young <sean@mess.org>

README.md

@@ -11,11 +11,12 @@ Welcome to Solang, a new Solidity compiler written in rust which uses
 llvm as the compiler backend. As a result, only the compiler front end
 needs to be written in rust.
 
-Solang targets Substrate, ewasm, and Sawtooth.
+Solang targets Substrate, Solana, ewasm, and Sawtooth.
+Solang is source compatible with Solidity 0.7, with some caveats due to
+differences in the underlying blockchain.
 
-Solang is under active development right now, and should be documented at
-the same time as the implementation. Please have a look at
-[our documentation](https://solang.readthedocs.io/en/latest/).
+Solang is under active development right now, and has
+[extensive documentation](https://solang.readthedocs.io/en/latest/).
 
 ## Simple example
 
@@ -43,13 +44,13 @@ contract flipper {
 Now run:
 
 ```bash
-solang flipper.sol
+solang --target substrate flipper.sol
 ```
 
 Alternatively if you want to use the solang docker image, run:
 
 ```
-docker run --rm -it -v $(pwd):/sources hyperledgerlabs/solang -v -o /sources /sources/flipper.sol
+docker run --rm -it -v $(pwd):/sources hyperledgerlabs/solang -v -o /sources  --target substrate /sources/flipper.sol
 ```
 You will have a flipper.wasm and flipper.json. You can use these directly in
 the [Polkadot UI](https://substrate.dev/substrate-contracts-workshop/#/0/deploying-your-contract?id=putting-your-code-on-the-blockchain), as if your smart

docs/index.rst

@@ -17,9 +17,9 @@ for `Parity Substrate <https://substrate.dev/>`_,
 `llvm <https://www.llvm.org/>`_ compiler framework to produce WebAssembly
 (wasm) or BPF contract code. As result, the output is highly optimized, which saves you in gas costs.
 
-Solang aims for source file compatibility with the Ethereum EVM Solidity compiler.
-Where differences exists, this is noted in the :ref:`language documentation <language>`.
-Also, check our :ref:`language_status` page.
+Solang aims for source file compatibility with the Ethereum EVM Solidity compiler,
+version 0.7. Where differences exists, this is noted in the :ref:`language documentation <language>`.
+Also, check our :ref:`status` page.
 The repository can be found on `github <https://github.com/hyperledger-labs/solang>`_
 and we have a `channel on chat.hyperledger.org <https://chat.hyperledger.org/channel/solang>`_.
 

docs/language.rst

@@ -5,7 +5,7 @@ Solidity Language
 
 The Solidity language supported by Solang aims to be compatible with the latest
 `Ethereum Foundation Solidity Compiler <https://github.com/ethereum/solidity/>`_ with
-some caveats, please check out our :ref:`language_status` page.
+some caveats, please check out our :ref:`status` page.
 
 .. note::
 

docs/status.rst

@@ -1,27 +1,16 @@
+.. _status:
+
 Status
 ======
 
-Solang is a very young project, and does not support all the features that the
-`Ethereum Foundation Solidity Compiler <https://github.com/ethereum/solidity/>`_
-supports. The majority of the features is supported and the project is ready
-for use.
-
-Testing Status
---------------
-
-Many language features have only recently been implemented, and have many unit
-tests. However, as with any new project, bugs are possible. Please report any
-issues you may find to github.
+Solidity Language Status
+------------------------
 
-.. _language_status:
-
-Solidity Language completeness
-------------------------------
-
-Solang wants to be compatible with the latest version of
-`Ethereum Foundation Solidity Compiler <https://github.com/ethereum/solidity/>`_, version 0.7.
-The project is under active development, and new language features are being added
-on a continuous basis.
+Solang is source compatible with the
+`Ethereum Foundation Solidity Compiler <https://github.com/ethereum/solidity/>`_
+version 0.7, with some caveats. Many language features have only recently been
+implemented, and have many unit tests. As with any new project, bugs are possible.
+Please report any issues you may find to github.
 
 Differences: