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 |