sockeye: fix non-exhaustive pattern in case error

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

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: quick fix for generating documentation

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

sockeye: use the new assert wrappers for static state

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

sockeye: fix missing comma in parser

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

sockeye: update to the new state interface

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

Sockeye: Make it work for xeon phi + xeon_phi alias query

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

Sockeye: Add Xeon Phi

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

sockeye: adding support for block configurable mappings

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

sockeye: fix ste number prpagation

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

sockeye: also pass the state when instantiating the modules

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

sockeye: make addresses one dimensional and explicit state passing

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

Sockeye: Working on region route

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

Sockeye: Add resolve function

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

Sockeye: Add address properties to address blocks

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

Sockeye: cleanup

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

Sockeye: Forall quantifier

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

Sockeye: Handle output nodes

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

Sockeye: instantiating modules with (no outputs yet)

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

Sockeye: Improving on Prolog output

Signed-off-by: Lukas Humbel <lukas.humbel@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: 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: Add properties

It is now possible to specify properties behind each block spec (such as in
the accept blocks) and in the destination of map specs.

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

Sockeye: Move overlay translation to backend

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

Prolog code style fixes

- snake case for atoms/predicates/modules/file names

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

Sockeye: Use ECLiPSe struct notation in generated code

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

Sockeye: Add node type for cores

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

Sockeye: Generate addresses with ISO hex prefix

The decodingNet module now sets the ECLiPSe syntax_option flags based_bignums and iso_base_prefix to make this work.

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

Revert "Sockeye: Generate decimal addresses"

This reverts commit 7fdd5d0d5b395e7d6f8757403eea4c9c3f6bca5a.

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

Sockeye: Generate decimal addresses

ECLiPSe treats hex integers as word length signed
(16'ffffffff == -1 on 32bit architectures)

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

Sockeye: Code cleanup

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

Sockeye: Fix empty top level namespace being compiled to empty atom in Prolog

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: Start reimplementing net builder on top of instantiator

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

Sockeye: clean up

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

Sockeye: Start implementing overley to map translation

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

Sockeye: Represent NodeId as name + namespace list in Prolog

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

Sockeye: Implement port mappings

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: Correct imports

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

Sockeye: Generate hex addresses for Prolog

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

Make Sockeye case sensitive again

Prolog backend does not map node IDs to lowercase anymore (uses quotes anyway)

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

Ensure all node identifers are compiled to Prolog atoms

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

Add types to node

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

Rename sockey2 -> sockeye

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