gripl-master-thesis