Commits · 1c65ede19dad4836485ecacb41fd0d41def506d8 · Philip Mueller / Master Thesis

May 25, 2023
- Removed some sensitive data. · 1c65ede1
  Philip Mueller authored 1 year ago
  
  1c65ede1
Apr 08, 2020
- Added my presentation to the repro. · b30d5ef4
  Philip Mueller authored 5 years ago
  
  b30d5ef4
Mar 16, 2020
- Added a copy of the status mails to the repro. · a96ea8ad
  Philip Mueller authored 5 years ago
  a96ea8ad
Feb 29, 2020
- Updated and reviewed _all_ README.md files. · 89e2c97d
  Philip Mueller authored 5 years ago
  89e2c97d
Jan 24, 2020
- Added the template for the thesis to the repro. · 10624f89
  Philip Mueller, HS authored 5 years ago
  
  10624f89
Nov 07, 2019
- Added a document that will contain the verification study of the second version of EGD. · cf1d509b
  Philip Mueller, HS authored 5 years ago
  
  cf1d509b
Oct 01, 2019
- Added a first draft of the extension. · 55dcfa80
  Philip Mueller, HS authored 5 years ago
  55dcfa80
Sep 16, 2019
- Added a new folder for meetings. · a100bf47
  Philip Mueller, HS authored 5 years ago
  a100bf47
Sep 02, 2019
- Added a folder for the diary. · 348a0885
  Philip Mueller, HS authored 5 years ago
  348a0885
Aug 29, 2019
- Added a folder for the documentation. · 578c285f
  Philip Mueller, HS authored 5 years ago
  
  578c285f