History log of /barrelfish-master/tools/sockeye/SockeyeChecks.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>


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


# fe630359 05-Feb-2018 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Move files for new compiler to v2 dir

This was necessary to not brake building the tree

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


# a8df7644 30-Jan-2018 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Build whole symbol table

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


# 70be1c33 30-Jan-2018 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Build symbol table for top level

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


# 9926bace 02-Aug-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Consier input mappings and output ports in duplicate identifier check

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


# 8e42ba85 02-Aug-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Show global and root module fails first

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


# 13755150 28-Jul-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Implement module instantiator

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


# 8b3954e0 27-Jul-2017 Daniel Schwyn <schwyda@student.ethz.ch>

Sockeye: Start implementing port checks

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