Better checking (WIP).
-rw-r--r-- 162 .gitignore
-rw-r--r-- 2056 CMakeLists.txt
-rw-r--r-- 509 README.markdown
drwxr-xr-x - apps
-rw-r--r-- 14166 checker.py
-rwxr-xr-x 17330 driver.py
drwxr-xr-x - traces