[submodule "HerculesCompiler"]
path = HerculesCompiler
url = https://iis-git.ee.ethz.ch/H2020-Compiler/HerculesCompiler-public
[submodule "HerculesCompiler"]
path = HerculesCompiler
url = https://iis-git.ee.ethz.ch/H2020-Compiler/HerculesCompiler-public