Use C++11 (or 14) features by default#122

winstliu wants to merge 11 commits into

uva-cs:masteruva-cs/pdr:masterfrom

winstliu:c++-11winstliu/pdr:c++-11Copy head branch name to clipboard