Documentation et renommage des modules.
nb: les tests ne passent toujours bien sur. * Partie lus -> AST predef.ml -> srcPredef.ml syntaxTreeCore.ml -> astCore.ml syntaxTree.ml -> astV6.ml syntaxTreeDump.mli-> astV6Dump.mli * Partie Ast -> Ast solveIdent.mli -> astRecognizePredef.mli syntaxTab.mli -> astTab.mli symbolTab.mli -> astTabSymbol.mli * Partie AST -> lic (static evaluation) eff.ml -> lic.ml getEff.mli -> ast2lic.mli lazyCompiler.mli -> licTab.mli builtIn.ml -> licMetaOp.ml predefEval*.ml -> licEval*.ml name.mli -> licName.mli * Partie Lic -> Lic uniqueOutput.mli -> l2lCheckOutputs.mli structArrayExpand.mli -> l2lExpandArrays.mli nodesExpand.mli -> l2lExpandNodes.mli doNoPoly.ml -> l2lRmPoly.ml doAliasTypes.ml -> l2lAliasType.ml doSplit.ml -> l2lSplit.ml
Showing
- Makefile 65 additions, 41 deletionsMakefile
- README.org 2 additions, 0 deletionsREADME.org
- src/ast2lic.ml 96 additions, 96 deletionssrc/ast2lic.ml
- src/ast2lic.mli 33 additions, 0 deletionssrc/ast2lic.mli
- src/astCore.ml 3 additions, 3 deletionssrc/astCore.ml
- src/astInstanciateModel.ml 25 additions, 8 deletionssrc/astInstanciateModel.ml
- src/astInstanciateModel.mli 12 additions, 14 deletionssrc/astInstanciateModel.mli
- src/astPredef.ml 3 additions, 1 deletionsrc/astPredef.ml
- src/astRecognizePredef.ml 6 additions, 6 deletionssrc/astRecognizePredef.ml
- src/astRecognizePredef.mli 19 additions, 0 deletionssrc/astRecognizePredef.mli
- src/astTab.ml 156 additions, 137 deletionssrc/astTab.ml
- src/astTab.mli 8 additions, 10 deletionssrc/astTab.mli
- src/astTabSymbol.ml 9 additions, 9 deletionssrc/astTabSymbol.ml
- src/astTabSymbol.mli 14 additions, 17 deletionssrc/astTabSymbol.mli
- src/astV6.ml 3 additions, 3 deletionssrc/astV6.ml
- src/astV6Dump.ml 11 additions, 11 deletionssrc/astV6Dump.ml
- src/astV6Dump.mli 20 additions, 0 deletionssrc/astV6Dump.mli
- src/compile.ml 31 additions, 30 deletionssrc/compile.ml
- src/compile.mli 9 additions, 0 deletionssrc/compile.mli
- src/errors.ml 12 additions, 16 deletionssrc/errors.ml
Loading
Please register or sign in to comment