raph-amiard/Z3 — Issue #1: Use of C++11 features
Author: raph-amiard
Created: 2012-02-03 12:16:25+00:00
State: open

Do we allow the use of C++11 features ?

This would certainly simplify some things in the code, at the expense of relying on experimental compiler features. I used some of them in my code.

My proposition is that we use the subset of features available in clang : [Clang C++11 status](http://clang.llvm.org/cxx_status.html)

Since clang is already a dependency of the project (if we plan on integrating VMKit), it seems like a fair compromise.

What do you think ?