]> rtime.felk.cvut.cz Git - frescor/fna.git/tree
add the infraestructure for storing the negotiated contracts and performing the analy...
-rw-r--r-- 18004 COPYING
-rw-r--r-- 49 Makefile
-rw-r--r-- 476 README
-rw-r--r-- 946 config.mk_example
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 1154 rules.mk
drwxr-xr-x - src
drwxr-xr-x - src_frescan
drwxr-xr-x - src_rtep
drwxr-xr-x - src_unix
drwxr-xr-x - tests