Merge remote-tracking branch '01/devel' into for-devel
Merge remote-tracking branch '01/devel' into for-devel
Merge remote-tracking branch '01/devel' into for-devel
Merge remote-tracking branch '01/devel' into for-devel
Merge remote-tracking branch '01/devel' into for-devel
use sh instead of bash
Use configure to check if error.h exists
Merge remote-tracking branch '01/devel' into for-devel
Use detected HAVE_ERROR_H
Remove extra ';' at the end of the file
Added missing copyright comment
Merge remote-tracking branch '01/devel' into for-devel
Version bump, development version 0.17.1-0.rc0
fmbt-debug: support debugging on Windows
learning try 1
error
pass heuristic in proxy class
learning: fix execution time storage and retrieval
learning: lookahead prefers wall-clock-fastest paths
learning: first AAL and conf for unit tests