| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | toFormalType reports errors by an exception | Yoichi Hirai | 2016-09-10 | 1 | -2/+3 |
| * | Merge pull request #1041 from pirapira/typo_and_whitespace | chriseth | 2016-09-08 | 1 | -1/+1 |
| |\ | |||||
| | * | Fix a typo and whitespaces | Yoichi Hirai | 2016-09-07 | 1 | -1/+1 |
| * | | Append an issue id #1043 to a @todo comment about it | Yoichi Hirai | 2016-09-07 | 1 | -1/+1 |
| |/ | |||||
| * | 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) | LAN-TW |
| aboutsummaryrefslogtreecommitdiffstats |