|
|
4101d31ba8
|
context/introduction: add questions about Rust
|
2017-07-17 09:43:41 +02:00 |
|
|
|
77d01e79b1
|
parts/context: work on introduction
Figuring out what exactly will follow I need to know what I can build
upon.
|
2017-07-14 14:43:34 +02:00 |
|
|
|
1f4d579dcc
|
Merge branch 'fix-build' into 'static-code-analysis-kernel-task-memory-safety'
build: use working texlive mirror
See merge request !4
|
2017-07-06 10:27:06 +00:00 |
|
|
|
2f6bcb19b8
|
build: use working texlive mirror
|
2017-07-06 12:24:05 +02:00 |
|
|
|
329834c0f7
|
thesis: explain more of the difficulties in C
|
2017-06-29 19:03:01 +02:00 |
|
|
|
12e2db498f
|
bib: new papers
|
2017-06-29 19:01:48 +02:00 |
|
|
|
61e3e451c6
|
thesis/context: introduce topic; add pointer example
|
2017-06-29 14:38:25 +02:00 |
|
|
|
8081d99fb9
|
Merge branch 'frontmatter' into 'static-code-analysis-kernel-task-memory-safety'
thesis: work on frontmatter
Closes #14
See merge request !2
|
2017-06-29 12:35:19 +00:00 |
|
|
|
146098e534
|
thesis: work on frontmatter
|
2017-06-29 14:31:59 +02:00 |
|
|
|
4770fc6bc7
|
Merge branch 'define-scope' into 'static-code-analysis-kernel-task-memory-safety'
thesis: topic refinement
See merge request !1
|
2017-04-06 15:10:33 +00:00 |
|
|
|
091c720cb8
|
shell/vim: copy bib file from mendeley on save
|
2017-04-06 17:08:46 +02:00 |
|
|
|
927c807103
|
context: fix typos
|
2017-04-06 16:50:08 +02:00 |
|
|
|
a15d58dd73
|
bib: add back with content
|
2017-04-06 16:44:13 +02:00 |
|
|
|
fa009e5427
|
bib: intermittent removal
|
2017-04-06 16:41:01 +02:00 |
|
|
|
ec720b1190
|
context: working on intro
|
2017-04-05 19:34:13 +02:00 |
|
|
|
1562979822
|
refine topic
|
2017-04-05 18:51:38 +02:00 |
|
|
|
9a18b40dad
|
thesis: topic refinement
|
2017-04-05 16:39:52 +02:00 |
|
|
|
05f818758a
|
shell.nix: init
|
2017-04-05 15:33:03 +02:00 |
|
|
|
cafdf365c0
|
thesis: init latex file structure and bibliography
|
2017-04-05 15:32:36 +02:00 |
|
|
|
8cbb711236
|
static: add pandoc-preview.html
|
2017-04-05 14:30:17 +02:00 |
|
|
|
70b21105a0
|
git: ignore docs/
|
2017-04-05 11:58:20 +02:00 |
|
|
|
a2027120d4
|
README: add topic header
|
2017-04-05 11:55:06 +02:00 |
|
|
|
ae926bbad6
|
README.md: initial version
|
2017-04-05 11:47:18 +02:00 |
|
|
|
c1956c57c0
|
Prepare master branch
|
2016-08-09 19:21:02 +02:00 |
|
