Commits · 1617ed1ab3c0cb3e2768f3f8f20afd7b56f9df2c · Jasper Gräflich / thesis · GitLab

Snippets Groups Projects

Jun 13, 2022
- Change listings to be prettier · 1617ed1a
  Jasper Clemens Gräflich authored 2 years ago
  
  1617ed1a
Apr 14, 2022
- Update verdigris logo to V shape · 42bbc34a
  Jasper Clemens Gräflich authored 2 years ago
  
  42bbc34a
Mar 24, 2022
- Update format for journal MoC · f460e3fc
  Jasper Clemens Gräflich authored 2 years ago
  
  f460e3fc
- Add shebang to journal_entry.py · a803e4f6
  Jasper Clemens Gräflich authored 2 years ago
  
  a803e4f6
- Add automatic git push to journal_entry.py · 0e1e1422
  Jasper Clemens Gräflich authored 2 years ago
  
  0e1e1422
Mar 23, 2022
- Add script for creating new journal pages in wiki · 10ef92fc
  Jasper Clemens Gräflich authored 2 years ago
  
  10ef92fc
- Ignore pycache · 4e778290
  Jasper Clemens Gräflich authored 2 years ago
  
  4e778290
Mar 17, 2022
- Update snowflake thesis outline · 9ed4019b
  Jasper Clemens Gräflich authored 3 years ago
  
  9ed4019b
Mar 10, 2022
- Add thesis outline via the snowflake method · 0aeb7896
  Jasper Clemens Gräflich authored 3 years ago
  
  0aeb7896
- Add more formal semantics · 77417af2
  Jasper Clemens Gräflich authored 3 years ago
  
  77417af2
- Add literature · dbb330af
  Jasper Clemens Gräflich authored 3 years ago
  
  dbb330af
Feb 24, 2022
- Refince outline for chapter 1 · 98a0b267
  Jasper Clemens Gräflich authored 3 years ago
  
  98a0b267
- Change section numbering and TOC · 8e1cd20a
  Jasper Clemens Gräflich authored 3 years ago
  
  8e1cd20a
- Update bibliography to good style · 591f264c
  Jasper Clemens Gräflich authored 3 years ago
  
  591f264c
Feb 17, 2022
- Set up thesis document · 773e3e7d
  Jasper Clemens Gräflich authored 3 years ago
  
  773e3e7d
- Add math packages to preamble.tex · 99a7c1e3
  Jasper Clemens Gräflich authored 3 years ago
  
  99a7c1e3
- Add more formal semantics to proposal · 403b9d24
  Jasper Clemens Gräflich authored 3 years ago
  
  403b9d24
- Merge branch 'main' of https://gitlab1.ptb.de/graefl01/thesis into main · ecf583be
  Jasper Clemens Gräflich authored 3 years ago
  
  ecf583be
- Add thesis.tex to build pipeline · a8fabb96
  Jasper Clemens Gräflich authored 3 years ago
  
  a8fabb96
- Fix literature · a196167a
  Jasper Clemens Gräflich authored 3 years ago
  
  a196167a
- Add literature · 3ebe33ac
  Jasper Clemens Gräflich authored 3 years ago
  
  3ebe33ac
Feb 10, 2022
- Add logo to proposal.tex title page · 7e4a0a6a
  Jasper Clemens Gräflich authored 3 years ago
  
  7e4a0a6a
Feb 09, 2022
- Fix typo in README.md · fc915493
  Jasper Clemens Gräflich authored 3 years ago
  
  fc915493
- Add logo to README.md · 43e44fa1
  Jasper Clemens Gräflich authored 3 years ago
  
  43e44fa1
- Upload verdigris-logo.png · f4ba720c
  Jasper Clemens Gräflich authored 3 years ago
  
  f4ba720c
- Add verdigris-logo.png to .gitattributes · f0ae4efd
  Jasper Clemens Gräflich authored 3 years ago
  
  f0ae4efd
- Upload verdigris-logo.xcf · 085dce31
  Jasper Clemens Gräflich authored 3 years ago
  
  085dce31
- Add verdigris-logo.xcf to .gitattributes · 1759f08f
  Jasper Clemens Gräflich authored 3 years ago
  
  1759f08f
- Merge branch 'main' of https://gitlab1.ptb.de/graefl01/thesis into main · 28eb4998
  Jasper Clemens Gräflich authored 3 years ago
  
  28eb4998
- Add Rust and Copper images · 26b40810
  Jasper Clemens Gräflich authored 3 years ago
  
  26b40810
- Add legal notice to README · 3bee0ced
  Jasper Clemens Gräflich authored 3 years ago
  
  3bee0ced
Feb 08, 2022
- Add extra lualatex run in .gitlab-ci.yml · f7bbca3f
  Jasper Clemens Gräflich authored 3 years ago
  
  f7bbca3f
- Update .gitlab-ci.yml file to multiple files · 3c286962
  Jasper Clemens Gräflich authored 3 years ago
  
  3c286962
- Fix typos · 7c3e2716
  Jasper Clemens Gräflich authored 3 years ago
  
  7c3e2716
Feb 07, 2022
- Remove todo · 665e128f
  Jasper Clemens Gräflich authored 3 years ago
  
  665e128f
- Fix typo · 47465212
  Jasper Clemens Gräflich authored 3 years ago
  
  47465212
- Remove list of todos · 75c41daf
  Jasper Clemens Gräflich authored 3 years ago
  
  75c41daf
- Update proposal sections 3 and 4; corrections · 8586fae2
  Jasper Clemens Gräflich authored 3 years ago
  
  8586fae2
- Reformulate proposal section 2 and fix citations · 4c390f01
  Jasper Clemens Gräflich authored 3 years ago
  
  4c390f01
- Add literature · 8a247011
  Jasper Clemens Gräflich authored 3 years ago
  
  8a247011