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
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
Merge remote-tracking branch '01/devel' into for-devel
Merge remote-tracking branch '01/devel' into for-devel