git.uio.no Git - u/philim/db2osl

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