| #
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>
|
| #
b7eaca78 |
|
15-Feb-2018 |
Lukas Humbel <lukas.humbel@inf.ethz.ch> |
Starting the Prolog backend for sockeye2
Signed-off-by: Lukas Humbel <lukas.humbel@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>
|
| #
dd1b669a |
|
07-Feb-2018 |
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>
|
| #
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>
|
| #
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>
|