Commit Graph

3 Commits

Author SHA1 Message Date
48f8343a79 Notos evaluation first part 2018-01-02 19:12:28 +01:00
673464137e more writing, added benchmark to compare log files 2017-11-30 18:48:23 +01:00
42fce4f17c updated tex 2017-11-28 11:07:41 +01:00