| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Do not store elements of a contract by AST node type. | chriseth | 2015-11-26 | 1 | -10/+5 |
| * | Style. | chriseth | 2015-11-25 | 1 | -1/+2 |
| * | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 1 | -19/+24 |
| * | 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 | 1 | -1/+68 |
| * | Formal Verification: State variables. | chriseth | 2015-11-19 | 1 | -20/+64 |
| * | Fix problems with statement blocks. | chriseth | 2015-11-11 | 1 | -18/+40 |
| * | Rename error type. | chriseth | 2015-10-28 | 1 | -1/+1 |
| * | Preliminary why3 code output. | chriseth | 2015-10-27 | 1 | -0/+525 |
 |
index : dexon-solidity | |
| DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity) |
| aboutsummaryrefslogtreecommitdiffstats |