├── .github ├── dependabot.yml └── workflows │ ├── dissertation.yml │ ├── progress-report.yml │ └── specification.yml ├── .gitignore ├── LICENSE ├── README.md ├── common ├── bibliography.bib ├── common.tex ├── line.png ├── plainnat.bst ├── project.tex └── titlepage.tex ├── dissertation ├── abstract.tex ├── background.tex ├── conclusions.tex ├── design.tex ├── dissertation.tex ├── evaluation.tex ├── implementation.tex └── introduction.tex ├── progress-report ├── background.tex ├── introduction.tex ├── progress-report.tex ├── progress.tex └── project-management.tex ├── shell.nix └── specification └── specification.tex /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/dissertation.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/.github/workflows/dissertation.yml -------------------------------------------------------------------------------- /.github/workflows/progress-report.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/.github/workflows/progress-report.yml -------------------------------------------------------------------------------- /.github/workflows/specification.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/.github/workflows/specification.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/README.md -------------------------------------------------------------------------------- /common/bibliography.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/common/bibliography.bib -------------------------------------------------------------------------------- /common/common.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/common/common.tex -------------------------------------------------------------------------------- /common/line.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/common/line.png -------------------------------------------------------------------------------- /common/plainnat.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/common/plainnat.bst -------------------------------------------------------------------------------- /common/project.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/common/project.tex -------------------------------------------------------------------------------- /common/titlepage.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/common/titlepage.tex -------------------------------------------------------------------------------- /dissertation/abstract.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/abstract.tex -------------------------------------------------------------------------------- /dissertation/background.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/background.tex -------------------------------------------------------------------------------- /dissertation/conclusions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/conclusions.tex -------------------------------------------------------------------------------- /dissertation/design.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/design.tex -------------------------------------------------------------------------------- /dissertation/dissertation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/dissertation.tex -------------------------------------------------------------------------------- /dissertation/evaluation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/evaluation.tex -------------------------------------------------------------------------------- /dissertation/implementation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/implementation.tex -------------------------------------------------------------------------------- /dissertation/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/dissertation/introduction.tex -------------------------------------------------------------------------------- /progress-report/background.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/progress-report/background.tex -------------------------------------------------------------------------------- /progress-report/introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/progress-report/introduction.tex -------------------------------------------------------------------------------- /progress-report/progress-report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/progress-report/progress-report.tex -------------------------------------------------------------------------------- /progress-report/progress.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/progress-report/progress.tex -------------------------------------------------------------------------------- /progress-report/project-management.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/progress-report/project-management.tex -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/shell.nix -------------------------------------------------------------------------------- /specification/specification.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mbg/cs310/HEAD/specification/specification.tex --------------------------------------------------------------------------------