diff --git a/src/operators/dune b/src/passes/operators/dune similarity index 100% rename from src/operators/dune rename to src/passes/operators/dune diff --git a/src/operators/helpers.ml b/src/passes/operators/helpers.ml similarity index 100% rename from src/operators/helpers.ml rename to src/passes/operators/helpers.ml diff --git a/src/operators/operators.ml b/src/passes/operators/operators.ml similarity index 100% rename from src/operators/operators.ml rename to src/passes/operators/operators.ml diff --git a/src/parser/camligo/.gitignore b/src/passes/parser/camligo/.gitignore similarity index 100% rename from src/parser/camligo/.gitignore rename to src/passes/parser/camligo/.gitignore diff --git a/src/parser/camligo/ast.ml b/src/passes/parser/camligo/ast.ml similarity index 100% rename from src/parser/camligo/ast.ml rename to src/passes/parser/camligo/ast.ml diff --git a/src/parser/camligo/dune b/src/passes/parser/camligo/dune similarity index 100% rename from src/parser/camligo/dune rename to src/passes/parser/camligo/dune diff --git a/src/parser/camligo/generator.ml b/src/passes/parser/camligo/generator.ml similarity index 100% rename from src/parser/camligo/generator.ml rename to src/passes/parser/camligo/generator.ml diff --git a/src/parser/camligo/lex/dune b/src/passes/parser/camligo/lex/dune similarity index 100% rename from src/parser/camligo/lex/dune rename to src/passes/parser/camligo/lex/dune diff --git a/src/parser/camligo/lex/generator.ml b/src/passes/parser/camligo/lex/generator.ml similarity index 100% rename from src/parser/camligo/lex/generator.ml rename to src/passes/parser/camligo/lex/generator.ml diff --git a/src/parser/camligo/location.ml b/src/passes/parser/camligo/location.ml similarity index 100% rename from src/parser/camligo/location.ml rename to src/passes/parser/camligo/location.ml diff --git a/src/parser/camligo/parser_camligo.ml b/src/passes/parser/camligo/parser_camligo.ml similarity index 100% rename from src/parser/camligo/parser_camligo.ml rename to src/passes/parser/camligo/parser_camligo.ml diff --git a/src/parser/camligo/pre_parser.mly b/src/passes/parser/camligo/pre_parser.mly similarity index 100% rename from src/parser/camligo/pre_parser.mly rename to src/passes/parser/camligo/pre_parser.mly diff --git a/src/parser/camligo/user.ml b/src/passes/parser/camligo/user.ml similarity index 100% rename from src/parser/camligo/user.ml rename to src/passes/parser/camligo/user.ml diff --git a/src/parser/dune b/src/passes/parser/dune similarity index 100% rename from src/parser/dune rename to src/passes/parser/dune diff --git a/src/parser/generator/doc/essai.ml b/src/passes/parser/generator/doc/essai.ml similarity index 100% rename from src/parser/generator/doc/essai.ml rename to src/passes/parser/generator/doc/essai.ml diff --git a/src/parser/generator/doc/mini_ml.bnf b/src/passes/parser/generator/doc/mini_ml.bnf similarity index 100% rename from src/parser/generator/doc/mini_ml.bnf rename to src/passes/parser/generator/doc/mini_ml.bnf diff --git a/src/parser/generator/doc/mini_ml2.bnf b/src/passes/parser/generator/doc/mini_ml2.bnf similarity index 100% rename from src/parser/generator/doc/mini_ml2.bnf rename to src/passes/parser/generator/doc/mini_ml2.bnf diff --git a/src/parser/generator/doc/mini_ml3.bnf b/src/passes/parser/generator/doc/mini_ml3.bnf similarity index 100% rename from src/parser/generator/doc/mini_ml3.bnf rename to src/passes/parser/generator/doc/mini_ml3.bnf diff --git a/src/parser/generator/doc/mini_ml4.bnf b/src/passes/parser/generator/doc/mini_ml4.bnf similarity index 100% rename from src/parser/generator/doc/mini_ml4.bnf rename to src/passes/parser/generator/doc/mini_ml4.bnf diff --git a/src/parser/ligodity.ml b/src/passes/parser/ligodity.ml similarity index 100% rename from src/parser/ligodity.ml rename to src/passes/parser/ligodity.ml diff --git a/src/parser/ligodity/.AST.ml.tag b/src/passes/parser/ligodity/.AST.ml.tag similarity index 100% rename from src/parser/ligodity/.AST.ml.tag rename to src/passes/parser/ligodity/.AST.ml.tag diff --git a/src/parser/ligodity/.Eval.ml.tag b/src/passes/parser/ligodity/.Eval.ml.tag similarity index 100% rename from src/parser/ligodity/.Eval.ml.tag rename to src/passes/parser/ligodity/.Eval.ml.tag diff --git a/src/parser/ligodity/.EvalMain.ml.tag b/src/passes/parser/ligodity/.EvalMain.ml.tag similarity index 100% rename from src/parser/ligodity/.EvalMain.ml.tag rename to src/passes/parser/ligodity/.EvalMain.ml.tag diff --git a/src/parser/ligodity/.Lexer.ml.tag b/src/passes/parser/ligodity/.Lexer.ml.tag similarity index 100% rename from src/parser/ligodity/.Lexer.ml.tag rename to src/passes/parser/ligodity/.Lexer.ml.tag diff --git a/src/parser/ligodity/.LexerMain.tag b/src/passes/parser/ligodity/.LexerMain.tag similarity index 100% rename from src/parser/ligodity/.LexerMain.tag rename to src/passes/parser/ligodity/.LexerMain.tag diff --git a/src/parser/ligodity/.Parser.ml.tag b/src/passes/parser/ligodity/.Parser.ml.tag similarity index 100% rename from src/parser/ligodity/.Parser.ml.tag rename to src/passes/parser/ligodity/.Parser.ml.tag diff --git a/src/parser/ligodity/.Parser.mly.tag b/src/passes/parser/ligodity/.Parser.mly.tag similarity index 100% rename from src/parser/ligodity/.Parser.mly.tag rename to src/passes/parser/ligodity/.Parser.mly.tag diff --git a/src/parser/ligodity/.ParserMain.tag b/src/passes/parser/ligodity/.ParserMain.tag similarity index 100% rename from src/parser/ligodity/.ParserMain.tag rename to src/passes/parser/ligodity/.ParserMain.tag diff --git a/src/parser/ligodity/.links b/src/passes/parser/ligodity/.links similarity index 100% rename from src/parser/ligodity/.links rename to src/passes/parser/ligodity/.links diff --git a/src/parser/ligodity/AST.ml b/src/passes/parser/ligodity/AST.ml similarity index 100% rename from src/parser/ligodity/AST.ml rename to src/passes/parser/ligodity/AST.ml diff --git a/src/parser/ligodity/AST.mli b/src/passes/parser/ligodity/AST.mli similarity index 100% rename from src/parser/ligodity/AST.mli rename to src/passes/parser/ligodity/AST.mli diff --git a/src/parser/ligodity/EvalOpt.ml b/src/passes/parser/ligodity/EvalOpt.ml similarity index 100% rename from src/parser/ligodity/EvalOpt.ml rename to src/passes/parser/ligodity/EvalOpt.ml diff --git a/src/parser/ligodity/EvalOpt.mli b/src/passes/parser/ligodity/EvalOpt.mli similarity index 100% rename from src/parser/ligodity/EvalOpt.mli rename to src/passes/parser/ligodity/EvalOpt.mli diff --git a/src/parser/ligodity/Lexer.mli b/src/passes/parser/ligodity/Lexer.mli similarity index 100% rename from src/parser/ligodity/Lexer.mli rename to src/passes/parser/ligodity/Lexer.mli diff --git a/src/parser/ligodity/Lexer.mll b/src/passes/parser/ligodity/Lexer.mll similarity index 100% rename from src/parser/ligodity/Lexer.mll rename to src/passes/parser/ligodity/Lexer.mll diff --git a/src/parser/ligodity/LexerMain.ml b/src/passes/parser/ligodity/LexerMain.ml similarity index 100% rename from src/parser/ligodity/LexerMain.ml rename to src/passes/parser/ligodity/LexerMain.ml diff --git a/src/parser/ligodity/ParToken.mly b/src/passes/parser/ligodity/ParToken.mly similarity index 100% rename from src/parser/ligodity/ParToken.mly rename to src/passes/parser/ligodity/ParToken.mly diff --git a/src/parser/ligodity/Parser.mly b/src/passes/parser/ligodity/Parser.mly similarity index 100% rename from src/parser/ligodity/Parser.mly rename to src/passes/parser/ligodity/Parser.mly diff --git a/src/parser/ligodity/ParserMain.ml b/src/passes/parser/ligodity/ParserMain.ml similarity index 100% rename from src/parser/ligodity/ParserMain.ml rename to src/passes/parser/ligodity/ParserMain.ml diff --git a/src/parser/ligodity/Stubs/Simple_utils.ml b/src/passes/parser/ligodity/Stubs/Simple_utils.ml similarity index 100% rename from src/parser/ligodity/Stubs/Simple_utils.ml rename to src/passes/parser/ligodity/Stubs/Simple_utils.ml diff --git a/src/parser/ligodity/Tests/match.mml b/src/passes/parser/ligodity/Tests/match.mml similarity index 100% rename from src/parser/ligodity/Tests/match.mml rename to src/passes/parser/ligodity/Tests/match.mml diff --git a/src/parser/ligodity/Token.ml b/src/passes/parser/ligodity/Token.ml similarity index 100% rename from src/parser/ligodity/Token.ml rename to src/passes/parser/ligodity/Token.ml diff --git a/src/parser/ligodity/Token.mli b/src/passes/parser/ligodity/Token.mli similarity index 100% rename from src/parser/ligodity/Token.mli rename to src/passes/parser/ligodity/Token.mli diff --git a/src/parser/ligodity/Utils.ml b/src/passes/parser/ligodity/Utils.ml similarity index 100% rename from src/parser/ligodity/Utils.ml rename to src/passes/parser/ligodity/Utils.ml diff --git a/src/parser/ligodity/Utils.mli b/src/passes/parser/ligodity/Utils.mli similarity index 100% rename from src/parser/ligodity/Utils.mli rename to src/passes/parser/ligodity/Utils.mli diff --git a/src/parser/ligodity/check_dot_git_is_dir.sh b/src/passes/parser/ligodity/check_dot_git_is_dir.sh similarity index 100% rename from src/parser/ligodity/check_dot_git_is_dir.sh rename to src/passes/parser/ligodity/check_dot_git_is_dir.sh diff --git a/src/parser/ligodity/dune b/src/passes/parser/ligodity/dune similarity index 100% rename from src/parser/ligodity/dune rename to src/passes/parser/ligodity/dune diff --git a/src/parser/ligodity/ligodity.ml b/src/passes/parser/ligodity/ligodity.ml similarity index 100% rename from src/parser/ligodity/ligodity.ml rename to src/passes/parser/ligodity/ligodity.ml diff --git a/src/parser/parser.ml b/src/passes/parser/parser.ml similarity index 100% rename from src/parser/parser.ml rename to src/passes/parser/parser.ml diff --git a/src/parser/pascaligo.ml b/src/passes/parser/pascaligo.ml similarity index 100% rename from src/parser/pascaligo.ml rename to src/passes/parser/pascaligo.ml diff --git a/src/parser/pascaligo/.Lexer.ml.tag b/src/passes/parser/pascaligo/.Lexer.ml.tag similarity index 100% rename from src/parser/pascaligo/.Lexer.ml.tag rename to src/passes/parser/pascaligo/.Lexer.ml.tag diff --git a/src/parser/pascaligo/.LexerMain.tag b/src/passes/parser/pascaligo/.LexerMain.tag similarity index 100% rename from src/parser/pascaligo/.LexerMain.tag rename to src/passes/parser/pascaligo/.LexerMain.tag diff --git a/src/parser/pascaligo/.Parser.mly.tag b/src/passes/parser/pascaligo/.Parser.mly.tag similarity index 100% rename from src/parser/pascaligo/.Parser.mly.tag rename to src/passes/parser/pascaligo/.Parser.mly.tag diff --git a/src/parser/pascaligo/.ParserMain.tag b/src/passes/parser/pascaligo/.ParserMain.tag similarity index 100% rename from src/parser/pascaligo/.ParserMain.tag rename to src/passes/parser/pascaligo/.ParserMain.tag diff --git a/src/parser/pascaligo/.gitignore b/src/passes/parser/pascaligo/.gitignore similarity index 100% rename from src/parser/pascaligo/.gitignore rename to src/passes/parser/pascaligo/.gitignore diff --git a/src/parser/pascaligo/.links b/src/passes/parser/pascaligo/.links similarity index 100% rename from src/parser/pascaligo/.links rename to src/passes/parser/pascaligo/.links diff --git a/src/parser/pascaligo/AST.ml b/src/passes/parser/pascaligo/AST.ml similarity index 100% rename from src/parser/pascaligo/AST.ml rename to src/passes/parser/pascaligo/AST.ml diff --git a/src/parser/pascaligo/AST.mli b/src/passes/parser/pascaligo/AST.mli similarity index 100% rename from src/parser/pascaligo/AST.mli rename to src/passes/parser/pascaligo/AST.mli diff --git a/src/parser/pascaligo/Doc/pascaligo.txt b/src/passes/parser/pascaligo/Doc/pascaligo.txt similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo.txt rename to src/passes/parser/pascaligo/Doc/pascaligo.txt diff --git a/src/parser/pascaligo/Doc/pascaligo_01.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_01.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_01.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_01.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_02.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_02.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_02.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_02.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_03.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_03.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_03.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_03.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_04.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_04.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_04.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_04.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_05.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_05.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_05.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_05.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_06.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_06.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_06.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_06.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_07.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_07.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_07.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_07.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_08.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_08.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_08.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_08.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_09.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_09.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_09.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_09.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_10.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_10.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_10.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_10.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_11.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_11.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_11.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_11.bnf diff --git a/src/parser/pascaligo/Doc/pascaligo_12.bnf b/src/passes/parser/pascaligo/Doc/pascaligo_12.bnf similarity index 100% rename from src/parser/pascaligo/Doc/pascaligo_12.bnf rename to src/passes/parser/pascaligo/Doc/pascaligo_12.bnf diff --git a/src/parser/pascaligo/LexToken.mli b/src/passes/parser/pascaligo/LexToken.mli similarity index 100% rename from src/parser/pascaligo/LexToken.mli rename to src/passes/parser/pascaligo/LexToken.mli diff --git a/src/parser/pascaligo/LexToken.mll b/src/passes/parser/pascaligo/LexToken.mll similarity index 100% rename from src/parser/pascaligo/LexToken.mll rename to src/passes/parser/pascaligo/LexToken.mll diff --git a/src/parser/pascaligo/LexerMain.ml b/src/passes/parser/pascaligo/LexerMain.ml similarity index 100% rename from src/parser/pascaligo/LexerMain.ml rename to src/passes/parser/pascaligo/LexerMain.ml diff --git a/src/parser/pascaligo/ParToken.mly b/src/passes/parser/pascaligo/ParToken.mly similarity index 100% rename from src/parser/pascaligo/ParToken.mly rename to src/passes/parser/pascaligo/ParToken.mly diff --git a/src/parser/pascaligo/Parser.mly b/src/passes/parser/pascaligo/Parser.mly similarity index 100% rename from src/parser/pascaligo/Parser.mly rename to src/passes/parser/pascaligo/Parser.mly diff --git a/src/parser/pascaligo/ParserLog.ml b/src/passes/parser/pascaligo/ParserLog.ml similarity index 100% rename from src/parser/pascaligo/ParserLog.ml rename to src/passes/parser/pascaligo/ParserLog.ml diff --git a/src/parser/pascaligo/ParserLog.mli b/src/passes/parser/pascaligo/ParserLog.mli similarity index 100% rename from src/parser/pascaligo/ParserLog.mli rename to src/passes/parser/pascaligo/ParserLog.mli diff --git a/src/parser/pascaligo/ParserMain.ml b/src/passes/parser/pascaligo/ParserMain.ml similarity index 100% rename from src/parser/pascaligo/ParserMain.ml rename to src/passes/parser/pascaligo/ParserMain.ml diff --git a/src/parser/pascaligo/Stubs/Simple_utils.ml b/src/passes/parser/pascaligo/Stubs/Simple_utils.ml similarity index 100% rename from src/parser/pascaligo/Stubs/Simple_utils.ml rename to src/passes/parser/pascaligo/Stubs/Simple_utils.ml diff --git a/src/parser/pascaligo/Tests/a.ligo b/src/passes/parser/pascaligo/Tests/a.ligo similarity index 100% rename from src/parser/pascaligo/Tests/a.ligo rename to src/passes/parser/pascaligo/Tests/a.ligo diff --git a/src/parser/pascaligo/Tests/crowdfunding.ligo b/src/passes/parser/pascaligo/Tests/crowdfunding.ligo similarity index 100% rename from src/parser/pascaligo/Tests/crowdfunding.ligo rename to src/passes/parser/pascaligo/Tests/crowdfunding.ligo diff --git a/src/parser/pascaligo/check_dot_git_is_dir.sh b/src/passes/parser/pascaligo/check_dot_git_is_dir.sh similarity index 100% rename from src/parser/pascaligo/check_dot_git_is_dir.sh rename to src/passes/parser/pascaligo/check_dot_git_is_dir.sh diff --git a/src/parser/pascaligo/dune b/src/passes/parser/pascaligo/dune similarity index 100% rename from src/parser/pascaligo/dune rename to src/passes/parser/pascaligo/dune diff --git a/src/parser/pascaligo/pascaligo.ml b/src/passes/parser/pascaligo/pascaligo.ml similarity index 100% rename from src/parser/pascaligo/pascaligo.ml rename to src/passes/parser/pascaligo/pascaligo.ml diff --git a/src/parser/shared/.links b/src/passes/parser/shared/.links similarity index 100% rename from src/parser/shared/.links rename to src/passes/parser/shared/.links diff --git a/src/parser/shared/Doc/shared.txt b/src/passes/parser/shared/Doc/shared.txt similarity index 100% rename from src/parser/shared/Doc/shared.txt rename to src/passes/parser/shared/Doc/shared.txt diff --git a/src/parser/shared/Error.mli b/src/passes/parser/shared/Error.mli similarity index 100% rename from src/parser/shared/Error.mli rename to src/passes/parser/shared/Error.mli diff --git a/src/parser/shared/EvalOpt.ml b/src/passes/parser/shared/EvalOpt.ml similarity index 100% rename from src/parser/shared/EvalOpt.ml rename to src/passes/parser/shared/EvalOpt.ml diff --git a/src/parser/shared/EvalOpt.mli b/src/passes/parser/shared/EvalOpt.mli similarity index 100% rename from src/parser/shared/EvalOpt.mli rename to src/passes/parser/shared/EvalOpt.mli diff --git a/src/parser/shared/FQueue.ml b/src/passes/parser/shared/FQueue.ml similarity index 100% rename from src/parser/shared/FQueue.ml rename to src/passes/parser/shared/FQueue.ml diff --git a/src/parser/shared/FQueue.mli b/src/passes/parser/shared/FQueue.mli similarity index 100% rename from src/parser/shared/FQueue.mli rename to src/passes/parser/shared/FQueue.mli diff --git a/src/parser/shared/Lexer.mli b/src/passes/parser/shared/Lexer.mli similarity index 100% rename from src/parser/shared/Lexer.mli rename to src/passes/parser/shared/Lexer.mli diff --git a/src/parser/shared/Lexer.mll b/src/passes/parser/shared/Lexer.mll similarity index 100% rename from src/parser/shared/Lexer.mll rename to src/passes/parser/shared/Lexer.mll diff --git a/src/parser/shared/LexerLog.ml b/src/passes/parser/shared/LexerLog.ml similarity index 100% rename from src/parser/shared/LexerLog.ml rename to src/passes/parser/shared/LexerLog.ml diff --git a/src/parser/shared/LexerLog.mli b/src/passes/parser/shared/LexerLog.mli similarity index 100% rename from src/parser/shared/LexerLog.mli rename to src/passes/parser/shared/LexerLog.mli diff --git a/src/parser/shared/Markup.ml b/src/passes/parser/shared/Markup.ml similarity index 100% rename from src/parser/shared/Markup.ml rename to src/passes/parser/shared/Markup.ml diff --git a/src/parser/shared/Markup.mli b/src/passes/parser/shared/Markup.mli similarity index 100% rename from src/parser/shared/Markup.mli rename to src/passes/parser/shared/Markup.mli diff --git a/src/parser/shared/Utils.ml b/src/passes/parser/shared/Utils.ml similarity index 100% rename from src/parser/shared/Utils.ml rename to src/passes/parser/shared/Utils.ml diff --git a/src/parser/shared/Utils.mli b/src/passes/parser/shared/Utils.mli similarity index 100% rename from src/parser/shared/Utils.mli rename to src/passes/parser/shared/Utils.mli diff --git a/src/parser/shared/dune b/src/passes/parser/shared/dune similarity index 100% rename from src/parser/shared/dune rename to src/passes/parser/shared/dune diff --git a/src/simplify/camligo.ml.old b/src/passes/simplify/camligo.ml.old similarity index 100% rename from src/simplify/camligo.ml.old rename to src/passes/simplify/camligo.ml.old diff --git a/src/simplify/dune b/src/passes/simplify/dune similarity index 100% rename from src/simplify/dune rename to src/passes/simplify/dune diff --git a/src/simplify/ligodity.ml b/src/passes/simplify/ligodity.ml similarity index 100% rename from src/simplify/ligodity.ml rename to src/passes/simplify/ligodity.ml diff --git a/src/simplify/pascaligo.ml b/src/passes/simplify/pascaligo.ml similarity index 100% rename from src/simplify/pascaligo.ml rename to src/passes/simplify/pascaligo.ml diff --git a/src/simplify/simplify.ml b/src/passes/simplify/simplify.ml similarity index 100% rename from src/simplify/simplify.ml rename to src/passes/simplify/simplify.ml diff --git a/src/typer/dune b/src/passes/typer/dune similarity index 100% rename from src/typer/dune rename to src/passes/typer/dune diff --git a/src/typer/typer.ml b/src/passes/typer/typer.ml similarity index 100% rename from src/typer/typer.ml rename to src/passes/typer/typer.ml diff --git a/src/main/display.ml b/src/run/main/display.ml similarity index 100% rename from src/main/display.ml rename to src/run/main/display.ml diff --git a/src/main/dune b/src/run/main/dune similarity index 100% rename from src/main/dune rename to src/run/main/dune diff --git a/src/main/main.ml b/src/run/main/main.ml similarity index 100% rename from src/main/main.ml rename to src/run/main/main.ml diff --git a/src/main/run_mini_c.ml b/src/run/main/run_mini_c.ml similarity index 100% rename from src/main/run_mini_c.ml rename to src/run/main/run_mini_c.ml diff --git a/src/main/run_simplified.ml b/src/run/main/run_simplified.ml similarity index 100% rename from src/main/run_simplified.ml rename to src/run/main/run_simplified.ml diff --git a/src/main/run_source.ml b/src/run/main/run_source.ml similarity index 100% rename from src/main/run_source.ml rename to src/run/main/run_source.ml diff --git a/src/main/run_typed.ml b/src/run/main/run_typed.ml similarity index 100% rename from src/main/run_typed.ml rename to src/run/main/run_typed.ml diff --git a/src/ast_simplified/PP.ml b/src/stages/ast_simplified/PP.ml similarity index 100% rename from src/ast_simplified/PP.ml rename to src/stages/ast_simplified/PP.ml diff --git a/src/ast_simplified/ast_simplified.ml b/src/stages/ast_simplified/ast_simplified.ml similarity index 100% rename from src/ast_simplified/ast_simplified.ml rename to src/stages/ast_simplified/ast_simplified.ml diff --git a/src/ast_simplified/combinators.ml b/src/stages/ast_simplified/combinators.ml similarity index 100% rename from src/ast_simplified/combinators.ml rename to src/stages/ast_simplified/combinators.ml diff --git a/src/ast_simplified/dune b/src/stages/ast_simplified/dune similarity index 100% rename from src/ast_simplified/dune rename to src/stages/ast_simplified/dune diff --git a/src/ast_simplified/misc.ml b/src/stages/ast_simplified/misc.ml similarity index 100% rename from src/ast_simplified/misc.ml rename to src/stages/ast_simplified/misc.ml diff --git a/src/ast_simplified/types.ml b/src/stages/ast_simplified/types.ml similarity index 100% rename from src/ast_simplified/types.ml rename to src/stages/ast_simplified/types.ml diff --git a/src/ast_typed/PP.ml b/src/stages/ast_typed/PP.ml similarity index 100% rename from src/ast_typed/PP.ml rename to src/stages/ast_typed/PP.ml diff --git a/src/ast_typed/ast_typed.ml b/src/stages/ast_typed/ast_typed.ml similarity index 100% rename from src/ast_typed/ast_typed.ml rename to src/stages/ast_typed/ast_typed.ml diff --git a/src/ast_typed/combinators.ml b/src/stages/ast_typed/combinators.ml similarity index 100% rename from src/ast_typed/combinators.ml rename to src/stages/ast_typed/combinators.ml diff --git a/src/ast_typed/combinators_environment.ml b/src/stages/ast_typed/combinators_environment.ml similarity index 100% rename from src/ast_typed/combinators_environment.ml rename to src/stages/ast_typed/combinators_environment.ml diff --git a/src/ast_typed/dune b/src/stages/ast_typed/dune similarity index 100% rename from src/ast_typed/dune rename to src/stages/ast_typed/dune diff --git a/src/ast_typed/environment.ml b/src/stages/ast_typed/environment.ml similarity index 100% rename from src/ast_typed/environment.ml rename to src/stages/ast_typed/environment.ml diff --git a/src/ast_typed/misc.ml b/src/stages/ast_typed/misc.ml similarity index 100% rename from src/ast_typed/misc.ml rename to src/stages/ast_typed/misc.ml diff --git a/src/ast_typed/misc_smart.ml b/src/stages/ast_typed/misc_smart.ml similarity index 100% rename from src/ast_typed/misc_smart.ml rename to src/stages/ast_typed/misc_smart.ml diff --git a/src/ast_typed/types.ml b/src/stages/ast_typed/types.ml similarity index 100% rename from src/ast_typed/types.ml rename to src/stages/ast_typed/types.ml diff --git a/src/compiler/compiler.ml b/src/stages/compiler/compiler.ml similarity index 100% rename from src/compiler/compiler.ml rename to src/stages/compiler/compiler.ml diff --git a/src/compiler/compiler_environment.ml b/src/stages/compiler/compiler_environment.ml similarity index 100% rename from src/compiler/compiler_environment.ml rename to src/stages/compiler/compiler_environment.ml diff --git a/src/compiler/compiler_program.ml b/src/stages/compiler/compiler_program.ml similarity index 100% rename from src/compiler/compiler_program.ml rename to src/stages/compiler/compiler_program.ml diff --git a/src/compiler/compiler_type.ml b/src/stages/compiler/compiler_type.ml similarity index 100% rename from src/compiler/compiler_type.ml rename to src/stages/compiler/compiler_type.ml diff --git a/src/compiler/dune b/src/stages/compiler/dune similarity index 100% rename from src/compiler/dune rename to src/stages/compiler/dune diff --git a/src/compiler/uncompiler.ml b/src/stages/compiler/uncompiler.ml similarity index 100% rename from src/compiler/uncompiler.ml rename to src/stages/compiler/uncompiler.ml diff --git a/src/mini_c/PP.ml b/src/stages/mini_c/PP.ml similarity index 100% rename from src/mini_c/PP.ml rename to src/stages/mini_c/PP.ml diff --git a/src/mini_c/combinators.ml b/src/stages/mini_c/combinators.ml similarity index 100% rename from src/mini_c/combinators.ml rename to src/stages/mini_c/combinators.ml diff --git a/src/mini_c/combinators_smart.ml b/src/stages/mini_c/combinators_smart.ml similarity index 100% rename from src/mini_c/combinators_smart.ml rename to src/stages/mini_c/combinators_smart.ml diff --git a/src/mini_c/dune b/src/stages/mini_c/dune similarity index 100% rename from src/mini_c/dune rename to src/stages/mini_c/dune diff --git a/src/mini_c/environment.ml b/src/stages/mini_c/environment.ml similarity index 100% rename from src/mini_c/environment.ml rename to src/stages/mini_c/environment.ml diff --git a/src/mini_c/mini_c.ml b/src/stages/mini_c/mini_c.ml similarity index 100% rename from src/mini_c/mini_c.ml rename to src/stages/mini_c/mini_c.ml diff --git a/src/mini_c/types.ml b/src/stages/mini_c/types.ml similarity index 100% rename from src/mini_c/types.ml rename to src/stages/mini_c/types.ml diff --git a/src/transpiler/dune b/src/stages/transpiler/dune similarity index 100% rename from src/transpiler/dune rename to src/stages/transpiler/dune diff --git a/src/transpiler/transpiler.ml b/src/stages/transpiler/transpiler.ml similarity index 100% rename from src/transpiler/transpiler.ml rename to src/stages/transpiler/transpiler.ml diff --git a/src/test/.gitignore b/test/.gitignore similarity index 100% rename from src/test/.gitignore rename to test/.gitignore diff --git a/test/.merlin b/test/.merlin new file mode 100644 index 000000000..f2a72b2ea --- /dev/null +++ b/test/.merlin @@ -0,0 +1,187 @@ +EXCLUDE_QUERY_DIR +B /home/cc/Programming/ligo/_opam/lib/alcotest +B /home/cc/Programming/ligo/_opam/lib/astring +B /home/cc/Programming/ligo/_opam/lib/base/caml +B /home/cc/Programming/ligo/_opam/lib/bigarray-compat +B /home/cc/Programming/ligo/_opam/lib/bigstring +B /home/cc/Programming/ligo/_opam/lib/biniou +B /home/cc/Programming/ligo/_opam/lib/blake2 +B /home/cc/Programming/ligo/_opam/lib/bytes +B /home/cc/Programming/ligo/_opam/lib/cmdliner +B /home/cc/Programming/ligo/_opam/lib/cstruct +B /home/cc/Programming/ligo/_opam/lib/easy-format +B /home/cc/Programming/ligo/_opam/lib/ezjsonm +B /home/cc/Programming/ligo/_opam/lib/fmt +B /home/cc/Programming/ligo/_opam/lib/getopt +B /home/cc/Programming/ligo/_opam/lib/hacl +B /home/cc/Programming/ligo/_opam/lib/hex +B /home/cc/Programming/ligo/_opam/lib/ipaddr +B /home/cc/Programming/ligo/_opam/lib/ipaddr/unix +B /home/cc/Programming/ligo/_opam/lib/jsonm +B /home/cc/Programming/ligo/_opam/lib/lwt +B /home/cc/Programming/ligo/_opam/lib/lwt/unix +B /home/cc/Programming/ligo/_opam/lib/lwt_log +B /home/cc/Programming/ligo/_opam/lib/lwt_log/core +B /home/cc/Programming/ligo/_opam/lib/macaddr +B /home/cc/Programming/ligo/_opam/lib/mmap +B /home/cc/Programming/ligo/_opam/lib/mtime +B /home/cc/Programming/ligo/_opam/lib/mtime/os +B /home/cc/Programming/ligo/_opam/lib/ocaml +B /home/cc/Programming/ligo/_opam/lib/ocaml/threads +B /home/cc/Programming/ligo/_opam/lib/ocplib-endian +B /home/cc/Programming/ligo/_opam/lib/ocplib-json-typed +B /home/cc/Programming/ligo/_opam/lib/ocplib-json-typed-bson +B /home/cc/Programming/ligo/_opam/lib/ocplib-resto +B /home/cc/Programming/ligo/_opam/lib/ocplib-resto-directory +B /home/cc/Programming/ligo/_opam/lib/parsexp +B /home/cc/Programming/ligo/_opam/lib/ppx_deriving/runtime +B /home/cc/Programming/ligo/_opam/lib/ptime +B /home/cc/Programming/ligo/_opam/lib/ptime/os +B /home/cc/Programming/ligo/_opam/lib/re +B /home/cc/Programming/ligo/_opam/lib/re/posix +B /home/cc/Programming/ligo/_opam/lib/re/str +B /home/cc/Programming/ligo/_opam/lib/result +B /home/cc/Programming/ligo/_opam/lib/secp256k1 +B /home/cc/Programming/ligo/_opam/lib/seq +B /home/cc/Programming/ligo/_opam/lib/sexplib +B /home/cc/Programming/ligo/_opam/lib/sexplib0 +B /home/cc/Programming/ligo/_opam/lib/stdlib-shims +B /home/cc/Programming/ligo/_opam/lib/stringext +B /home/cc/Programming/ligo/_opam/lib/tezos-base +B /home/cc/Programming/ligo/_opam/lib/tezos-clic +B /home/cc/Programming/ligo/_opam/lib/tezos-crypto +B /home/cc/Programming/ligo/_opam/lib/tezos-data-encoding +B /home/cc/Programming/ligo/_opam/lib/tezos-error-monad +B /home/cc/Programming/ligo/_opam/lib/tezos-event-logging +B /home/cc/Programming/ligo/_opam/lib/tezos-micheline +B /home/cc/Programming/ligo/_opam/lib/tezos-protocol-environment +B /home/cc/Programming/ligo/_opam/lib/tezos-protocol-environment-sigs +B /home/cc/Programming/ligo/_opam/lib/tezos-rpc +B /home/cc/Programming/ligo/_opam/lib/tezos-stdlib +B /home/cc/Programming/ligo/_opam/lib/tezos-stdlib-unix +B /home/cc/Programming/ligo/_opam/lib/uchar +B /home/cc/Programming/ligo/_opam/lib/uecc +B /home/cc/Programming/ligo/_opam/lib/uri +B /home/cc/Programming/ligo/_opam/lib/uuidm +B /home/cc/Programming/ligo/_opam/lib/uutf +B /home/cc/Programming/ligo/_opam/lib/yojson +B /home/cc/Programming/ligo/_opam/lib/zarith +B ../../_build/default/src/.ligo.objs/byte +B ../../_build/default/src/ast_simplified/.ast_simplified.objs/byte +B ../../_build/default/src/ast_typed/.ast_typed.objs/byte +B ../../_build/default/src/compiler/.compiler.objs/byte +B ../../_build/default/src/mini_c/.mini_c.objs/byte +B ../../_build/default/src/operators/.operators.objs/byte +B ../../_build/default/src/parser/.parser.objs/byte +B ../../_build/default/src/parser/camligo/.parser_camligo.objs/byte +B ../../_build/default/src/parser/camligo/lex/.lex.objs/byte +B ../../_build/default/src/parser/ligodity/.parser_ligodity.objs/byte +B ../../_build/default/src/parser/pascaligo/.parser_pascaligo.objs/byte +B ../../_build/default/src/parser/shared/.parser_shared.objs/byte +B ../../_build/default/src/run/.run.objs/byte +B ../../_build/default/src/simplify/.simplify.objs/byte +B ../../_build/default/src/test/.test.eobjs/byte +B ../../_build/default/src/transpiler/.transpiler.objs/byte +B ../../_build/default/src/typer/.typer.objs/byte +B ../../_build/default/vendors/ligo-utils/memory-proto-alpha/.memory_proto_alpha.objs/byte +B ../../_build/default/vendors/ligo-utils/proto-alpha-utils/.proto_alpha_utils.objs/byte +B ../../_build/default/vendors/ligo-utils/simple-utils/.simple_utils.objs/byte +B ../../_build/default/vendors/ligo-utils/tezos-protocol-alpha-parameters/.tezos_protocol_alpha_parameters.objs/byte +B ../../_build/default/vendors/ligo-utils/tezos-protocol-alpha/.tezos_protocol_alpha.objs/byte +B ../../_build/default/vendors/ligo-utils/tezos-protocol-alpha/.tezos_protocol_environment_alpha.objs/byte +B ../../_build/default/vendors/ligo-utils/tezos-protocol-alpha/.tezos_raw_protocol_alpha.objs/byte +B ../../_build/default/vendors/ligo-utils/tezos-utils/.tezos_utils.objs/byte +B ../../_build/default/vendors/ligo-utils/tezos-utils/michelson-parser/.michelson_parser.objs/byte +S /home/cc/Programming/ligo/_opam/lib/alcotest +S /home/cc/Programming/ligo/_opam/lib/astring +S /home/cc/Programming/ligo/_opam/lib/base/caml +S /home/cc/Programming/ligo/_opam/lib/bigarray-compat +S /home/cc/Programming/ligo/_opam/lib/bigstring +S /home/cc/Programming/ligo/_opam/lib/biniou +S /home/cc/Programming/ligo/_opam/lib/blake2 +S /home/cc/Programming/ligo/_opam/lib/bytes +S /home/cc/Programming/ligo/_opam/lib/cmdliner +S /home/cc/Programming/ligo/_opam/lib/cstruct +S /home/cc/Programming/ligo/_opam/lib/easy-format +S /home/cc/Programming/ligo/_opam/lib/ezjsonm +S /home/cc/Programming/ligo/_opam/lib/fmt +S /home/cc/Programming/ligo/_opam/lib/getopt +S /home/cc/Programming/ligo/_opam/lib/hacl +S /home/cc/Programming/ligo/_opam/lib/hex +S /home/cc/Programming/ligo/_opam/lib/ipaddr +S /home/cc/Programming/ligo/_opam/lib/ipaddr/unix +S /home/cc/Programming/ligo/_opam/lib/jsonm +S /home/cc/Programming/ligo/_opam/lib/lwt +S /home/cc/Programming/ligo/_opam/lib/lwt/unix +S /home/cc/Programming/ligo/_opam/lib/lwt_log +S /home/cc/Programming/ligo/_opam/lib/lwt_log/core +S /home/cc/Programming/ligo/_opam/lib/macaddr +S /home/cc/Programming/ligo/_opam/lib/mmap +S /home/cc/Programming/ligo/_opam/lib/mtime +S /home/cc/Programming/ligo/_opam/lib/mtime/os +S /home/cc/Programming/ligo/_opam/lib/ocaml +S /home/cc/Programming/ligo/_opam/lib/ocaml/threads +S /home/cc/Programming/ligo/_opam/lib/ocplib-endian +S /home/cc/Programming/ligo/_opam/lib/ocplib-json-typed +S /home/cc/Programming/ligo/_opam/lib/ocplib-json-typed-bson +S /home/cc/Programming/ligo/_opam/lib/ocplib-resto +S /home/cc/Programming/ligo/_opam/lib/ocplib-resto-directory +S /home/cc/Programming/ligo/_opam/lib/parsexp +S /home/cc/Programming/ligo/_opam/lib/ppx_deriving/runtime +S /home/cc/Programming/ligo/_opam/lib/ptime +S /home/cc/Programming/ligo/_opam/lib/ptime/os +S /home/cc/Programming/ligo/_opam/lib/re +S /home/cc/Programming/ligo/_opam/lib/re/posix +S /home/cc/Programming/ligo/_opam/lib/re/str +S /home/cc/Programming/ligo/_opam/lib/result +S /home/cc/Programming/ligo/_opam/lib/secp256k1 +S /home/cc/Programming/ligo/_opam/lib/seq +S /home/cc/Programming/ligo/_opam/lib/sexplib +S /home/cc/Programming/ligo/_opam/lib/sexplib0 +S /home/cc/Programming/ligo/_opam/lib/stdlib-shims +S /home/cc/Programming/ligo/_opam/lib/stringext +S /home/cc/Programming/ligo/_opam/lib/tezos-base +S /home/cc/Programming/ligo/_opam/lib/tezos-clic +S /home/cc/Programming/ligo/_opam/lib/tezos-crypto +S /home/cc/Programming/ligo/_opam/lib/tezos-data-encoding +S /home/cc/Programming/ligo/_opam/lib/tezos-error-monad +S /home/cc/Programming/ligo/_opam/lib/tezos-event-logging +S /home/cc/Programming/ligo/_opam/lib/tezos-micheline +S /home/cc/Programming/ligo/_opam/lib/tezos-protocol-environment +S /home/cc/Programming/ligo/_opam/lib/tezos-protocol-environment-sigs +S /home/cc/Programming/ligo/_opam/lib/tezos-rpc +S /home/cc/Programming/ligo/_opam/lib/tezos-stdlib +S /home/cc/Programming/ligo/_opam/lib/tezos-stdlib-unix +S /home/cc/Programming/ligo/_opam/lib/uchar +S /home/cc/Programming/ligo/_opam/lib/uecc +S /home/cc/Programming/ligo/_opam/lib/uri +S /home/cc/Programming/ligo/_opam/lib/uuidm +S /home/cc/Programming/ligo/_opam/lib/uutf +S /home/cc/Programming/ligo/_opam/lib/yojson +S /home/cc/Programming/ligo/_opam/lib/zarith +S .. +S ../ast_simplified +S ../ast_typed +S ../compiler +S ../mini_c +S ../operators +S ../parser +S ../parser/camligo +S ../parser/camligo/lex +S ../parser/ligodity +S ../parser/pascaligo +S ../parser/shared +S ../run +S ../simplify +S . +S ../transpiler +S ../typer +S ../../vendors/ligo-utils/memory-proto-alpha +S ../../vendors/ligo-utils/proto-alpha-utils +S ../../vendors/ligo-utils/simple-utils +S ../../vendors/ligo-utils/tezos-protocol-alpha +S ../../vendors/ligo-utils/tezos-protocol-alpha-parameters +S ../../vendors/ligo-utils/tezos-utils +S ../../vendors/ligo-utils/tezos-utils/michelson-parser +FLG -ppx '/home/cc/Programming/ligo/_build/default/.ppx/0af9cc0ed9166d3107af7264d5703b53/ppx.exe --as-ppx' +FLG -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -w +1..62-4-9-44-40-42-48@39@33 -open Simple_utils diff --git a/src/test/bin_tests.ml b/test/bin_tests.ml similarity index 100% rename from src/test/bin_tests.ml rename to test/bin_tests.ml diff --git a/src/test/coase_tests.ml b/test/coase_tests.ml similarity index 100% rename from src/test/coase_tests.ml rename to test/coase_tests.ml diff --git a/src/test/compiler_tests.ml b/test/compiler_tests.ml similarity index 100% rename from src/test/compiler_tests.ml rename to test/compiler_tests.ml diff --git a/src/test/dune b/test/dune similarity index 100% rename from src/test/dune rename to test/dune diff --git a/src/test/heap_tests.ml b/test/heap_tests.ml similarity index 100% rename from src/test/heap_tests.ml rename to test/heap_tests.ml diff --git a/src/test/integration_tests.ml b/test/integration_tests.ml similarity index 100% rename from src/test/integration_tests.ml rename to test/integration_tests.ml diff --git a/src/test/manual_test.ml b/test/manual_test.ml similarity index 100% rename from src/test/manual_test.ml rename to test/manual_test.ml diff --git a/src/test/multifix_tests.ml b/test/multifix_tests.ml similarity index 100% rename from src/test/multifix_tests.ml rename to test/multifix_tests.ml diff --git a/src/test/test.ml b/test/test.ml similarity index 100% rename from src/test/test.ml rename to test/test.ml diff --git a/src/test/test_helpers.ml b/test/test_helpers.ml similarity index 100% rename from src/test/test_helpers.ml rename to test/test_helpers.ml diff --git a/src/test/transpiler_tests.ml b/test/transpiler_tests.ml similarity index 100% rename from src/test/transpiler_tests.ml rename to test/transpiler_tests.ml diff --git a/src/test/typer_tests.ml b/test/typer_tests.ml similarity index 100% rename from src/test/typer_tests.ml rename to test/typer_tests.ml diff --git a/src/test/vote_tests.ml b/test/vote_tests.ml similarity index 100% rename from src/test/vote_tests.ml rename to test/vote_tests.ml diff --git a/src/rope/rope.ml b/vendors/rope/rope.ml similarity index 100% rename from src/rope/rope.ml rename to vendors/rope/rope.ml diff --git a/src/rope/rope.mli b/vendors/rope/rope.mli similarity index 100% rename from src/rope/rope.mli rename to vendors/rope/rope.mli diff --git a/src/rope/rope_implementation.ml b/vendors/rope/rope_implementation.ml similarity index 100% rename from src/rope/rope_implementation.ml rename to vendors/rope/rope_implementation.ml diff --git a/src/rope/rope_implementation.mli b/vendors/rope/rope_implementation.mli similarity index 100% rename from src/rope/rope_implementation.mli rename to vendors/rope/rope_implementation.mli diff --git a/src/rope/rope_test.ml b/vendors/rope/rope_test.ml similarity index 100% rename from src/rope/rope_test.ml rename to vendors/rope/rope_test.ml diff --git a/src/rope/rope_top_level_open.ml b/vendors/rope/rope_top_level_open.ml similarity index 100% rename from src/rope/rope_top_level_open.ml rename to vendors/rope/rope_top_level_open.ml diff --git a/src/rope/rope_top_level_open.mli b/vendors/rope/rope_top_level_open.mli similarity index 100% rename from src/rope/rope_top_level_open.mli rename to vendors/rope/rope_top_level_open.mli