Tighten representation of DbC context type
-rw-r--r-- 50 .gitignore
-rw-r--r-- 18092 COPYING
-rw-r--r-- 102 Makefile
-rw-r--r-- 17 Makefile.inc
-rw-r--r-- 2797 README.md
-rw-r--r-- 1323 TODO.md
drwxr-xr-x - configs
drwxr-xr-x - misc
drwxr-xr-x - src