Modelling Git Operations as Planning Problems

Modelling Git Operations as Planning Problems

devgitpddlplanning-system

Wednesday, January 20, 2021

Abstract

Version control systems use a graph data structure to track revisions of files. Those graphs are mutated with various commands by the respective version control system. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.

Download Thesis

Cite

@thesis{bachmann2021,
	title        = {Modelling Git Operations as Planning Problems},
	author       = {Tim Bachmann},
	year         = 2021,
	type         = {Bachelor's Thesis},
	shool        = {University of Basel},
	howpublished = {\url{https://github.com/Tiim/Bachelor-PDDL-Git-thesis/releases}}
}

0 Comments

┬ęTim Bachmann 2022

Built with SvelteKit and hosted on GitHub Pages.
View this website on GitHub!