From 60a3ad15f82c524942a0a8359f1ac220156cd334 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Mon, 21 Jun 2010 11:58:57 +0200 Subject: [PATCH] move to subfolder compiler. --- Makefile => compiler/Makefile | 0 _tags => compiler/_tags | 0 {global => compiler/global}/ident.ml | 0 {global => compiler/global}/ident.mli | 0 {global => compiler/global}/initial.ml | 0 {global => compiler/global}/location.ml | 0 {global => compiler/global}/modules.ml | 0 {global => compiler/global}/names.ml | 0 {global => compiler/global}/signature.ml | 0 {global => compiler/global}/static.ml | 0 {global => compiler/global}/types.ml | 0 {heptagon => compiler/heptagon}/_tags | 0 {heptagon => compiler/heptagon}/analysis/causal.ml | 0 {heptagon => compiler/heptagon}/analysis/causality.ml | 0 {heptagon => compiler/heptagon}/analysis/initialization.ml | 0 {heptagon => compiler/heptagon}/analysis/interface.ml | 0 {heptagon => compiler/heptagon}/analysis/typing.ml | 0 {heptagon => compiler/heptagon}/heptagon.ml | 0 {heptagon => compiler/heptagon}/main/compiler.ml | 0 {heptagon => compiler/heptagon}/main/hept_compiler.ml | 0 {heptagon => compiler/heptagon}/main/heptcheck.ml | 0 {heptagon => compiler/heptagon}/parsing/lexer.mll | 0 {heptagon => compiler/heptagon}/parsing/parser.mly | 0 {heptagon => compiler/heptagon}/parsing/parsetree.ml | 0 {heptagon => compiler/heptagon}/parsing/scoping.ml | 0 {heptagon => compiler/heptagon}/printer.ml | 0 {heptagon => compiler/heptagon}/transformations/automata.ml | 0 {heptagon => compiler/heptagon}/transformations/completion.ml | 0 {heptagon => compiler/heptagon}/transformations/every.ml | 0 {heptagon => compiler/heptagon}/transformations/last.ml | 0 {heptagon => compiler/heptagon}/transformations/present.ml | 0 {heptagon => compiler/heptagon}/transformations/reset.ml | 0 {main => compiler/main}/hept2mls.ml | 0 {main => compiler/main}/heptc.ml | 0 {minils => compiler/minils}/_tags | 0 {minils => compiler/minils}/analysis/clocking.ml | 0 {minils => compiler/minils}/analysis/init.ml | 0 {minils => compiler/minils}/main/mls2seq.ml | 0 {minils => compiler/minils}/main/mls_compiler.ml | 0 {minils => compiler/minils}/main/mlsc.ml | 0 {minils => compiler/minils}/minils.ml | 0 {minils => compiler/minils}/minils_printer.ml | 0 {minils => compiler/minils}/sequential/c.ml | 0 {minils => compiler/minils}/sequential/c.mli | 0 {minils => compiler/minils}/sequential/cgen.ml | 0 {minils => compiler/minils}/sequential/control.ml | 0 {minils => compiler/minils}/sequential/csubst.ml | 0 {minils => compiler/minils}/sequential/java.ml | 0 {minils => compiler/minils}/sequential/mls2obc.ml | 0 {minils => compiler/minils}/sequential/obc.ml | 0 {minils => compiler/minils}/transformations/callgraph.ml | 0 {minils => compiler/minils}/transformations/normalize.ml | 0 {minils => compiler/minils}/transformations/schedule.ml | 0 myocamlbuild.ml => compiler/myocamlbuild.ml | 0 preproc.ml => compiler/preproc.ml | 0 {utilities => compiler/utilities}/_tags | 0 {utilities => compiler/utilities}/global/compiler_utils.ml | 0 {utilities => compiler/utilities}/global/dep.ml | 0 {utilities => compiler/utilities}/graph.ml | 0 {utilities => compiler/utilities}/misc.ml | 0 {utilities => compiler/utilities}/misc.mli | 0 {utilities => compiler/utilities}/pp_tools.ml | 0 62 files changed, 0 insertions(+), 0 deletions(-) rename Makefile => compiler/Makefile (100%) rename _tags => compiler/_tags (100%) rename {global => compiler/global}/ident.ml (100%) rename {global => compiler/global}/ident.mli (100%) rename {global => compiler/global}/initial.ml (100%) rename {global => compiler/global}/location.ml (100%) rename {global => compiler/global}/modules.ml (100%) rename {global => compiler/global}/names.ml (100%) rename {global => compiler/global}/signature.ml (100%) rename {global => compiler/global}/static.ml (100%) rename {global => compiler/global}/types.ml (100%) rename {heptagon => compiler/heptagon}/_tags (100%) rename {heptagon => compiler/heptagon}/analysis/causal.ml (100%) rename {heptagon => compiler/heptagon}/analysis/causality.ml (100%) rename {heptagon => compiler/heptagon}/analysis/initialization.ml (100%) rename {heptagon => compiler/heptagon}/analysis/interface.ml (100%) rename {heptagon => compiler/heptagon}/analysis/typing.ml (100%) rename {heptagon => compiler/heptagon}/heptagon.ml (100%) rename {heptagon => compiler/heptagon}/main/compiler.ml (100%) rename {heptagon => compiler/heptagon}/main/hept_compiler.ml (100%) rename {heptagon => compiler/heptagon}/main/heptcheck.ml (100%) rename {heptagon => compiler/heptagon}/parsing/lexer.mll (100%) rename {heptagon => compiler/heptagon}/parsing/parser.mly (100%) rename {heptagon => compiler/heptagon}/parsing/parsetree.ml (100%) rename {heptagon => compiler/heptagon}/parsing/scoping.ml (100%) rename {heptagon => compiler/heptagon}/printer.ml (100%) rename {heptagon => compiler/heptagon}/transformations/automata.ml (100%) rename {heptagon => compiler/heptagon}/transformations/completion.ml (100%) rename {heptagon => compiler/heptagon}/transformations/every.ml (100%) rename {heptagon => compiler/heptagon}/transformations/last.ml (100%) rename {heptagon => compiler/heptagon}/transformations/present.ml (100%) rename {heptagon => compiler/heptagon}/transformations/reset.ml (100%) rename {main => compiler/main}/hept2mls.ml (100%) rename {main => compiler/main}/heptc.ml (100%) rename {minils => compiler/minils}/_tags (100%) rename {minils => compiler/minils}/analysis/clocking.ml (100%) rename {minils => compiler/minils}/analysis/init.ml (100%) rename {minils => compiler/minils}/main/mls2seq.ml (100%) rename {minils => compiler/minils}/main/mls_compiler.ml (100%) rename {minils => compiler/minils}/main/mlsc.ml (100%) rename {minils => compiler/minils}/minils.ml (100%) rename {minils => compiler/minils}/minils_printer.ml (100%) rename {minils => compiler/minils}/sequential/c.ml (100%) rename {minils => compiler/minils}/sequential/c.mli (100%) rename {minils => compiler/minils}/sequential/cgen.ml (100%) rename {minils => compiler/minils}/sequential/control.ml (100%) rename {minils => compiler/minils}/sequential/csubst.ml (100%) rename {minils => compiler/minils}/sequential/java.ml (100%) rename {minils => compiler/minils}/sequential/mls2obc.ml (100%) rename {minils => compiler/minils}/sequential/obc.ml (100%) rename {minils => compiler/minils}/transformations/callgraph.ml (100%) rename {minils => compiler/minils}/transformations/normalize.ml (100%) rename {minils => compiler/minils}/transformations/schedule.ml (100%) rename myocamlbuild.ml => compiler/myocamlbuild.ml (100%) rename preproc.ml => compiler/preproc.ml (100%) rename {utilities => compiler/utilities}/_tags (100%) rename {utilities => compiler/utilities}/global/compiler_utils.ml (100%) rename {utilities => compiler/utilities}/global/dep.ml (100%) rename {utilities => compiler/utilities}/graph.ml (100%) rename {utilities => compiler/utilities}/misc.ml (100%) rename {utilities => compiler/utilities}/misc.mli (100%) rename {utilities => compiler/utilities}/pp_tools.ml (100%) 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