Merge branch 'skate'
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 13 Jun 2017 06:54:10 +0000 (08:54 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 13 Jun 2017 06:54:18 +0000 (08:54 +0200)
commitebf06676bc837bc306558bf75f5da19cf68a76e1
tree0ff05b90a978ba76591c8e25b8bb3a5bb3fe5d3b
parent293bd541ce6d90350be107bcc46d244e2ac83e33
parent4648a8621a265f23eb972e7223fc75f4854eb03a
Merge branch 'skate'

This brings the Skate DSL to specify SKB facts and their relations.
Skate repalces Sockeye.
See technote 020.

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
hake/Args.hs
hake/RuleDefs.hs