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

-rw-r--r--	14	.gitattributes	blob \| blame \| history \| raw
-rw-r--r--	910477	Bachelor thesis.pdf	blob \| blame \| history \| raw
-rw-r--r--	6809	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--	6241	OSL-Specification.tex	blob \| blame \| history \| raw
-rw-r--r--	252	abstract.tex	blob \| blame \| history \| raw
-rw-r--r--	2641	appendix.tex	blob \| blame \| history \| raw
-rw-r--r--	10752	background.tex	blob \| blame \| history \| raw
-rw-r--r--	14572	bibliography.bib	blob \| blame \| history \| raw
-rw-r--r--	152	bootstrapping.tex	blob \| blame \| history \| raw
-rw-r--r--	4394	bootstrapping_dirm.tex	blob \| blame \| history \| raw
-rw-r--r--	18012	bootstrapping_iris.tex	blob \| blame \| history \| raw
-rw-r--r--	26154	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--	22731	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--	9928	osl_spec.tex	blob \| blame \| history \| raw
-rw-r--r--	1190	program.tex	blob \| blame \| history \| raw
-rw-r--r--	18075	program_arch.tex	blob \| blame \| history \| raw
-rw-r--r--	58	program_bootstrapping.tex	blob \| blame \| history \| raw
-rw-r--r--	5022	program_functionality.tex	blob \| blame \| history \| raw
-rw-r--r--	12812	program_interface.tex	blob \| blame \| history \| raw
-rw-r--r--	1825	program_stats.tex	blob \| blame \| history \| raw
-rw-r--r--	437	summary.tex	blob \| blame \| history \| raw