Major change master
-rw-r--r-- 14 .gitattributes
-rw-r--r-- 910477 Bachelor thesis.pdf
-rw-r--r-- 6809 Bachelor thesis.tex
drwxr-xr-x - Images
-rw-r--r-- 343024 OSL-Specification.pdf
-rw-r--r-- 6241 OSL-Specification.tex
-rw-r--r-- 252 abstract.tex
-rw-r--r-- 2641 appendix.tex
-rw-r--r-- 10752 background.tex
-rw-r--r-- 14572 bibliography.bib
-rw-r--r-- 152 bootstrapping.tex
-rw-r--r-- 4394 bootstrapping_dirm.tex
-rw-r--r-- 18012 bootstrapping_iris.tex
-rw-r--r-- 26154 bootstrapping_spec.tex
drwxr-xr-x - cs-cover
-rw-r--r-- 296 impl.tex
-rw-r--r-- 22731 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-- 9928 osl_spec.tex
-rw-r--r-- 1190 program.tex
-rw-r--r-- 18075 program_arch.tex
-rw-r--r-- 58 program_bootstrapping.tex
-rw-r--r-- 5022 program_functionality.tex
-rw-r--r-- 12812 program_interface.tex
-rw-r--r-- 1825 program_stats.tex
-rw-r--r-- 437 summary.tex