Merge latest changes from upstream

This commit is contained in:
Benoit Steiner
2017-01-30 15:25:57 -08:00
93 changed files with 4097 additions and 536 deletions

View File

@@ -3,7 +3,7 @@
#include <vector>
#include <string>
#include "eigen_src/Eigen/Core"
#include "../../BenchTimer.h"
#include "../BenchTimer.h"
using namespace Eigen;
#ifndef SCALAR

View File

@@ -4,7 +4,7 @@
#include <string>
#include <functional>
#include "eigen_src/Eigen/Core"
#include "../../BenchTimer.h"
#include "../BenchTimer.h"
using namespace Eigen;
#ifndef SCALAR

View File

@@ -112,6 +112,7 @@ function test_current
# echo $update et $selected et $rev_found because $rev et "$global_args"
# echo $count_rev et $count_ref
if [ $update == true ] || [ $count_rev != $count_ref ] || ([ $selected == true ] && [ $rev_found == true ]); then
echo "RUN: $CXX -O3 -DNDEBUG -march=native $CXX_FLAGS -I eigen_src $bench.cpp -DSCALAR=$scalar -o $name"
if $CXX -O3 -DNDEBUG -march=native $CXX_FLAGS -I eigen_src $bench.cpp -DSCALAR=$scalar -o $name; then
curr=`./$name $settings_file`
if [ $count_rev == $count_ref ]; then