| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Handle external effects. | chriseth | 2016-07-13 | 1 | -2/+15 |
| * | - inline and assembly keywords added | LianaHus | 2016-03-12 | 1 | -1/+1 |
| * | Do not store elements of a contract by AST node type. | chriseth | 2015-11-26 | 1 | -1/+1 |
| * | Fix MSVC errors and warnings. | chriseth | 2015-11-26 | 1 | -1/+1 |
| * | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 1 | -7/+10 |
| * | Why3: Direct references to variables using `#`. | chriseth | 2015-11-23 | 1 | -0/+7 |
| * | Formal Verification: State variables. | chriseth | 2015-11-19 | 1 | -0/+6 |
| * | Fix problems with statement blocks. | chriseth | 2015-11-11 | 1 | -3/+6 |
| * | Preliminary why3 code output. | chriseth | 2015-10-27 | 1 | -0/+115 |
 |
index : dexon-solidity | |
| DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity) |
| aboutsummaryrefslogtreecommitdiffstats |