Revision 70be4acf - Serious refactoring of scopes plug-in: - now properly records the scopes - on... - LustreC

« Previous | Next »

Revision 70be4acf

Added by Pierre-Loïc Garoche about 4 years ago

ID 70be4acf31e946816837a720886135d5eea415f2
Parent 57bf28d9
Child f0a067e9

Serious refactoring of scopes plug-in:
- now properly records the scopes
- only register requested ones

added
modified
copied
renamed
deleted

src
- corelang.ml (diff)
- corelang.mli (diff)
- machine_code.ml (diff)
- machine_code.mli (diff)
- machine_code_common.ml (diff)
- machine_code_common.mli (diff)
- plugins
  - scopes
    - scopes.ml (diff)
- plugins.ml (diff)