Major change
-rw-r--r-- 14 .gitattributes
-rw-r--r-- 849863 Bachelor thesis.pdf
-rw-r--r-- 6834 Bachelor thesis.tex
drwxr-xr-x - Images
-rw-r--r-- 343024 OSL-Specification.pdf
-rw-r--r-- 6267 OSL-Specification.tex
-rw-r--r-- 252 abstract.tex
-rw-r--r-- 166 appendix.tex
-rw-r--r-- 10566 background.tex
-rw-r--r-- 11832 bibliography.bib
-rw-r--r-- 152 bootstrapping.tex
-rw-r--r-- 4349 bootstrapping_dirm.tex
-rw-r--r-- 78 bootstrapping_iris.tex
-rw-r--r-- 1399 bootstrapping_spec.tex
drwxr-xr-x - cs-cover
-rw-r--r-- 296 impl.tex
-rw-r--r-- 22729 impl_code.tex
-rw-r--r-- 3160 impl_tools.tex
-rw-r--r-- 6008 introduction.tex
-rw-r--r-- 310 kurzfassung.tex
-rw-r--r-- 1363 nomenclature.tex
-rw-r--r-- 35 osl.tex
-rw-r--r-- 1462 osl_intro.tex
-rw-r--r-- 9342 osl_spec.tex
-rw-r--r-- 1175 program.tex
-rw-r--r-- 20361 program_arch.tex
-rw-r--r-- 58 program_bootstrapping.tex
-rw-r--r-- 5121 program_functionality.tex
-rw-r--r-- 12800 program_interface.tex
-rw-r--r-- 1807 program_stats.tex
-rw-r--r-- 437 summary.tex