History log of /barrelfish-master/tools/sockeye/SockeyeChecker.hs
Revision Date Author Comments
# c1bcff00 17-Apr-2019 Lukas Humbel <lukas.humbel@inf.ethz.ch>

sockeye: Import LISA backend

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>


# 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>


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

Sockeye: Start implementing checker

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


# 34df4086 07-Feb-2018 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Move old code to v1, Hakefile for new code

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


# c266fe6f 31-Jan-2018 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Add back compiler pipeline

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