History log of /barrelfish-master/tools/sockeye/SockeyeBackendIsabelle.hs
Revision Date Author Comments
# 9bd8d1d5 03-Apr-2019 Reto Achermann <reto.achermann@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>


# ef452266 08-Feb-2018 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Add files for rest of compiler pipeline

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>