steveej/msc-thesis
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases 4 Packages Wiki Activity Actions
No description
30 commits 3 branches 4 tags 4.5 MiB
Find a file
Stefan Junker 1cae6ec1ec glossery: introduce some first-use items 
This requires the usage of \glsentrytext in chapters etc., because the
first expansion shouldn't happen there.
2017-08-22 17:40:13 +02:00
build build: use working texlive mirror 2017-07-06 12:24:05 +02:00
src/docs glossery: introduce some first-use items 2017-08-22 17:40:13 +02:00
static static: add pandoc-preview.html 2017-04-05 14:30:17 +02:00
.gitignore thesis: init latex file structure and bibliography 2017-04-05 15:32:36 +02:00
README.md README: add topic header 2017-04-05 11:55:06 +02:00
shell.nix introduction: explain what memory safety is 2017-08-22 10:41:12 +02:00

README.md

Using Static Code Analysis To Improve Kernel-Task Memory-Safety