drwxr-xr-x | .. | ||
-rw-r--r-- | 310 | Makefile | blob | blame | history | raw |
-rw-r--r-- | 233 | appendix.tex | blob | blame | history | raw |
-rw-r--r-- | 164 | body.tex | blob | blame | history | raw |
-rw-r--r-- | 527 | cover.tex | blob | blame | history | raw |
-rw-r--r-- | 59 | impl_spec.tex | blob | blame | history | raw |
-rw-r--r-- | 3717 | intro.tex | blob | blame | history | raw |
-rw-r--r-- | 1676 | literature.bib | blob | blame | history | raw |
-rw-r--r-- | 392 | main.tex | blob | blame | history | raw |
-rw-r--r-- | 56 | req_spec.tex | blob | blame | history | raw |
-rw-r--r-- | 48 | test_spec.tex | blob | blame | history | raw |