Merge branch 'master' into generate
treece3925d7a5ef857fdc480ea67941566c147f895c
-rw-r--r-- 26434 COPYING
-rw-r--r-- 1897 LICENSE
-rw-r--r-- 1046 Makefile
-rw-r--r-- 637 TODO
drwxr-xr-x - algo
drwxr-xr-x - benchmark
drwxr-xr-x - core
drwxr-xr-x - doc
drwxr-xr-x - drivers
drwxr-xr-x - loaders
drwxr-xr-x - old_tests
drwxr-xr-x - targets