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: adding support for block configurable mappings

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

Sockeye: Do not allow multidimensional quantifiers

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

Sockeye: Fix slice operator

Range should be natural range not natural set

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: Code cleanup in parser

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: Implement maps & converts parsing

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

Sockeye: Implement binds parsing

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

Sockeye: Implement overlay parsing

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

Sockeye: Implement expression parsing

Accepts are fully parsed now

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

Sockeye: Parse address blocks in accept

Properties NYI

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

Sockeye: Parse declarations & definition skeletons

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

Sockeye: Fix natural set model and parsing

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

Sockeye: Implement declaration parsing

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 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: Remove distinction between address and natural

Addresses and natural module parameters can now be specified as
either hex or decimal number.

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

Sockeye: Add node type for cores

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

Sockeye: Clean up ASTs

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

Sockeye: Implement module instantiator

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

Sockeye TN: More updates

- Use modules in examples
- Update lexical conventions and some of the syntax
- Update prolog mapping

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

Sockeye: Improve import handling

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

Sockeye: Fix import system

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

Sockeye: Add possibility to add reserved blocks

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

Sockeye: clean up

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

Sockeye: Handle arbitrary large numbers

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: Implement import support

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

Sockeye: Better naming for some AST types

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

Sockeye: Implement nodeSpec conversion

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: Rename 'int' type to 'nat'

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

Sockeye: Checker almost finished

TODO: check module instantiations

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

Sockeye: Start implementation of checker

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

Sockeye: Allow to instantiate modules with inlined range in name space

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

Sockeye: Allow to use inlined for in node decls

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

Sockeye: Refactoring

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

Sockeye: Allow do define port mappings with inline range in identifier

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

Sockeye: Allow to define ports with inline range in identifier

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

Sockeye: Fix Identifier parsing

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

Sockeye: Introduce for loops

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

Sockeye: Only one list for port mappings

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

Sockeye: Better error messages for parser

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

Sockeye: Parser for new syntax

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>

Separate node IDs by whitespace for 'are' instead of commas

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

Improve error message on syntax errors with 'is'/'are'

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

Add support for '-' in node IDs

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>

removing tools/sockeye -> transition to skate

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

sockeye: handle typedefs more consistently.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T185: sockeye: update parser to do correct type rewiring

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

T185: sockeye: remove fact keyword from fact attributes.

This change introduces a parsing problem as the we parse and
determine base types in one pass. The proper way to parse input
files would be to parse and then rewrite the AST to use types
instead of type names and do error checking on the fly.

sockeye: preliminary code to generate C function bodies

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

sockeye: initial commit of working parser and partial code generation

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