Sockeye: Add possibility to add reserved blocks
authorDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 20 Jul 2017 09:00:04 +0000 (11:00 +0200)
committerDaniel Schwyn <schwyda@student.ethz.ch>
Thu, 20 Jul 2017 09:00:04 +0000 (11:00 +0200)
commit4318cdebfbe0217f5fa2683f9d82f0112486799f
treea2bf9b63eab8e59746da5f004eae460cfb25a64b
parentdda180134c3d10d7e9501668cb210f5fe8b33b68
Sockeye: Add possibility to add reserved blocks

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