| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Do not store elements of a contract by AST node type. | chriseth | 2015-11-26 | 2 | -11/+6 |
| * | Fix MSVC errors and warnings. | chriseth | 2015-11-26 | 1 | -1/+1 |
| * | Style. | chriseth | 2015-11-25 | 1 | -1/+2 |
| * | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 2 | -26/+34 |
| * | Style. | chriseth | 2015-11-23 | 1 | -2/+5 |
| * | addmod and mulmod for why3. | chriseth | 2015-11-23 | 1 | -17/+36 |
| * | Why3: Direct references to variables using `#`. | chriseth | 2015-11-23 | 2 | -1/+75 |
| * | Formal Verification: State variables. | chriseth | 2015-11-19 | 2 | -20/+70 |
| * | Fix problems with statement blocks. | chriseth | 2015-11-11 | 2 | -21/+46 |
| * | Rename error type. | chriseth | 2015-10-28 | 1 | -1/+1 |
| * | Preliminary why3 code output. | chriseth | 2015-10-27 | 2 | -0/+640 |
 |
index : dexon-solidity | |
| DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity) | lantw44 |
| aboutsummaryrefslogtreecommitdiffstats |