[Eva] build the engine modules recursively
- the useful modules definitions are moved to Engine_sig - the engine contains the modules circularly dependent on the engine - every module circularly dependent on the engine receive the Engine as a functor parameter - Analysis instanciate the Engine recursively
Showing
- src/plugins/eva/engine/analysis.ml 19 additions, 20 deletionssrc/plugins/eva/engine/analysis.ml
- src/plugins/eva/engine/analysis.mli 7 additions, 12 deletionssrc/plugins/eva/engine/analysis.mli
- src/plugins/eva/engine/compute_functions.ml 36 additions, 32 deletionssrc/plugins/eva/engine/compute_functions.ml
- src/plugins/eva/engine/compute_functions.mli 4 additions, 11 deletionssrc/plugins/eva/engine/compute_functions.mli
- src/plugins/eva/engine/engine_sig.ml 65 additions, 0 deletionssrc/plugins/eva/engine/engine_sig.ml
- src/plugins/eva/engine/transfer_stmt.ml 6 additions, 23 deletionssrc/plugins/eva/engine/transfer_stmt.ml
- src/plugins/eva/engine/transfer_stmt.mli 1 addition, 15 deletionssrc/plugins/eva/engine/transfer_stmt.mli
Loading
Please register or sign in to comment