SET: making SET configurable, adjust config model, cleanup
-rw-r--r-- 554 .editorconfig
-rw-r--r-- 31 .gitignore
-rw-r--r-- 4467 CMakeLists.txt
-rw-r--r-- 885 COPYING
-rw-r--r-- 2003 Changelog.md
-rw-r--r-- 7651 LICENSE
-rw-r--r-- 2857 README.md
-rwxr-xr-x 1811 after-first-checkout.sh
drwxr-xr-x - app
drwxr-xr-x - arch
drwxr-xr-x - config
drwxr-xr-x - dependability
drwxr-xr-x - doc
drwxr-xr-x - eval
drwxr-xr-x - fail
drwxr-xr-x - generator
-rw-r--r-- 1041 how-to-build.txt
-rwxr-xr-x 3410 new_build_env.py
drwxr-xr-x - os
drwxr-xr-x - scripts
drwxr-xr-x - static_analysis
drwxr-xr-x - test
drwxr-xr-x - toolchain