Sockeye: Implement port mappings
authorDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 14 Jul 2017 14:20:16 +0000 (16:20 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Fri, 14 Jul 2017 14:20:16 +0000 (16:20 +0200)
commitb77ef038c73571adac8a441f3bcc6800314628da
tree99059db9fab773912f318c86d509658de59b9b0e
parent3063abb954e15b6add2b6937baf42eca2a02284e
Sockeye: Implement port mappings

Signed-off-by: Daniel Schwyn <schwyda@student.ethz.ch>
tools/sockeye/SockeyeAST.hs
tools/sockeye/SockeyeASTDecodingNet.hs
tools/sockeye/SockeyeASTParser.hs
tools/sockeye/SockeyeBackendProlog.hs
tools/sockeye/SockeyeChecker.hs
tools/sockeye/SockeyeNetBuilder.hs