diff --git a/Makefile b/compiler/Makefile
similarity index 100%
rename from Makefile
rename to compiler/Makefile
diff --git a/_tags b/compiler/_tags
similarity index 100%
rename from _tags
rename to compiler/_tags
diff --git a/global/ident.ml b/compiler/global/ident.ml
similarity index 100%
rename from global/ident.ml
rename to compiler/global/ident.ml
diff --git a/global/ident.mli b/compiler/global/ident.mli
similarity index 100%
rename from global/ident.mli
rename to compiler/global/ident.mli
diff --git a/global/initial.ml b/compiler/global/initial.ml
similarity index 100%
rename from global/initial.ml
rename to compiler/global/initial.ml
diff --git a/global/location.ml b/compiler/global/location.ml
similarity index 100%
rename from global/location.ml
rename to compiler/global/location.ml
diff --git a/global/modules.ml b/compiler/global/modules.ml
similarity index 100%
rename from global/modules.ml
rename to compiler/global/modules.ml
diff --git a/global/names.ml b/compiler/global/names.ml
similarity index 100%
rename from global/names.ml
rename to compiler/global/names.ml
diff --git a/global/signature.ml b/compiler/global/signature.ml
similarity index 100%
rename from global/signature.ml
rename to compiler/global/signature.ml
diff --git a/global/static.ml b/compiler/global/static.ml
similarity index 100%
rename from global/static.ml
rename to compiler/global/static.ml
diff --git a/global/types.ml b/compiler/global/types.ml
similarity index 100%
rename from global/types.ml
rename to compiler/global/types.ml
diff --git a/heptagon/_tags b/compiler/heptagon/_tags
similarity index 100%
rename from heptagon/_tags
rename to compiler/heptagon/_tags
diff --git a/heptagon/analysis/causal.ml b/compiler/heptagon/analysis/causal.ml
similarity index 100%
rename from heptagon/analysis/causal.ml
rename to compiler/heptagon/analysis/causal.ml
diff --git a/heptagon/analysis/causality.ml b/compiler/heptagon/analysis/causality.ml
similarity index 100%
rename from heptagon/analysis/causality.ml
rename to compiler/heptagon/analysis/causality.ml
diff --git a/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml
similarity index 100%
rename from heptagon/analysis/initialization.ml
rename to compiler/heptagon/analysis/initialization.ml
diff --git a/heptagon/analysis/interface.ml b/compiler/heptagon/analysis/interface.ml
similarity index 100%
rename from heptagon/analysis/interface.ml
rename to compiler/heptagon/analysis/interface.ml
diff --git a/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml
similarity index 100%
rename from heptagon/analysis/typing.ml
rename to compiler/heptagon/analysis/typing.ml
diff --git a/heptagon/heptagon.ml b/compiler/heptagon/heptagon.ml
similarity index 100%
rename from heptagon/heptagon.ml
rename to compiler/heptagon/heptagon.ml
diff --git a/heptagon/main/compiler.ml b/compiler/heptagon/main/compiler.ml
similarity index 100%
rename from heptagon/main/compiler.ml
rename to compiler/heptagon/main/compiler.ml
diff --git a/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml
similarity index 100%
rename from heptagon/main/hept_compiler.ml
rename to compiler/heptagon/main/hept_compiler.ml
diff --git a/heptagon/main/heptcheck.ml b/compiler/heptagon/main/heptcheck.ml
similarity index 100%
rename from heptagon/main/heptcheck.ml
rename to compiler/heptagon/main/heptcheck.ml
diff --git a/heptagon/parsing/lexer.mll b/compiler/heptagon/parsing/lexer.mll
similarity index 100%
rename from heptagon/parsing/lexer.mll
rename to compiler/heptagon/parsing/lexer.mll
diff --git a/heptagon/parsing/parser.mly b/compiler/heptagon/parsing/parser.mly
similarity index 100%
rename from heptagon/parsing/parser.mly
rename to compiler/heptagon/parsing/parser.mly
diff --git a/heptagon/parsing/parsetree.ml b/compiler/heptagon/parsing/parsetree.ml
similarity index 100%
rename from heptagon/parsing/parsetree.ml
rename to compiler/heptagon/parsing/parsetree.ml
diff --git a/heptagon/parsing/scoping.ml b/compiler/heptagon/parsing/scoping.ml
similarity index 100%
rename from heptagon/parsing/scoping.ml
rename to compiler/heptagon/parsing/scoping.ml
diff --git a/heptagon/printer.ml b/compiler/heptagon/printer.ml
similarity index 100%
rename from heptagon/printer.ml
rename to compiler/heptagon/printer.ml
diff --git a/heptagon/transformations/automata.ml b/compiler/heptagon/transformations/automata.ml
similarity index 100%
rename from heptagon/transformations/automata.ml
rename to compiler/heptagon/transformations/automata.ml
diff --git a/heptagon/transformations/completion.ml b/compiler/heptagon/transformations/completion.ml
similarity index 100%
rename from heptagon/transformations/completion.ml
rename to compiler/heptagon/transformations/completion.ml
diff --git a/heptagon/transformations/every.ml b/compiler/heptagon/transformations/every.ml
similarity index 100%
rename from heptagon/transformations/every.ml
rename to compiler/heptagon/transformations/every.ml
diff --git a/heptagon/transformations/last.ml b/compiler/heptagon/transformations/last.ml
similarity index 100%
rename from heptagon/transformations/last.ml
rename to compiler/heptagon/transformations/last.ml
diff --git a/heptagon/transformations/present.ml b/compiler/heptagon/transformations/present.ml
similarity index 100%
rename from heptagon/transformations/present.ml
rename to compiler/heptagon/transformations/present.ml
diff --git a/heptagon/transformations/reset.ml b/compiler/heptagon/transformations/reset.ml
similarity index 100%
rename from heptagon/transformations/reset.ml
rename to compiler/heptagon/transformations/reset.ml
diff --git a/main/hept2mls.ml b/compiler/main/hept2mls.ml
similarity index 100%
rename from main/hept2mls.ml
rename to compiler/main/hept2mls.ml
diff --git a/main/heptc.ml b/compiler/main/heptc.ml
similarity index 100%
rename from main/heptc.ml
rename to compiler/main/heptc.ml
diff --git a/minils/_tags b/compiler/minils/_tags
similarity index 100%
rename from minils/_tags
rename to compiler/minils/_tags
diff --git a/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml
similarity index 100%
rename from minils/analysis/clocking.ml
rename to compiler/minils/analysis/clocking.ml
diff --git a/minils/analysis/init.ml b/compiler/minils/analysis/init.ml
similarity index 100%
rename from minils/analysis/init.ml
rename to compiler/minils/analysis/init.ml
diff --git a/minils/main/mls2seq.ml b/compiler/minils/main/mls2seq.ml
similarity index 100%
rename from minils/main/mls2seq.ml
rename to compiler/minils/main/mls2seq.ml
diff --git a/minils/main/mls_compiler.ml b/compiler/minils/main/mls_compiler.ml
similarity index 100%
rename from minils/main/mls_compiler.ml
rename to compiler/minils/main/mls_compiler.ml
diff --git a/minils/main/mlsc.ml b/compiler/minils/main/mlsc.ml
similarity index 100%
rename from minils/main/mlsc.ml
rename to compiler/minils/main/mlsc.ml
diff --git a/minils/minils.ml b/compiler/minils/minils.ml
similarity index 100%
rename from minils/minils.ml
rename to compiler/minils/minils.ml
diff --git a/minils/minils_printer.ml b/compiler/minils/minils_printer.ml
similarity index 100%
rename from minils/minils_printer.ml
rename to compiler/minils/minils_printer.ml
diff --git a/minils/sequential/c.ml b/compiler/minils/sequential/c.ml
similarity index 100%
rename from minils/sequential/c.ml
rename to compiler/minils/sequential/c.ml
diff --git a/minils/sequential/c.mli b/compiler/minils/sequential/c.mli
similarity index 100%
rename from minils/sequential/c.mli
rename to compiler/minils/sequential/c.mli
diff --git a/minils/sequential/cgen.ml b/compiler/minils/sequential/cgen.ml
similarity index 100%
rename from minils/sequential/cgen.ml
rename to compiler/minils/sequential/cgen.ml
diff --git a/minils/sequential/control.ml b/compiler/minils/sequential/control.ml
similarity index 100%
rename from minils/sequential/control.ml
rename to compiler/minils/sequential/control.ml
diff --git a/minils/sequential/csubst.ml b/compiler/minils/sequential/csubst.ml
similarity index 100%
rename from minils/sequential/csubst.ml
rename to compiler/minils/sequential/csubst.ml
diff --git a/minils/sequential/java.ml b/compiler/minils/sequential/java.ml
similarity index 100%
rename from minils/sequential/java.ml
rename to compiler/minils/sequential/java.ml
diff --git a/minils/sequential/mls2obc.ml b/compiler/minils/sequential/mls2obc.ml
similarity index 100%
rename from minils/sequential/mls2obc.ml
rename to compiler/minils/sequential/mls2obc.ml
diff --git a/minils/sequential/obc.ml b/compiler/minils/sequential/obc.ml
similarity index 100%
rename from minils/sequential/obc.ml
rename to compiler/minils/sequential/obc.ml
diff --git a/minils/transformations/callgraph.ml b/compiler/minils/transformations/callgraph.ml
similarity index 100%
rename from minils/transformations/callgraph.ml
rename to compiler/minils/transformations/callgraph.ml
diff --git a/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml
similarity index 100%
rename from minils/transformations/normalize.ml
rename to compiler/minils/transformations/normalize.ml
diff --git a/minils/transformations/schedule.ml b/compiler/minils/transformations/schedule.ml
similarity index 100%
rename from minils/transformations/schedule.ml
rename to compiler/minils/transformations/schedule.ml
diff --git a/myocamlbuild.ml b/compiler/myocamlbuild.ml
similarity index 100%
rename from myocamlbuild.ml
rename to compiler/myocamlbuild.ml
diff --git a/preproc.ml b/compiler/preproc.ml
similarity index 100%
rename from preproc.ml
rename to compiler/preproc.ml
diff --git a/utilities/_tags b/compiler/utilities/_tags
similarity index 100%
rename from utilities/_tags
rename to compiler/utilities/_tags
diff --git a/utilities/global/compiler_utils.ml b/compiler/utilities/global/compiler_utils.ml
similarity index 100%
rename from utilities/global/compiler_utils.ml
rename to compiler/utilities/global/compiler_utils.ml
diff --git a/utilities/global/dep.ml b/compiler/utilities/global/dep.ml
similarity index 100%
rename from utilities/global/dep.ml
rename to compiler/utilities/global/dep.ml
diff --git a/utilities/graph.ml b/compiler/utilities/graph.ml
similarity index 100%
rename from utilities/graph.ml
rename to compiler/utilities/graph.ml
diff --git a/utilities/misc.ml b/compiler/utilities/misc.ml
similarity index 100%
rename from utilities/misc.ml
rename to compiler/utilities/misc.ml
diff --git a/utilities/misc.mli b/compiler/utilities/misc.mli
similarity index 100%
rename from utilities/misc.mli
rename to compiler/utilities/misc.mli
diff --git a/utilities/pp_tools.ml b/compiler/utilities/pp_tools.ml
similarity index 100%
rename from utilities/pp_tools.ml
rename to compiler/utilities/pp_tools.ml