sockeye: Import LISA backend

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Sockeye: remove dependency to Text.Pretty.Simp

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

sockeye: make addresses one dimensional and explicit state passing

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

Starting the Prolog backend for sockeye2

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

Sockeye: Add files for rest of compiler pipeline

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

Sockeye: Start implementing checker

Signed-off-by: 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>

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>

Sockeye: Implement import parsing and resolution

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

Sockeye: Add back compiler pipeline

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

Sockeye: Build whole symbol table

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

Sockeye: Build symbol table for top level

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

Sockeye: Add source position to AST

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

Sockeye: New Parser parses top level structure

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

Sockeye: add root namespace argument

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

Sockeye: Code cleanup

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

Sockeye: Change default dest base for mapping to 0 (again...)

Also clean up imports

Signed-off-by: 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>

Sockeye: Rename Checker to TypeChecker

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

Sockeye: Start reimplementing net builder on top of instantiator

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

Sockeye: Implement module instantiator

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

Sockeye: Start implementing port checks

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

Sockeye: Improve import handling

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

Sockeye: Enable generating make depend file during compilation

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

Sockeye: Enable generation of dependency file

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

Sockeye: Fix import system

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

Sockeye: clean up

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

Sockeye: Implement import support

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

Sockeye: Remove debug imports

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

Sockeye: Implement proper module instantiation check

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

Sockeye: Start implementing decoding net transformation

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

Sockeye: Adapt prolog backend to new AST

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

Sockeye: Start implementation of net builder

TODO:
- Node specs
- Port mappings
- Checks

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

Sockeye: Refactor ASTs

Also get rid of debugging backend

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

Sockeye: Add stub for net builder

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

Sockeye: Better error messages for checker

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

Sockeye: Start implementation of checker

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

Sockeye: WIP: Parser for new syntax

TODO:
- Module instantiations

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

Sockeye: Correct imports

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

Rename sockey2 -> sockeye

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