Schmitt, Anna (796722b9) at 23 Feb 11:53
added tech report and longer version
Schmitt, Anna (8327254a) at 14 Nov 17:10
added published paper
Schmitt, Anna (76292edd) at 30 Mar 13:58
related work
Schmitt, Anna (52b8c389) at 28 Mar 10:27
added related work
Schmitt, Anna (bc73d41e) at 22 Feb 11:31
added related work
Schmitt, Anna (e71da41b) at 15 Feb 15:24
added paper with related work
Schmitt, Anna (e2479b34) at 15 Feb 15:23
added version for ESOP 2023
Schmitt, Anna (fe953d03) at 17 Nov 08:24
reorganised repo
Schmitt, Anna (724659fd) at 17 Nov 08:21
added final pdf for ESOP
Schmitt, Anna (ef86c76f) at 30 Oct 15:21
Schmitt, Anna (ef86c76f) at 30 Oct 15:20
changed folder structure and added version before Kirstin
... and 1 more commit
Schmitt, Anna (ef86c76f) at 29 Sep 11:56
changed folder structure and added version before Kirstin
Schmitt, Anna (6eebc859) at 19 Aug 11:27
changes in review of Kirstin
Schmitt, Anna (40ea7c5b) at 12 Aug 11:35
added revisions from Kirstin
Schmitt, Anna (7067e599) at 15 Feb 13:37
added more lit
Schmitt, Anna (b18667da) at 28 Oct 10:22
added some lit
Schmitt, Anna (d110096c) at 28 Oct 10:21
Initial commit