Add experimental feature 'v0.5.0'

This commit is contained in:
Alex Beregszaszi
2017-09-13 19:22:03 +01:00
parent bc5306863d
commit 06c2ddfd50
2 changed files with 3 additions and 0 deletions
+2
View File
@@ -31,6 +31,7 @@ enum class ExperimentalFeature
{
SMTChecker,
ABIEncoderV2, // new ABI encoder that makes use of JULIA
V050, // v0.5.0 breaking changes
Test,
TestOnlyAnalysis
};
@@ -45,6 +46,7 @@ static const std::map<std::string, ExperimentalFeature> ExperimentalFeatureNames
{
{ "SMTChecker", ExperimentalFeature::SMTChecker },
{ "ABIEncoderV2", ExperimentalFeature::ABIEncoderV2 },
{ "v0.5.0", ExperimentalFeature::V050 },
{ "__test", ExperimentalFeature::Test },
{ "__testOnlyAnalysis", ExperimentalFeature::TestOnlyAnalysis },
};