| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add experimental feature 'v0.5.0' | Alex Beregszaszi | 2017-09-14 | 1 | -0/+2 |
| * | Use experimental feature pragma for SMT checker. | chriseth | 2017-08-23 | 1 | -0/+3 |
| * | Experimental feature switch for ABI encoder. | chriseth | 2017-08-14 | 1 | -2/+6 |
| * | Add analysis-only experimental features | Alex Beregszaszi | 2017-08-11 | 1 | -2/+9 |
| * | Add __test experimental mode for testing | Alex Beregszaszi | 2017-08-11 | 1 | -2/+6 |
| * | Introduce ExperimentalFeatures header | Alex Beregszaszi | 2017-08-10 | 1 | -0/+35 |
